Switch to: References

Add citations

You must login to add citations.
  1. 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  
  • Part II: Applications of process-based theories: Process and emergence: Normative function and representation. [REVIEW]Mark H. Bickhard - 2004 - Axiomathes 14 (1-3):121-155.
    Kim's argument appears to render causally efficacious emergence impossible: Hume's argument appears to render normative emergence impossible, and, in its general form, it precludes any emergence at all. I argue that both of these barriers can be overcome, and, in fact, that they each constitute reductions of their respective underlying presuppositions. In particular, causally efficacious ontological emergence can be modeled, but only within a process metaphysics, thus avoiding Kim's argument, and making use of non-abbreviatory forms of definition, thus avoiding Hume's (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • The dynamic emergence of representation.Mark H. Bickhard - 2004 - In Hugh Clapin (ed.), Representation in Mind: New Approaches to Mental Representation. Elsevier. pp. 71--90.
    A final version of this paper is in press as: Bickhard, M. H.. The Dynamic Emergence of Representation. In H. Clapin, P. Staines, P. Slezak Representation in Mind: New Approaches to Mental Representation. Praeger.
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • On finite rigid structures.Yuri Gurevich & Saharon Shelah - 1996 - Journal of Symbolic Logic 61 (2):549-562.
    The main result of this paper is a probabilistic construction of finite rigid structures. It yields a finitely axiomatizable class of finite rigid structures where no L ω ∞,ω formula with counting quantifiers defines a linear order.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Zero-one law and definability of linear order.Hannu Niemistö - 2009 - Journal of Symbolic Logic 74 (1):105-123.
    Download  
     
    Export citation  
     
    Bookmark  
  • Descriptive complexity of graph spectra.Anuj Dawar, Simone Severini & Octavio Zapata - 2019 - Annals of Pure and Applied Logic 170 (9):993-1007.
    Download  
     
    Export citation  
     
    Bookmark   1 citation