model-theory
Articles
- Function symbolSymbol representing a mathematical concept
- Stable theoryConcerned with the notion of stability in model theory
- C-minimal theory
- Ehrenfeucht–Fraïssé gameProof technique in model theory
- True arithmeticSet of all true first-order statements about the arithmetic of natural numbers
- Zariski geometryConcept in mathematics
- Spectrum of a theoryModel theory concept
- C-minimal theory
- Strongly minimal theoryConcept from mathematical logic
- Stability spectrum
- Strongly minimal theoryConcept from mathematical logic
- U-rank
- Strongly minimal theoryConcept from mathematical logic
- Stability spectrum
- Pseudoelementary class
- Function symbolSymbol representing a mathematical concept
- Hrushovski construction
- Zariski geometryConcept in mathematics
- Spectrum of a theoryModel theory concept
- Quantifier eliminationSimplification technique in mathematical logic
- Löwenheim numberSmallest cardinal number for which a weak downward Löwenheim–Skolem theorem holds
- Function symbolSymbol representing a mathematical concept
- Stable theoryConcerned with the notion of stability in model theory
- Elementary classClass in model theory
- Zariski geometryConcept in mathematics
- Spectrum of a theoryModel theory concept
- Stable theoryConcerned with the notion of stability in model theory
- Morley rank
- Amalgamation propertyConcept in model theory
- Stability spectrum
- Potential isomorphism
- Imaginary element
- C-minimal theory
- IndiscerniblesConcept in mathematical logic
- Existentially closed model
- Atomic model (mathematical logic)none
- Ehrenfeucht–Fraïssé gameProof technique in model theory
- True arithmeticSet of all true first-order statements about the arithmetic of natural numbers
- Strongly minimal theoryConcept from mathematical logic
- Ehrenfeucht–Fraïssé gameProof technique in model theory
- True arithmeticSet of all true first-order statements about the arithmetic of natural numbers
- Stable theoryConcerned with the notion of stability in model theory
- Zariski geometryConcept in mathematics
- Spectrum of a theoryModel theory concept
- C-minimal theory
- U-rank
- Stability spectrum
- Ehrenfeucht–Fraïssé gameProof technique in model theory
- True arithmeticSet of all true first-order statements about the arithmetic of natural numbers
- IndiscerniblesConcept in mathematical logic