Pages that link to "Item:Q5486250"

The following pages link to The disjunction and related properties for constructive Zermelo-Fraenkel set theory (Q5486250):

Displaying 15 items.

• Derived rules for predicative set theory: an application of sheaves (Q448333) (← links)
• From the weak to the strong existence property (Q448335) (← links)
• To be or not to be constructive, that is not the question (Q1688964) (← links)
• Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory (Q1938396) (← links)
• A categorical reading of the numerical existence property in constructive foundations (Q2080594) (← links)
• Numerical existence property and categories with an internal copy (Q2198319) (← links)
• Kripke models for subtheories of \textsf{CZF} (Q2267746) (← links)
• Characterizing the interpretation of set theory in Martin-Löf type theory (Q2500469) (← links)
• CZF does not have the existence property (Q2637709) (← links)
• Realisability for infinitary intuitionistic set theory (Q2700803) (← links)
• APPROXIMATING BEPPO LEVI’S <i>PRINCIPIO DI APPROSSIMAZIONE</i> (Q2925330) (← links)
• Refinement is equivalent to Fullness (Q3066297) (← links)
• Ordinal Analysis of Intuitionistic Power and Exponentiation Kripke Platek Set Theory (Q3305554) (← links)
• LIFSCHITZ REALIZABILITY AS A TOPOLOGICAL CONSTRUCTION (Q5858930) (← links)
• Choice and independence of premise rules in intuitionistic set theory (Q6109095) (← links)