Admissible Sets and Structures. An Approach to Definability Theory

Journal of Symbolic Logic 43 (1):139-144 (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271957

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,475

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Admissible sets and structures: an approach to definability theory.Jon Barwise - 1975 - New York: Springer Verlag.
Review: Jon Barwise, Admissible Sets and Structures. An Approach to Definability Theory. [REVIEW]Mark Nadel - 1978 - Journal of Symbolic Logic 43 (1):139-144.
Barwise Jon. Admissible sets and structures. An approach to definability theory. Perspectives in mathematical logic. Springer-Verlag, Berlin, Heidelberg, and New York, 1975, XIV + 394 pp. [REVIEW]Mark Nadel - 1978 - Journal of Symbolic Logic 43 (1):139-144.
HC of an admissible set.Sy D. Friedman - 1979 - Journal of Symbolic Logic 44 (1):95-102.
Theories for admissible sets: a unifying approach to proof theory.Gerhard Jäger - 1986 - Napoli: Bibliopolis.
Anti-admissible sets.Jacob Lurie - 1999 - Journal of Symbolic Logic 64 (2):407-435.
Anti-Admissible Sets.Jacob Lurie - 1999 - Journal of Symbolic Logic 64 (2):407-435.
Admissible Sets and Structures.Jon Barwise - 1978 - Studia Logica 37 (3):297-299.
Jon Barwise, admissible sets and structures. [REVIEW]Bernd I. Dahn - 1978 - Studia Logica 37:297.
The pure part of HYP(M).Mark Nadel & Jonathan Stavi - 1977 - Journal of Symbolic Logic 42 (1):33-46.
A contextual–hierarchical approach to truth and the liar paradox.Michael Glanzberg - 2004 - Journal of Philosophical Logic 33 (1):27-88.
Intrinsically Hyperarithmetical Sets.Ivan N. Soskov - 1996 - Mathematical Logic Quarterly 42 (1):469-480.
On uniform definability of types over finite sets.Vincent Guingona - 2012 - Journal of Symbolic Logic 77 (2):499-514.
A Spector-Gandy Theorem for $mathrm{cPC}_d(mathbb{A})$ Classes.Shaughan Lavine - 1992 - Journal of Symbolic Logic 57 (2):478-500.
Admissible sets and the saturation of structures.Alan Adamson - 1978 - Annals of Mathematical Logic 14 (2):111.

Analytics

Added to PP
2017-02-21

Downloads
12 (#1,075,977)

6 months
3 (#974,323)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Modality and Paradox.Gabriel Uzquiano - 2015 - Philosophy Compass 10 (4):284-300.
On Interpretations of Arithmetic and Set Theory.Richard Kaye & Tin Lok Wong - 2007 - Notre Dame Journal of Formal Logic 48 (4):497-510.
Determinacy in third order arithmetic.Sherwood Hachtman - 2017 - Annals of Pure and Applied Logic 168 (11):2008-2021.

View all 12 citations / Add more citations

References found in this work

No references found.

Add more references