Constructive set theory
From MaRDI portal
Publication:4073362
DOI10.2307/2272159zbMath0314.02045OpenAlexW2024315465MaRDI QIDQ4073362
Publication date: 1975
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2272159
Nonclassical and second-order set theories (03E70) Recursive functions and relations, subrecursive hierarchies (03D20) Intuitionistic mathematics (03F55)
Related Items (74)
Inaccessible set axioms may have little consistency strength ⋮ THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS) ⋮ The Urysohn Extension Theorem for Bishop Spaces ⋮ A semantic approach to conservativity ⋮ Constructing the Infimum of Two Projections ⋮ The effects of effects on constructivism ⋮ The strength of some Martin-Löf type theories ⋮ CZF does not have the existence property ⋮ Unnamed Item ⋮ Constructive notions of equicontinuity ⋮ Direct spectra of Bishop spaces and their limits ⋮ Unnamed Item ⋮ Constructing local optima on a compact interval ⋮ ABSTRACT INDUCTIVE AND CO-INDUCTIVE DEFINITIONS ⋮ Relating first-order set theories, toposes and categories of classes ⋮ Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience ⋮ What does logic have to tell us about mathematical proofs? ⋮ Eliminating disjunctions by disjunction elimination ⋮ EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY ⋮ Choice and independence of premise rules in intuitionistic set theory ⋮ An approach to the constructivization of Cantor's set theory ⋮ Intuitionistic mereology. II: Overlap and disjointness ⋮ A predicative completion of a uniform space ⋮ The intermediate value theorem in constructive mathematics without choice ⋮ Proof-theoretical analysis: Weak systems of functions and classes ⋮ Constructing the minimal period of homomorphisms into \(\mathbb R^n\) ⋮ Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets ⋮ From the weak to the strong existence property ⋮ Constructive toposes with countable sums as models of constructive set theory ⋮ Compactness notions for an apartness space ⋮ Relating First-Order Set Theories and Elementary Toposes ⋮ The anti-Specker property, a Heine-Borel property, and uniform continuity ⋮ Continuous homomorphisms of R onto a compact group ⋮ The scope of Feferman's semi-intuitionistic set theories and his second conjecture ⋮ A cumulative hierarchy of sets for constructive set theory ⋮ Bibliography of John Myhill ⋮ Homotopy type-theoretic interpretations of constructive set theories ⋮ Applicable Mathematics in a Minimal Computational Theory of Sets ⋮ ON ADOPTING KRIPKE SEMANTICS IN SET THEORY ⋮ Models of non-well-founded sets via an indexed final coalgebra theorem ⋮ Extending Gödel's negative interpretation to ZF ⋮ Generalized geometric theories and set-generated classes ⋮ Independence results around constructive ZF ⋮ Kripke models for subtheories of \textsf{CZF} ⋮ Glueing continuous functions constructively ⋮ 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 ⋮ Unnamed Item ⋮ Type theories, toposes and constructive set theory: Predicative aspects of AST ⋮ The Relation Reflection Scheme ⋮ Refinement is equivalent to Fullness ⋮ 2004 Summer Meeting of the Association for Symbolic Logic ⋮ Proof Theory of Constructive Systems: Inductive Types and Univalence ⋮ The generalised type-theoretic interpretation of constructive set theory ⋮ Intensionality in mathematics ⋮ Towards a computation system based on set theory ⋮ Functional interpretation of Aczel's constructive set theory ⋮ Predicativity and constructive mathematics ⋮ Constructive mathematics: a foundation for computable analysis ⋮ Inaccessibility in constructive set theory and type theory ⋮ Closed subsets in Bishop topological groups ⋮ Set existence property for intuitionistic theories with dependent choice ⋮ Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions ⋮ Aspects of general topology in constructive set theory ⋮ 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05 ⋮ On some non-classical extensions of second-order intuitionistic propositional calculus ⋮ Functions of Baire class one over a Bishop topology ⋮ Realization of constructive set theory into explicit mathematics: A lower bound for impredicative Mahlo universe ⋮ Apartness spaces as a framework for constructive topology ⋮ Bishop-Style Constructive Reverse Mathematics ⋮ Cardinality without enumeration ⋮ The constructive Hilbert program and the limits of Martin-Löf type theory ⋮ Constructive mathematics, Church's thesis, and free choice sequences
Cites Work
This page was built for publication: Constructive set theory
