Axiom of Choice and Complementation
From MaRDI portal
Publication:4078028
DOI10.2307/2039868zbMATH Open0317.02077OpenAlexW4252432365MaRDI QIDQ4078028FDOQ4078028
Authors: Radu Diaconescu 
Publication date: 1975
Full work available at URL: https://doi.org/10.2307/2039868
Categories of sets, characterizations (18B05) Nonclassical and second-order set theories (03E70) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Axiom of choice and related propositions (03E25) Foundations, relations to logic and deductive systems (18A15)
Cited In (49)
- Reflections on the Axiomatic Approach to Continuity
- Title not available (Why is that?)
- Formalizing the unexpected hanging paradox: a classical surprise
- Constructing the constructible universe constructively
- THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS)
- Constructive complete distributivity. I
- On adopting Kripke semantics in set theory
- Formal proof of Banach-Tarski paradox
- Infinite populations, choice and determinacy
- On the constructive and computational content of abstract mathematics
- Well-ordering and choice in toposes
- The scope of Feferman's semi-intuitionistic set theories and his second conjecture
- Nonstandard proof methods in toposes
- On Comparability in a Topos
- Characterizing the interpretation of set theory in Martin-Löf type theory
- An indeterminate universe of sets
- Proof theory of constructive systems: inductive types and univalence
- Injective power objects and the axiom of choice
- On definitions of constants and types in HOL
- The basic Zariski topology
- Semiprime ideals in general lattices
- Functional Kan simplicial sets: non-constructivity of exponentiation
- Pre-apartness structures on spaces of functions
- To be or not to be constructive, that is not the question
- Title not available (Why is that?)
- Logics of intuitionistic Kripke-Platek set theory
- From types to sets
- Five stages of accepting constructive mathematics
- Reverse formalism 16
- Unique existence, approximate solutions, and countable choice.
- 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?
- EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY
- THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC
- Ordering infinite utility streams comes at the cost of a non-Ramsey set
- Mass problems and intuitionistic higher-order logic
- Intergenerational equity, efficiency, and constructibility
- Formal Zariski topology: Positivity and points
- Can You Add Power‐Sets to Martin‐Lof's Intuitionistic Set Theory?
- Radical theory of Scott-open filters
- 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 \(\varepsilon\)-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)
