Non-standard models and independence of the induction axiom

In Bar-Hillel, Yehoshua & [From Old Catalog] (eds.), Essays on the Foundations of Mathematics. Jerusalem,: Magnes Press. pp. 287--299 (1961)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271759

Links

PhilArchive



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

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

Review: Michael O. Rabin, Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, A. Robinson, Non-standard Models and Independence of the Induction Axiom. [REVIEW]C. Smorynski - 1973 - Journal of Symbolic Logic 38 (1):159-159.
Essays on the foundations of mathematics: dedicated to A. A. Fraenkel on his seventieth anniversary.Abraham Adolf Fraenkel & Yehoshua Bar-Hillel (eds.) - 1966 - Jerusalem: Magnes Press Hebrew University.
On Overspill Principles and Axiom Schemes for Bounded Formulas.Joaquín Borrego-Díaz, Alejandro Fernández-Margarit & Mario Pérez-Jiménez - 1996 - Mathematical Logic Quarterly 42 (1):341-348.
Localizing the axioms.Athanassios Tzouvaras - 2010 - Archive for Mathematical Logic 49 (5):571-601.
Truth by default.Vann Mcgee - 2001 - Philosophia Mathematica 9 (1):5-20.
On Seidenfeld‘s Criticism of Sophisticated Violations of the Independence Axiom.Wlodek Rabinowicz - 1997 - Theory and Decision 43 (3):279-292.
Limitations on the Fraenkel-Mostowski method of independence proofs.Paul E. Howard - 1973 - Journal of Symbolic Logic 38 (3):416-422.
Independence of irrelevant alternatives revisited.Susumu Cato - 2014 - Theory and Decision 76 (4):511-527.
Constructions of classical models by means of Kripke models (survey).Bernd I. Dahn - 1979 - Studia Logica 38 (4):401 - 405.
What do Freyd’s Toposes Classify?Peter Johnstone - 2013 - Logica Universalis 7 (3):335-340.
Maximum Schemes in Arithmetic.A. Fernández-Margarit & M. J. Pérez-Jiménez - 1994 - Mathematical Logic Quarterly 40 (3):425-430.
The Induction Axiom and the Axiom of Choice.B. Germansky - 1961 - Mathematical Logic Quarterly 7 (11‐14):219-223.
Review: B. Germansky, The Induction Axiom and the Axiom of Choice. [REVIEW]Azriel Lévy - 1962 - Journal of Symbolic Logic 27 (2):237-237.
An additive representation on the product of complete, continuous extensive structures.Yutaka Matsushita - 2010 - Theory and Decision 69 (1):1-16.

Analytics

Added to PP
2014-01-27

Downloads
28 (#567,410)

6 months
5 (#628,512)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Experimental logics and Π3 0 theories.Petr Hájek - 1977 - Journal of Symbolic Logic 42 (4):515-522.
Sub-arithmetical ultrapowers: a survey.Thomas G. McLaughlin - 1990 - Annals of Pure and Applied Logic 49 (2):143-191.

Add more citations

References found in this work

No references found.

Add more references