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: 93,590

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 model of ZF + there exists an inaccessible, in which the Dedekind cardinals constitute a natural nonstandard model of arithmetic.Gershon Sageev - 1981 - Annals of Mathematical Logic 21 (2):221.
Types in class set theory and inaccessible cardinals.M. Victoria Marshall - 1996 - Archive for Mathematical Logic 35 (3):145-156.
A model for intuitionistic non-standard arithmetic.Ieke Moerdijk - 1995 - Annals of Pure and Applied Logic 73 (1):37-51.
Finiteness Classes and Small Violations of Choice.Horst Herrlich, Paul Howard & Eleftherios Tachtsis - 2016 - Notre Dame Journal of Formal Logic 57 (3):375-388.
On the standard‐model hypothesis of ZF.Alexander Abian - 1975 - Mathematical Logic Quarterly 21 (1):87-88.
On a cardinal inequality in ZF$\mathsf {ZF}$.Guozhen Shen - forthcoming - Mathematical Logic Quarterly.
The model N = ∪ {L[A]: A countable set of ordinals}.Claude Sureson - 1987 - Annals of Pure and Applied Logic 36:289-313.
Generic Vopěnka cardinals and models of ZF with few $$\aleph _1$$ ℵ 1 -Suslin sets.Trevor M. Wilson - 2019 - Archive for Mathematical Logic 58 (7-8):841-856.
Generic Vopěnka cardinals and models of ZF with few $$\aleph _1$$ ℵ 1 -Suslin sets.Trevor M. Wilson - 2019 - Archive for Mathematical Logic 58 (7-8):841-856.
Making all cardinals almost Ramsey.Arthur W. Apter & Peter Koepke - 2008 - Archive for Mathematical Logic 47 (7-8):769-783.

Analytics

Added to PP
2014-01-17

Downloads
34 (#123,329)

6 months
9 (#1,260,759)

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