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