The following pages link to (Q5494237):
Displaying 21 items.
- From the weak to the strong existence property (Q448335) (← links)
- On the conservativity of the axiom of choice over set theory (Q647343) (← links)
- Certain partial conservativeness properties of intuitionistic set theory with the principle of double complement of sets (Q722147) (← links)
- Kronecker's density theorem and irrational numbers in constructive reverse mathematics (Q969624) (← links)
- Problems, solutions, and completions (Q1044674) (← links)
- Axiom of choice in the model \(C\) (Q1178414) (← links)
- The effects of effects on constructivism (Q2133168) (← links)
- Are there enough injective sets? (Q2377052) (← links)
- Characterizing the interpretation of set theory in Martin-Löf type theory (Q2500469) (← links)
- Constructive order theory (Q2720327) (← links)
- The axiom of multiple choice and models for constructive set theory (Q2878782) (← links)
- Choices of Convenient Sets (Q4304149) (← links)
- Countable Choice as a Questionable Uniformity Principle (Q4662816) (← links)
- Countable sets versus sets that are countable in reverse mathematics (Q5037215) (← links)
- CONSTRUCTIVE REFLECTIVITY PRINCIPLES FOR REGULAR THEORIES (Q5207556) (← links)
- Preservation of choice principles under realizability (Q5241928) (← links)
- Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions (Q5253934) (← links)
- THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS) (Q5884255) (← links)
- EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY (Q6095977) (← links)
- THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC (Q6203558) (← links)
- Filtered bicolimit presentations of locally presentable linear categories, Grothendieck categories and their tensor products (Q6606303) (← links)
