A model of ZF + there exists an inaccessible, in which the dedekind cardinals constitute a natural non-standard model of arithmetic

Annals of Mathematical Logic 21 (2-3):221-281 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0003-4843(81)90017-6

Links

PhilArchive



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

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

A Power Function with a Fixed Finite Gap Everywhere.Carmi Merimovich - 2007 - Journal of Symbolic Logic 72 (2):361 - 417.
Types in class set theory and inaccessible cardinals.M. Victoria Marshall - 1996 - Archive for Mathematical Logic 35 (3):145-156.
The largest countable inductive set is a mouse set.Mitch Rudominer - 1999 - Journal of Symbolic Logic 64 (2):443-459.
Separations of first and second order theories in bounded arithmetic.Masahiro Yasumoto - 2005 - Archive for Mathematical Logic 44 (6):685-688.
Strong tree properties for two successive cardinals.Laura Fontanella - 2012 - Archive for Mathematical Logic 51 (5-6):601-620.
Localizing the axioms.Athanassios Tzouvaras - 2010 - Archive for Mathematical Logic 49 (5):571-601.
Iterates of the Core Model.Ralf Schindler - 2006 - Journal of Symbolic Logic 71 (1):241 - 251.
On the complexity of models of arithmetic.Kenneth McAloon - 1982 - Journal of Symbolic Logic 47 (2):403-415.
Strong tree properties for small cardinals.Laura Fontanella - 2013 - Journal of Symbolic Logic 78 (1):317-333.
On dedekind complete o-minimal structures.Anand Pillay & Charles Steinhorn - 1987 - Journal of Symbolic Logic 52 (1):156-164.
Jónsson cardinals, erdös cardinals, and the core model.W. J. Mitchell - 1999 - Journal of Symbolic Logic 64 (3):1065-1086.

Analytics

Added to PP
2014-01-17

Downloads
34 (#470,236)

6 months
9 (#308,564)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Iterating symmetric extensions.Asaf Karagila - 2019 - Journal of Symbolic Logic 84 (1):123-159.

Add more citations

References found in this work

The Axiom of Choice.Thomas J. Jech - 1973 - Amsterdam, Netherlands: North-Holland.
An independence result concerning the axiom of choice.Gershon Sageev - 1975 - Annals of Mathematical Logic 8 (1-2):1-184.
Axiom of Choice for Finite Sets.Andrzej Mostowski - 1948 - Journal of Symbolic Logic 13 (1):45-46.
Iterated Cohen Extensions and Souslin's Problem.R. M. Solovay & S. Tennenbaum - 1974 - Journal of Symbolic Logic 39 (2):329-330.

View all 13 references / Add more references