scientific article
From MaRDI portal
Publication:3310616
zbMath0529.03035MaRDI QIDQ3310616
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Nonclassical and second-order set theories (03E70) Intuitionistic mathematics (03F55) Axiom of choice and related propositions (03E25)
Related Items
Inaccessible set axioms may have little consistency strength, THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS), From type theory to setoids and back, Injectivity, Projectivity, and the Axiom of Choice, The strength of some Martin-Löf type theories, Are there enough injective sets?, On the syntax of Martin-Löf's type theories, Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice, Binary refinement implies discrete exponentiation, THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY, Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience, On Tarski’s fixed point theorem, Topological forcing semantics with settling, EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY, Unnamed Item, A predicative completion of a uniform space, The uniform boundedness theorem and a boundedness principle, Proof-theoretical analysis: Weak systems of functions and classes, Derived rules for predicative set theory: an application of sheaves, Topological inductive definitions, On Feferman's operational set theory \textsf{OST}, On Relating Theories: Proof-Theoretical Reduction, The Zariski spectrum as a formal geometry, Homotopy type-theoretic interpretations of constructive set theories, Consistency of the intensional level of the minimalist foundation with Church's thesis and axiom of choice, Kronecker's density theorem and irrational numbers in constructive reverse mathematics, Independence results around constructive ZF, Kripke models for subtheories of \textsf{CZF}, CZF and second order arithmetic, Quotient topologies in constructive set theory and type theory, Characterizing the interpretation of set theory in Martin-Löf type theory, Proof Theory of Constructive Systems: Inductive Types and Univalence, Full operational set theory with unbounded existential quantification and power set, Functional interpretation of Aczel's constructive set theory, Replacement versus collection and related topics in constructive Zermelo-Fraenkel set theory, Predicative functionals and an interpretation of \({\widehat{\text{ID}}_{<\omega}}\), Inaccessibility in constructive set theory and type theory, Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions, Aspects of general topology in constructive set theory, Syntax for Semantics: Krull’s Maximal Ideal Theorem
