Complete theories with only universal and existential axioms
From MaRDI portal
Publication:3777997
DOI10.2307/2274358zbMath0637.03024OpenAlexW4255975505WikidataQ114589035 ScholiaQ114589035MaRDI QIDQ3777997
Publication date: 1987
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274358
agecategoricitycomplete theoryfinite relational languageuniversal axiom\(\Delta \)- stableexistential axiomfinitely partitioned model
Classification theory, stability, and related concepts in model theory (03C45) Categoricity and completeness of theories (03C35)
Related Items (5)
An approximate Herbrand’s theorem and definable functions in metric structures ⋮ COUNTING SIBLINGS IN UNIVERSAL THEORIES ⋮ Some coinductive graphs ⋮ Stable Absolutely Ubiquitous Structures ⋮ Complete Coinductive Theories. I
This page was built for publication: Complete theories with only universal and existential axioms