Axiom I 0 and higher degree theory
Journal of Symbolic Logic 80 (3):970-1021 (2015)
Abstract
This article has no associated abstract. (fix it)DOI
10.1017/jsl.2015.15
My notes
Similar books and articles
If It's Clear, Then It's Clear That It's Clear, or is It? Higher-Order Vagueness and the S4 Axiom.Susanne Bobzien - 2012 - In B. Morison K. Ierodiakonou (ed.), Episteme, etc.: Essays in honour of Jonathan Barnes. OUP UK.
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.
Study of the Supply of and Demand for Doctoral Degree Recipients in Maryland.Michael J. Keller & Maryland Higher Education Commission - 1999 - Maryland Higher Education Commission.
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
Nowy postulat teorii mnogości – aksjomat Leibniza-Mycielskiego.Piotr Wilczek - 2010 - Filozofia Nauki 18 (3).
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)
2016-06-30
Downloads
19 (#589,316)
6 months
1 (#450,425)
Historical graph of 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.
References found in this work
Strong axioms of infinity and elementary embeddings.Robert M. Solovay - 1978 - Annals of Mathematical Logic 13 (1):73.
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.
