Pages that link to "Item:Q5486250"

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

Displaying 22 items.

• Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience (Q386630) (← links)
• Derived rules for predicative set theory: an application of sheaves (Q448333) (← links)
• From the weak to the strong existence property (Q448335) (← links)
• Disjoint essential sets of implicates of a CQ Horn function (Q766268) (← links)
• Hybrids of the \({}^ \times \)-translation for \(\mathsf{CZF}^{\omega}\) (Q946579) (← links)
• The logic of multisets continued: The case of disjunction (Q1419383) (← 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 \textit{principio di approssimazione} (Q2925330) (← links)
• Refinement is equivalent to Fullness (Q3066297) (← links)
• Ordinal Analysis of Intuitionistic Power and Exponentiation Kripke Platek Set Theory (Q3305554) (← links)
• Disjunctive systems and L-Domains (Q5204324) (← links)
• Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions (Q5253934) (← links)
• ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION (Q5363372) (← links)
• LIFSCHITZ REALIZABILITY AS A TOPOLOGICAL CONSTRUCTION (Q5858930) (← links)
• Choice and independence of premise rules in intuitionistic set theory (Q6109095) (← links)