Switch to: Citations

Add references

You must login to add references.
  1. Descriptive Complexity.Steven Lindell - 2001 - Bulletin of Symbolic Logic 7 (4):525-527.
  • Ω-Categorical, Ω-Stable Structures.G. Cherlin, L. Harrington & A. H. Lachlan - 1985 - Annals of Pure and Applied Logic 28 (2):103-135.
  • Modal Logic and Classical Logic.R. A. Bull - 1987 - Journal of Symbolic Logic 52 (2):557-558.
    Direct download  
     
    Export citation  
     
    Bookmark   45 citations  
  • Mathematical Logic.Donald Monk - 1975 - Journal of Symbolic Logic 40 (2):234-236.
    Direct download  
     
    Export citation  
     
    Bookmark   97 citations  
  • Modal Logic Over Finite Structures.Eric Rosen - 1997 - Journal of Logic, Language and Information 6 (4):427-439.
    We investigate properties of propositional modal logic over the classof finite structures. In particular, we show that certain knownpreservation theorems remain true over this class. We prove that aclass of finite models is defined by a first-order sentence and closedunder bisimulations if and only if it is definable by a modal formula.We also prove that a class of finite models defined by a modal formulais closed under extensions if and only if it is defined by a -modal formula.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  • On Stability in Finite Models.Tapani Hyttinen - 2000 - Archive for Mathematical Logic 39 (2):89-102.
    We search for a set-up in which results from the theory of infinite models hold for finite models. As an example we prove results from stability theory.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Introduction to Model Theory and the Metamathematics of Algebra.Abraham Robinson - 1963 - Journal of Symbolic Logic 29 (1):56-56.
    Direct download  
     
    Export citation  
     
    Bookmark   47 citations  
  • A Counterexample to a Conjecture of Scott and Suppes.W. W. Tait - 1959 - Journal of Symbolic Logic 24 (1):15-16.
  • Homogeneous Finite Rings in Characteristic 2< Sup> N.Dan Saracino & Carol Wood - 1988 - Annals of Pure and Applied Logic 40 (1):11-28.
  • The Diversity of Quantifier Prefixes.H. Jerome Keisler & Wilbur Walkoe - 1973 - Journal of Symbolic Logic 38 (1):79-85.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Probabilities on Finite Models.Ronald Fagin - 1976 - Journal of Symbolic Logic 41 (1):50-58.
  • Deux Ou Trois Choses Que Je Sais de Ln.Bruno Poizat - 1982 - Journal of Symbolic Logic 47 (3):641 - 658.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  • Amalgamation Properties and Finite Models in L N -Theories.John Baldwin & Olivier Lessmann - 2002 - Archive for Mathematical Logic 41 (2):155-167.
    Djordjević [Dj 1] proved that under natural technical assumptions, if a complete L n -theory is stable and has amalgamation over sets, then it has arbitrarily large finite models. We extend his study and prove the existence of arbitrarily large finite models for classes of models of L n -theories (maybe omitting types) under weaker amalgamation properties. In particular our analysis covers the case of vector spaces.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • Theories with Finitely Many Models.Simon Thomas - 1986 - Journal of Symbolic Logic 51 (2):374-376.
  • Finite Variable Logic, Stability and Finite Models.Marko Djordjević - 2001 - Journal of Symbolic Logic 66 (2):837-858.
  • Homogeneous Finite Rings in Characteristic 2n.Dan Saracino & Carol Wood - 1988 - Annals of Pure and Applied Logic 40 (1):11-28.
  • Hierarchies in Transitive Closure Logic, Stratified Datalog and Infinitary Logic.Erich Grädel & Gregory L. McColm - 1996 - Annals of Pure and Applied Logic 77 (2):169-199.
    We establish a general hierarchy theorem for quantifier classes in the infinitary logic L∞ωωon finite structures. In particular, it is shown that no infinitary formula with bounded number of universal quantifiers can express the negation of a transitive closure.This implies the solution of several open problems in finite model theory: On finite structures, positive transitive closure logic is not closed under negation. More generally the hierarchy defined by interleaving negation and transitive closure operators is strict. This proves a conjecture of (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Stable Generic Structures.John T. Baldwin & Niandong Shi - 1996 - Annals of Pure and Applied Logic 79 (1):1-35.
    Hrushovski originated the study of “flat” stable structures in constructing a new strongly minimal set and a stable 0-categorical pseudoplane. We exhibit a set of axioms which for collections of finite structure with dimension function δ give rise to stable generic models. In addition to the Hrushovski examples, this formalization includes Baldwin's almost strongly minimal non-Desarguesian projective plane and several others. We develop the new case where finite sets may have infinite closures with respect to the dimension function δ. In (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  • Model Theory of Finite Fields and Pseudo-Finite Fields.Zoé Chatzidakis - 1997 - Annals of Pure and Applied Logic 88 (2-3):95-108.
    We give a survey of results obtained in the model theory of finite and pseudo-finite fields.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • On Preservation Theorems for Two-Variable Logic.Erich Gradel & Eric Rosen - 1999 - Mathematical Logic Quarterly 45 (3):315-325.
    We show that the existential preservation theorem fails for two-variable first-order logic FO2. It is known that for all k ≥ 3, FOk does not have an existential preservation theorem, so this settles the last open case, answering a question of Andreka, van Benthem, and Németi. In contrast, we prove that the homomorphism preservation theorem holds for FO2.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Finite Homogeneous 3‐Graphs.Alistair H. Lachlan & Allyson Tripp - 1995 - Mathematical Logic Quarterly 41 (3):287-306.
  • Finite Axiomatizability and Theories with Trivial Algebraic Closure.Dugald Macpherson - 1991 - Notre Dame Journal of Formal Logic 32 (2):188-192.
  • Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
  • Some Useful Preservation Theorems.Kevin J. Compton - 1983 - Journal of Symbolic Logic 48 (2):427-440.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Finite Model Theory.Heinz-Dieter Ebbinghaus & Jörg Flum - 2001 - Studia Logica 69 (3):449-449.
     
    Export citation  
     
    Bookmark   36 citations  
  • Finite Partially-Ordered Quantification.Wilbur John Walkoe Jr - 1970 - Journal of Symbolic Logic 35 (4):535-555.