Journal of Symbolic Logic 52 (3):698-711 (1987)

Let T be a complete first-order theory over a finite relational language which is axiomatized by universal and existential sentences. It is shown that T is almost trivial in the sense that the universe of any model of T can be written $F \overset{\cdot}{\cup} I_1 \overset{\cdot}{\cup} I_2 \overset{\cdot}{\cup} \cdots \overset{\cdot}{\cup} I_n$ , where F is finite and I 1 , I 2 ,...,I n are mutually indiscernible over F. Some results about complete theories with ∃∀-axioms over a finite relational language are also mentioned
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2274358
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 52,823
Through your library

References found in this work BETA

Classification Theory and the Number of Nonisomorphic Models.S. Shelah - 1982 - Journal of Symbolic Logic 47 (3):694-696.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

The Automated Discovery of Universal Theories.Kevin T. Kelly - 1986 - Dissertation, University of Pittsburgh
A First-Order Axiomatization of the Theory of Finite Trees.Rolf Backofen, James Rogers & K. Vijay-Shanker - 1995 - Journal of Logic, Language and Information 4 (1):5-39.
Finite Forcing, Existential Types and Complete Types.Joram Hirschfeld - 1980 - Journal of Symbolic Logic 45 (1):93-102.
Boolean Universes Above Boolean Models.Friedrich Wehrung - 1993 - Journal of Symbolic Logic 58 (4):1219-1250.
Hybrid Logics of Separation Axioms.Dmitry Sustretov - 2009 - Journal of Logic, Language and Information 18 (4):541-558.
Some Model Theory of Abelian Groups.Paul C. Eklof - 1972 - Journal of Symbolic Logic 37 (2):335-342.


Added to PP index

Total views
27 ( #366,494 of 2,342,672 )

Recent downloads (6 months)
1 ( #515,081 of 2,342,672 )

How can I increase my downloads?


My notes