Axiom of Choice and Complementation

DOI10.2307/2039868MaRDI QIDQ4078028zbMATH OpenOpenAlexFDO

Authors Radu Diaconescu

Publication date 1975

Full work available at URL https://doi.org/10.2307/2039868

Mathematics Subject Classification ID

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)

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

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)