registrieren | anmelden | FAQ      [?] 

Tag skolem-loewenheim-theorem [7 articles]

Recent papers classified by the tag skolem-loewenheim-theorem.
  • The Skolem-Löwenheim theorem in toposes
    Studia Logica, Vol. 42, No. 4. (21 December 1983), pp. 461-475.
    by Marek Zawadowski
    posted to algebraicity categorical-logic compactness-theorem countability model-theory skolem-loewenheim-theorem topos-theory by Scis0000002 on 2007-09-02 15:09:31 as **
  • B. A Common Framework for Strategies
    A Subject With No Object (December 1999), pp. 67-95.
    by John P Burgess, Gideon Rosen
    posted to ensemble-theories fol mathematical-structures physical-structures representations scientific-theories skolem-loewenheim-theorem strategies by Scis0000002 on 2008-07-18 12:31:12 as **
  • Review: [Reflections on Skolem's Relativity of Set-Theoretical Concepts]
    The Bulletin of Symbolic Logic, Vol. 11, No. 1. (2005), pp. 84-89.
    by Peter Schotch
    posted to local-mathematics local-models-semantics model-theory relativity set-theory skolem-loewenheim-theorem skolem-paradox by Scis0000002 on 2008-05-05 14:16:30 as **
  • Putnam's indeterminacy argument: The Skolemization of absolutely everything
    Philosophical Studies, Vol. 51, No. 1. (1 January 1987), pp. 77-99.
    by Carsten Hansen
    posted to model-theory philosophy-of-science semantics set-theory skolemization skolem-loewenheim-theorem toes topos-theory by Scis0000002 on 2008-07-17 05:29:12 as **
  • You Can Enter Cantor's Paradise
    (7 Feb 2001)
    by Saharon Shelah
    posted to mathematical-structures skolem-loewenheim-theorem skolem-paradox by Scis0000002 on 2008-05-08 14:14:08 as **
  • The Skolem-Löwenheim theorem in toposes. II
    Studia Logica, Vol. 44, No. 1. (1 March 1985), pp. 25-38.
    by Marek Zawadowski
    posted to categorical-logic skolem-loewenheim-theorem theorems topos-theory by Scis0000002 on 2007-09-02 15:07:56 as **
  • Stewart Shapiro (ed.), The Limits of Higher-Order Logic and the Löwenheim-Skolem Theorem
    Erkenntnis, Vol. 49, No. 3. (1 November 1998), pp. 393-396.
    by Jan Woleński
    posted to higher-order logics skolem-loewenheim-theorem by Scis0000002 on 2008-07-18 12:22:16 as **
    • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/tag/skolem-loewenheim-theorem

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.