Cited in
(56)- Well-ordering and choice in toposes
- Semiprime ideals in general lattices
- From types to sets
- Unique existence, approximate solutions, and countable choice.
- Infinite populations, choice and determinacy
- To be or not to be constructive, that is not the question
- A characterization of those categories whose internal logic is Hilbert's \(\varepsilon\)-calculus
- Comparing material and structural set theories
- The scope of Feferman's semi-intuitionistic set theories and his second conjecture
- Reverse formalism 16
- An indeterminate universe of sets
- Logics of intuitionistic Kripke-Platek set theory
- Characterizing the interpretation of set theory in Martin-Löf type theory
- Formal Zariski topology: Positivity and points
- Radical theory of Scott-open filters
- Mass problems and intuitionistic higher-order logic
- On definitions of constants and types in HOL
- Notions of anonymous existence in Martin-Löf type theory
- HOL Light: An Overview
- On the constructive and computational content of abstract mathematics
- Constructive complete distributivity. I
- On adopting Kripke semantics in set theory
- On Comparability in a Topos
- scientific article; zbMATH DE number 130887 (Why is no real title available?)
- Reflection principles for synthetic theories of smooth manifolds
- Functional Kan simplicial sets: non-constructivity of exponentiation
- Classical and constructive hierarchies in extended intuitionistic analysis
- Can You Add Power‐Sets to Martin‐Lof's Intuitionistic Set Theory?
- Reflections on the Axiomatic Approach to Continuity
- scientific article; zbMATH DE number 7583437 (Why is no real title available?)
- Five stages of accepting constructive mathematics
- Formal proof of Banach-Tarski paradox
- Proof theory of constructive systems: inductive types and univalence
- A categorical interpretation of the intuitionistic, typed, first order logic with Hilbert's -terms
- THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS)
- A New Foundational Crisis in Mathematics, Is It Really Happening?
- EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY
- Formalizing the unexpected hanging paradox: a classical surprise
- Constructing the constructible universe constructively
- Nonstandard proof methods in toposes
- THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC
- Reflections on function spaces
- Pumping, with or without choice
- Intergenerational equity, efficiency, and constructibility
- Conservativity of type theory over higher-order arithmetic
- Hammering higher order set theory
- The elementary theory of the 2-category of small categories
- Natural constructive proofs of A via A B, proof paradoxes, and impredicativity
- Injective power objects and the axiom of choice
- Transcending classical boundaries: choice and its equivalences
- A note on the axiom of choice in an iterative paraconsistent set theory
- Predicative classes and strict potentialism
- Extending strongly continuous functions between apartness spaces
- Ordering infinite utility streams comes at the cost of a non-Ramsey set
- Pre-apartness structures on spaces of functions
- The basic Zariski topology
This page was built for publication: Axiom of Choice and Complementation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4078028)
