Set existence property for intuitionistic theories with dependent choice
Annals of Pure and Applied Logic 25 (2):129-140 (1983)
Abstract
This article has no associated abstract. (fix it)DOI
10.1016/0168-0072(83)90011-8
My notes
Similar books and articles
On the derivability of instantiation properties.Harvey Friedman - 1977 - Journal of Symbolic Logic 42 (4):506-514.
Classical and constructive hierarchies in extended intuitionistic analysis.Joan Rand Moschovakis - 2003 - Journal of Symbolic Logic 68 (3):1015-1043.
Some axioms for constructive analysis.Joan Rand Moschovakis & Garyfallia Vafeiadou - 2012 - Archive for Mathematical Logic 51 (5-6):443-459.
The independence property in generalized dense pairs of structures.Alexander Berenstein, Alf Dolich & Alf Onshuus - 2011 - Journal of Symbolic Logic 76 (2):391 - 404.
The finite model property for various fragments of intuitionistic linear logic.Mitsuhiro Okada & Kazushige Terui - 1999 - Journal of Symbolic Logic 64 (2):790-802.
Provably recursive functions of constructive and relatively constructive theories.Morteza Moniri - 2010 - Archive for Mathematical Logic 49 (3):291-300.
On a classification of theories without the independence property.Viktor Verbovskiy - 2013 - Mathematical Logic Quarterly 59 (1-2):119-124.
Lindenbaum algebras of intuitionistic theories and free categories.Peter Freyd, Harvey Friedman & Andre Scedrov - 1987 - Annals of Pure and Applied Logic 35 (C):167-172.
Large sets in intuitionistic set theory.Harvey Friedman & Andrej Ščedrov - 1984 - Annals of Pure and Applied Logic 27 (1):1-24.
Moral luck and partialist theories.Anita M. Superson - 1996 - Journal of Value Inquiry 30 (1-2):213-227.
Quantifier Elimination for a Class of Intuitionistic Theories.Ben Ellison, Jonathan Fleischmann, Dan McGinn & Wim Ruitenburg - 2008 - Notre Dame Journal of Formal Logic 49 (3):281-293.
Sequent calculus proof theory of intuitionistic apartness and order relations.Sara Negri - 1999 - Archive for Mathematical Logic 38 (8):521-547.
Analytics
Added to PP
2014-01-16
Downloads
10 (#890,548)
6 months
1 (#452,962)
2014-01-16
Downloads
10 (#890,548)
6 months
1 (#452,962)
Historical graph of downloads
Citations of this work
From the weak to the strong existence property.Michael Rathjen - 2012 - Annals of Pure and Applied Logic 163 (10):1400-1418.
The disjunction and related properties for constructive Zermelo-Fraenkel set theory.Michael Rathjen - 2005 - Journal of Symbolic Logic 70 (4):1233-1254.
Set theory: Constructive and intuitionistic zf.Laura Crosilla - 2010 - Stanford Encyclopedia of Philosophy.
CZF does not have the existence property.Andrew W. Swan - 2014 - Annals of Pure and Applied Logic 165 (5):1115-1147.
References found in this work
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis.Anne S. Troelstra - 1973 - New York: Springer.
Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems.G. Kreisel & A. Lévy - 1968 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 14 (7-12):97-142.
Reflection Principles and Their Use for Establishing the Complexity of Axiomatic Systems.Georg Kreisel & Azriel Lévy - 1968 - Zeitschrift für Mathematische Logic Und Grundlagen der Mathematik 14 (1):97--142.
Some applications of Kleene's methods for intuitionistic systems.Harvey Friedman - 1973 - In A. R. D. Mathias & H. Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York: Springer Verlag. pp. 113--170.
