Constructive set theory

DOI10.2307/2272159MaRDI QIDQ4073362zbMATH OpenOpenAlexFDO

Authors John Myhill

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

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Recursive functions and relations, subrecursive hierarchies (03D20) Intuitionistic mathematics (03F55)

Cited in

(84)

• CZF does not have the existence property
• Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions
• From the weak to the strong existence property
• Quotient topologies in constructive set theory and type theory
• The Relation Reflection Scheme
• Continuous homomorphisms of R onto a compact group
• What does logic have to tell us about mathematical proofs?
• Inaccessibility in constructive set theory and type theory
• Type theories, toposes and constructive set theory: Predicative aspects of AST
• Very large set axioms over constructive set theories
• Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets
• Inaccessible set axioms may have little consistency strength
• On adopting Kripke semantics in set theory
• THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS)
• On the Weihrauch degree of the additive Ramsey theorem
• The scope of Feferman's semi-intuitionistic set theories and his second conjecture
• Constructive mathematics, Church's thesis, and free choice sequences
• The strength of some Martin-Löf type theories
• Characterizing the interpretation of set theory in Martin-Löf type theory
• A semantic approach to conservativity
• The constructive Hilbert program and the limits of Martin-Löf type theory
• A predicative completion of a uniform space
• The intermediate value theorem in constructive mathematics without choice
• Glueing continuous functions constructively
• Proof theory of constructive systems: inductive types and univalence
• Constructive mathematics: a foundation for computable analysis
• Sets completely separated by functions in Bishop set theory
• Intuitionistic mereology. II: Overlap and disjointness
• Compactness notions for an apartness space
• The effects of effects on constructivism
• Models of non-well-founded sets via an indexed final coalgebra theorem
• Constructing the minimal period of homomorphisms into \(\mathbb R^n\)
• Hilbert's tenth problem for term algebras with a substitution operator
• Constructing local optima on a compact interval
• Complemented subsets and Boolean-valued, partial functions
• A predicative approach to the constructive integration theory of locally compact metric spaces
• Intuitionistic sets and numbers: small set theory and Heyting arithmetic
• Constructive toposes with countable sums as models of constructive set theory
• An approach to the constructivization of Cantor's set theory
• Direct spectra of Bishop spaces and their limits
• Set existence property for intuitionistic theories with dependent choice
• scientific article; zbMATH DE number 7561488 (Why is no real title available?)
• Extending Gödel's negative interpretation to ZF
• Apartness spaces as a framework for constructive topology
• A cumulative hierarchy of sets for constructive set theory
• Generalized geometric theories and set-generated classes
• Constructive notions of equicontinuity
• Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory
• CZF and second order arithmetic
• Towards a computation system based on set theory
• Intensionality in mathematics
• Bishop-Style Constructive Reverse Mathematics
• Relating First-Order Set Theories and Elementary Toposes
• Functional interpretation of Aczel's constructive set theory
• EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY
• Kripke models for subtheories of \textsf{CZF}
• 2004 Summer Meeting of the Association for Symbolic Logic
• scientific article; zbMATH DE number 7168154 (Why is no real title available?)
• The generalised type-theoretic interpretation of constructive set theory
• ABSTRACT INDUCTIVE AND CO-INDUCTIVE DEFINITIONS
• Independence results around constructive ZF
• Proof-theoretical analysis: Weak systems of functions and classes
• Functions of Baire class one over a Bishop topology
• Aspects of general topology in constructive set theory
• Bibliography of John Myhill
• Univalent material set theory
• On some non-classical extensions of second-order intuitionistic propositional calculus
• The anti-Specker property, a Heine-Borel property, and uniform continuity
• Refinement is equivalent to fullness
• Constructing the infimum of two projections
• Predicativity and constructive mathematics
• The Urysohn extension theorem for Bishop spaces
• Constructive uniformities of pseudometrics and Bishop topologies
• Applicable mathematics in a minimal computational theory of sets
• Eliminating disjunctions by disjunction elimination
• Realization of constructive set theory into explicit mathematics: A lower bound for impredicative Mahlo universe
• Closed subsets in Bishop topological groups
• The proof-theoretic strength of constructive second-order set theories
• Homotopy type-theoretic interpretations of constructive set theories
• Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience
• Relating first-order set theories, toposes and categories of classes
• Choice and independence of premise rules in intuitionistic set theory
• Cardinality without enumeration
• 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05

This page was built for publication: Constructive set theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4073362)