Switch to: References

Add citations

You must login to add citations.
  1. Super/rosy L k -theories and classes of finite structures.Cameron Donnay Hill - 2013 - Annals of Pure and Applied Logic 164 (10):907-927.
    We recover the essentials of þ-forking, rosiness and super-rosiness for certain amalgamation classes K, and thence of finite-variable theories of finite structures. This provides a foundation for a model-theoretic analysis of a natural extension of the “LkLk-Canonization Problem” – the possibility of efficiently recovering finite models of T given a finite presentation of an LkLk-theory T. Some of this work is accomplished through different sorts of “transfer” theorem to the first-order theory TlimTlim of the direct limit. Our results include, to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Some aspects of model theory and finite structures.Eric Rosen - 2002 - Bulletin of Symbolic Logic 8 (3):380-403.
    Model theory is concerned mainly, although not exclusively, with infinite structures. In recent years, finite structures have risen to greater prominence, both within the context of mainstream model theory, e.g., in work of Lachlan, Cherlin, Hrushovski, and others, and with the advent of finite model theory, which incorporates elements of classical model theory, combinatorics, and complexity theory. The purpose of this survey is to provide an overview of what might be called the model theory of finite structures. Some topics in (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Canonization for two variables and puzzles on the square.Martin Otto - 1997 - Annals of Pure and Applied Logic 85 (3):243-282.
    We consider infinitary logic with only two variable symbols, both with and without counting quantifiers, i.e. L2 L∞ω2 and C2 L∞ω2mεω. The main result is that finite relational structures admit canonization with respect to L2 and C2: there are polynomial time com putable functors mapping finite relational structures to unique representatives of their equivalence class with respect to indistinguishability in either of these logics. In fact we exhibit in verses to the natural invariants that characterize structures up to L2- or (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • On varieties of cylindric algebras with applications to logic.I. Németi - 1987 - Annals of Pure and Applied Logic 36:235-277.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • Asymptotic probabilities of extension properties and random l -colourable structures.Vera Koponen - 2012 - Annals of Pure and Applied Logic 163 (4):391-438.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • Finite variable logics in descriptive complexity theory.Martin Grohe - 1998 - Bulletin of Symbolic Logic 4 (4):345-398.
    Throughout the development of finite model theory, the fragments of first-order logic with only finitely many variables have played a central role. This survey gives an introduction to the theory of finite variable logics and reports on recent progress in the area.For each k ≥ 1 we let Lk be the fragment of first-order logic consisting of all formulas with at most k variables. The logics Lk are the simplest finite-variable logics. Later, we are going to consider infinitary variants and (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Finite variable logic, stability and finite models.Marko Djordjević - 2001 - Journal of Symbolic Logic 66 (2):837-858.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Finite and Infinite Model Theory-A Historical Perspective.John Baldwin - 2000 - Logic Journal of the IGPL 8 (5):605-628.
    We describe the progress of model theory in the last half century from the standpoint of how finite model theory might develop.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
    		•