Switch to: References

Add citations

You must login to add citations.
  1. Fifty years of the spectrum problem: survey and new results.Arnaud Durand, Neil D. Jones, Johann A. Makowsky & Malika More - 2012 - Bulletin of Symbolic Logic 18 (4):505-553.
    In 1952, Heinrich Scholz published a question in The Journal of Symbolic Logic asking for a characterization of spectra, i.e., sets of natural numbers that are the cardinalities of finite models of first order sentences. Günter Asser in turn asked whether the complement of a spectrum is always a spectrum. These innocent questions turned out to be seminal for the development of finite model theory and descriptive complexity. In this paper we survey developments over the last 50-odd years pertaining to (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • On spectra of sentences of monadic second order logic with counting.E. Fischer & J. A. Makowsky - 2004 - Journal of Symbolic Logic 69 (3):617-640.
    We show that the spectrum of a sentence ϕ in Counting Monadic Second Order Logic (CMSOL) using one binary relation symbol and finitely many unary relation symbols, is ultimately periodic, provided all the models of ϕ are of clique width at most k, for some fixed k. We prove a similar statement for arbitrary finite relational vocabularies τ and a variant of clique width for τ-structures. This includes the cases where the models of ϕ are of tree width at most (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Complete problems for fixed-point logics.Martin Grohe - 1995 - Journal of Symbolic Logic 60 (2):517-527.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation