# Model Theory Wiki Mirror

This is a mirror of the former Model Theory wiki on Fandom.com, which was a small but decent reference for various model-theoretic facts. At some point between March 16 and September 2, 2023, the wiki was deleted, probably as a result of a number of spam pages that had been added to it. It was too late to recover the wiki by the time this was noticed, but thanks to the valiant efforts of the Internet Archive, the vast majority of the wiki was saved.

As a (hopefully) temporary measure, I have processed these pages into a rough but readable form here. At some point I think we should make an effort to make a new, more fully fledged model theory wiki.

Unfortunately almost all of the authorship information and edit history seems to have been lost. I believe that technically this material is still under the CC-BY-SA license of the original wiki.

- ACFA
- ACF
- Ax-Grothendieck_Theorem
- Bad_group
- Buechler_dichotomy
- Categoricity
- Cherlin-Zilber conjecture (missing)
- Compactness
- Definable_and_algebraic_closure
- Definable_choice
- Diagram
- DLO
- Dp-minimality
- Ehrenfeucht-Mostowski_Model
- Elementary_class
- Elementary_equivalence
- Elementary_extension
- Existential_closedness
- Existentially_closed
- Finitary closure operators (missing)
- Forking
- Forking_in_stable_theories
- Generically_Stable_Type_in_an_NIP_Theory
- Global_invariant_type
- Groups_of_finite_Morley_rank
- Henselian_valued_field
- Hilbertian_field
- ICT_pattern
- Independent sequence (missing)
- Independent_set
- Indiscernible_sequence
- Inductive_theory
- INP_pattern
- K-inconsistency
- Lascar_rank
- Lemma_on_constants
- List_of_properties_of_theories
- Local_Sitemap
- LĂ¶wenheim-Skolem_Theorem
- Macintyre's_theorem_on_Totally_Transcendental_Fields (broken math rendering)
- Main_Page
- Model_companion
- Model_completeness
- Modular_lattice
- Monster_model
- Mutually_Indiscernible_Sequences
- NIP
- O-minimality
- Omitting_types
- Orthogonal_types_(stability_theory)
- Pregeometry
- Proofs:Equivalent_Definitions_of_Stability
- Proofs:Forking_calculus_in_stable_theories
- Proofs:Irreducibility_is_Definable
- Proofs:Lascar_Inequalities
- Proofs:NOP_=_NIP_+_NsOP
- Pseudo-algebraically_closed_field
- Pseudo-finite_field
- Quantifier_elimination
- Random_graph
- Real-closed_field
- Regular_type_(stability_theory)
- Saturated_model
- Separably_closed_fields
- Skolem_functions (broken math rendering)
- Splitting
- Stability
- Stable_type
- Stably_embedded_set (raw format)
- Stationary_type_(stability_theory)
- Stone_duality
- Strong_minimality
- Strong_type
- Talk:Existential_closedness
- Tarski-Vaught_Theorem
- Totally_transcendental_theory
- Type
- Unidimensional_theory (raw format)
- Universal_theory
- Weight_(stability_theory)