Pages that link to "Item:Q1071017"

The following pages link to The lack of definable witnesses and provably recursive functions in intuitionistic set theories (Q1071017):

Displaying 22 items.

• Relating first-order set theories, toposes and categories of classes (Q386623) (← links)
• Relativized ordinal analysis: the case of power Kripke-Platek set theory (Q392292) (← links)
• From the weak to the strong existence property (Q448335) (← links)
• Effectivity properties of intuitionistic set theory with collection scheme (Q650477) (← links)
• Certain partial conservativeness properties of intuitionistic set theory with the principle of double complement of sets (Q722147) (← links)
• On the constructive Dedekind reals (Q1000868) (← links)
• Lindenbaum algebras of intuitionistic theories and free categories (Q1092043) (← links)
• On the impossibility of explicit upper bounds on lengths of some provably finite algorithms in computable analysis (Q1102283) (← links)
• Independence results around constructive ZF (Q1765158) (← links)
• Towards a computation system based on set theory (Q1825191) (← links)
• A categorical reading of the numerical existence property in constructive foundations (Q2080594) (← links)
• Characterizing the interpretation of set theory in Martin-Löf type theory (Q2500469) (← links)
• Replacement versus collection and related topics in constructive Zermelo-Fraenkel set theory (Q2566070) (← links)
• CZF does not have the existence property (Q2637709) (← links)
• SEPARATING FRAGMENTS OF WLEM, LPO, AND MP (Q2976334) (← links)
• Ordinal Analysis of Intuitionistic Power and Exponentiation Kripke Platek Set Theory (Q3305554) (← links)
• Eighth Latin American Symposium on Mathematical Logic, João Pessoa (Q4008764) (← links)
• SEPARATING THE FAN THEOREM AND ITS WEAKENINGS II (Q5207562) (← links)
• The disjunction and related properties for constructive Zermelo-Fraenkel set theory (Q5486250) (← links)
• Intuitionistic sets and ordinals (Q5687312) (← links)
• Choice and independence of premise rules in intuitionistic set theory (Q6109095) (← links)
• Constructing the constructible universe constructively (Q6145038) (← links)