scientific article; zbMATH DE number 5064954
From MaRDI portal
Publication:5494237
Recommendations
- The axiom of multiple choice and models for constructive set theory
- Choice Principles and Constructive Logics†
- ^1_1 choice in a theory of sets and classes
- Constructive set theory and Brouwerian principles
- scientific article; zbMATH DE number 695934
- On the construction of non-empty choice sets
- Choice and independence of premise rules in intuitionistic set theory
- On the conservativity of the axiom of choice over set theory
- scientific article; zbMATH DE number 4197979
- Axiom of choice in nonstandard set theory
Cited in
(28)- Problems, solutions, and completions
- Axiom of choice in the model C
- The effects of effects on constructivism
- Are there enough injective sets?
- Characterizing the interpretation of set theory in Martin-Löf type theory
- Constructive order theory
- The axiom of multiple choice and models for constructive set theory
- scientific article; zbMATH DE number 4019051 (Why is no real title available?)
- Logically enforced subprinciples of ZFC
- 100 Years of Zermelo’s Axiom of Choice: What was the Problem with It?
- scientific article; zbMATH DE number 130887 (Why is no real title available?)
- Choices of Convenient Sets
- From the weak to the strong existence property
- Countable Choice as a Questionable Uniformity Principle
- Choice Principles and Constructive Logics†
- Countable sets versus sets that are countable in reverse mathematics
- Constructive reflectivity principles for regular theories
- Preservation of choice principles under realizability
- Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions
- Metamathematical properties of intuitionistic set theories with choice principles
- THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS)
- EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY
- THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC
- On the conservativity of the axiom of choice over set theory
- Filtered bicolimit presentations of locally presentable linear categories, Grothendieck categories and their tensor products
- Almost sure OTM-realizability
- Certain partial conservativeness properties of intuitionistic set theory with the principle of double complement of sets
- Kronecker's density theorem and irrational numbers in constructive reverse mathematics
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5494237)
