Axiom I 0 and higher degree theory

Journal of Symbolic Logic 80 (3):970-1021 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 76,297

External links

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

Through your library

Similar books and articles

Remarks on Levy's reflection axiom.Martin Dowd - 1993 - Mathematical Logic Quarterly 39 (1):79-95.
Higher order probabilities and coherence.Soshichi Uchii - 1973 - Philosophy of Science 40 (3):373-381.
The inconsistency of higher order extensions of Martin-löf's type theory.Bart Jacobs - 1989 - Journal of Philosophical Logic 18 (4):399 - 422.
Vagueness and blurry sets.Nicholas J. J. Smith - 2004 - Journal of Philosophical Logic 33 (2):165-235.
On the axiom of extensionality in the positive set theory.Olivier Esser - 2003 - Mathematical Logic Quarterly 49 (1):97-100.
Belief and Degrees of Belief.Franz Huber - 2009 - In F. Huber & C. Schmidt-Petri (eds.), Degrees of Belief. Springer.
A Single Axiom for Set Theory.David Bennett - 2000 - Notre Dame Journal of Formal Logic 41 (2):152-170.
Concurrent Modalities in Later Mediaeval and Second Scholastic Logic.Lynn Dell Cates - 1994 - Dissertation, The University of Texas at Austin
An axiomatic theory of well-orderings.Oliver Deiser - 2011 - Review of Symbolic Logic 4 (2):186-204.
The Fact Semantics for Ramified Type Theory and the Axiom of Reducibility.Edwin D. Mares - 2007 - Notre Dame Journal of Formal Logic 48 (2):237-251.

Analytics

Added to PP
2016-06-30

Downloads
19 (#589,316)

6 months
1 (#450,425)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

$$I_0$$ I 0 and combinatorics at $$\lambda ^+$$ λ +.Nam Trang & Xianghui Shi - 2017 - Archive for Mathematical Logic 56 (1-2):131-154.
Generic I0 at ℵω.Vincenzo Dimonte - 2018 - Mathematical Logic Quarterly 64 (1-2):118-132.

Add more citations

References found in this work

The Higher Infinite.Akihiro Kanamori - 2000 - Studia Logica 65 (3):443-446.
Strong axioms of infinity and elementary embeddings.Robert M. Solovay - 1978 - Annals of Mathematical Logic 13 (1):73.
Suitable extender models I.W. Hugh Woodin - 2010 - Journal of Mathematical Logic 10 (1):101-339.
Suitable extender models II: Beyond ω-huge.W. Hugh Woodin - 2011 - Journal of Mathematical Logic 11 (2):115-436.
The negation of the singular cardinal hypothesis from o(K)=K++.Moti Gitik - 1989 - Annals of Pure and Applied Logic 43 (3):209-234.

View all 15 references / Add more references