Metamathematical properties of intuitionistic set theories with choice principles
From MaRDI portal
(Redirected from Publication:5384979)
Recommendations
Cited in
(20)- Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory
- The metatheory of sets
- CZF does not have the existence property
- Realisability for infinitary intuitionistic set theory
- On choice rules in dependent type theory
- Ordinal analysis of intuitionistic power and exponentiation Kripke Platek set theory
- scientific article; zbMATH DE number 4063090 (Why is no real title available?)
- scientific article; zbMATH DE number 4101178 (Why is no real title available?)
- scientific article; zbMATH DE number 2015288 (Why is no real title available?)
- From the weak to the strong existence property
- scientific article; zbMATH DE number 218499 (Why is no real title available?)
- New set-theoretic axioms derived from a lean metamathematics
- scientific article; zbMATH DE number 4195939 (Why is no real title available?)
- Preservation of choice principles under realizability
- Properties of ordinals in the set theory with intuitionistic logic
- The disjunction and related properties for constructive Zermelo-Fraenkel set theory
- Choice and independence of premise rules in intuitionistic set theory
- Certain partial conservativeness properties of intuitionistic set theory with the principle of double complement of sets
- Set existence property for intuitionistic theories with dependent choice
- Hybrids of the \({}^ \times \)-translation for \(\mathsf{CZF}^{\omega}\)
This page was built for publication: Metamathematical properties of intuitionistic set theories with choice principles
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5384979)
