Axiom of Choice and Complementation
From MaRDI portal
Publication:4078028
DOI10.2307/2039868zbMath0317.02077OpenAlexW4252432365MaRDI QIDQ4078028
Publication date: 1975
Full work available at URL: https://doi.org/10.2307/2039868
Nonclassical and second-order set theories (03E70) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Axiom of choice and related propositions (03E25) Categories of sets, characterizations (18B05) Foundations, relations to logic and deductive systems (18A15)
Related Items
Extending strongly continuous functions between apartness spaces, Infinite populations, choice and determinacy, THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS), Unnamed Item, On definitions of constants and types in HOL, Reflections on the Axiomatic Approach to Continuity, Ordering infinite utility streams comes at the cost of a non-Ramsey set, HOL Light: An Overview, Well-ordering and choice in toposes, Constructive complete distributivity. I, Pre-apartness structures on spaces of functions, Semiprime ideals in general lattices, The basic Zariski topology, A New Foundational Crisis in Mathematics, Is It Really Happening?, To be or not to be constructive, that is not the question, From types to sets, EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY, Radical theory of Scott-open filters, 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, Five stages of accepting constructive mathematics, A characterization of those categories whose internal logic is Hilbert's \(\varepsilon\)-calculus, Comparing material and structural set theories, Reflections on function spaces, Unique existence, approximate solutions, and countable choice., Intergenerational equity, efficiency, and constructibility, Logics of intuitionistic Kripke-Platek set theory, On the Constructive and Computational Content of Abstract Mathematics, The scope of Feferman's semi-intuitionistic set theories and his second conjecture, Reflection principles for synthetic theories of smooth manifolds, Classical and constructive hierarchies in extended intuitionistic analysis, A categorical interpretation of the intuitionistic, typed, first order logic with Hilbert's \(\varepsilon\)-terms, ON ADOPTING KRIPKE SEMANTICS IN SET THEORY, Injective power objects and the axiom of choice, On Comparability in a Topos, Characterizing the interpretation of set theory in Martin-Löf type theory, Mass problems and intuitionistic higher-order logic, Unnamed Item, Can You Add Power‐Sets to Martin‐Lof's Intuitionistic Set Theory?, Proof Theory of Constructive Systems: Inductive Types and Univalence, Reverse formalism 16, An indeterminate universe of sets, Unnamed Item, Functional Kan Simplicial Sets: Non-Constructivity of Exponentiation, Formal Zariski topology: Positivity and points, Formal Proof of Banach-Tarski Paradox
