Revision #670 → #1601 · back to history
addedStructure (informal)55751e488d22
addedStructure (formal triple)7378a1fb3349
addedSignaturefd25f68bc440
addedAlgebraic signature / algebraf1744ba3f0e9
addedInterpretation function0471a562825f
addedConstant symbol3baf319b77ba
addedStandard signature for fields0267c74400c0
addedIntegers as a structure10e099cf4929
addedSignature for ordered fields6768ea65c4ad
addedSignature for set theory9f6b1f6ddbd5
addedInduced substructuredda1e742fea1
addedClosed subset72efe1b932b9
addedGenerated closed subset (hull)898c72172494
addedHull is a finitary closure operator8a81e22cad77
addedClosed subsets correspond to induced substructures3d33d56c76d2
addedSubstructures form a latticea196e893e9b8
addedRationals, reals, complexes as substructures4c9768de9647
addedIntegers as a substructured166e9c849f3
addedGraphs as structures75784c599dc2
addedHomomorphismd951b7afe787
addedCategory σ-Hom340f65c6ba41
addedStrong homomorphismd6edca04aeba
addedStrong homomorphisms form a subcategory0c97d26759e6
addedEmbeddingd225326a1c52
addedEmbedding = injective strong homomorphism3f86bdf491b8
addedInduced substructures are subobjects in σ-Emb956a2ffacb25
addedSubgraph identity is a homomorphismaf5fea5c0bac
addedHomomorphism problembd924a0c74db
addedCSP translates to homomorphism problem75b26d69136c
addedConjunctive query equivalent to homomorphism problemad3df08764c7
addedSatisfaction relation21e812b69fc0
addedModel of a theory954608536243
addedDefinable relation34b8ada5df1e
addedDefinable elementc1428178d131
addedDefinable with parameterscc3c04224e98
addedEvery element is definable with itself as parameter9f6f948ce9b2
addedImplicit definability4972fe874025
addedBeth's theoremc556100f6c87
addedMany-sorted structure0900a8fbd884
addedVector spaces as two-sorted structures9c46860b7b28
addedGroups: elementary class but not a variety68653be395a9
addedPartial functions / partial algebra145f3f85f1f1
addedInductively defined types2dead7e2f117
addedStructure for a typed languagee4db1ed45d26
addedStructure under full higher-order semantics189d0ffceddb
addedClass models87eb0e39fa1e