A guide to the identification of admissible sets above structures

Annals of Mathematical Logic 12 (2):151 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0003-4843(77)90013-4

Links

PhilArchive



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

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

HC of an admissible set.Sy D. Friedman - 1979 - Journal of Symbolic Logic 44 (1):95-102.
Admissible sets and structures: an approach to definability theory.Jon Barwise - 1975 - New York: Springer Verlag.
The pure part of HYP(M).Mark Nadel & Jonathan Stavi - 1977 - Journal of Symbolic Logic 42 (1):33-46.
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.
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.
Admissible Sets and Structures. An Approach to Definability Theory.Mark Nadel - 1978 - Journal of Symbolic Logic 43 (1):139-144.
Review: Jon Barwise, Admissible Sets and Structures. An Approach to Definability Theory. [REVIEW]Mark Nadel - 1978 - Journal of Symbolic Logic 43 (1):139-144.
Theories for admissible sets: a unifying approach to proof theory.Gerhard Jäger - 1986 - Napoli: Bibliopolis.
Reflection of Long Game Formulas.Heikki Heikkilä & Jouko Väänänen - 1994 - Mathematical Logic Quarterly 40 (3):381-392.
Polish group actions, nice topologies, and admissible sets.Barbara Majcher-Iwanow - 2008 - Mathematical Logic Quarterly 54 (6):597-616.
Generalized reduction theorems for model-theoretic analogs of the class of coanalytic sets.Shaughan Lavine - 1993 - Journal of Symbolic Logic 58 (1):81-98.

Analytics

Added to PP
2014-01-17

Downloads
10 (#1,193,699)

6 months
4 (#790,339)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Condensable models of set theory.Ali Enayat - 2022 - Archive for Mathematical Logic 61 (3):299-315.
Toward model theory through recursive saturation.John Stewart Schlipf - 1978 - Journal of Symbolic Logic 43 (2):183-206.
Recursively saturated nonstandard models of arithmetic.C. Smoryński - 1981 - Journal of Symbolic Logic 46 (2):259-286.
A Natural Model of the Multiverse Axioms.Victoria Gitman & Joel David Hamkins - 2010 - Notre Dame Journal of Formal Logic 51 (4):475-484.

View all 13 citations / Add more citations

References found in this work

Admissible Sets and Structures.Jon Barwise - 1978 - Studia Logica 37 (3):297-299.
The next admissible set.K. J. Barwise, R. O. Gandy & Y. N. Moschovakis - 1971 - Journal of Symbolic Logic 36 (1):108-120.

Add more references