- The Axiom of Choice
2002/01/01 by Steven G. Krantz · 1 citation
Computer Science · Mathematics · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Axiom of choice #Axiom independence #Urelement #Zermelo–Fraenkel set theory #Mathematical economics #Mathematics #Axiom #Computer science #Geometry #Programming language #Set theory
- The wholeness axiom and Laver sequences
2000/11/01 by Paul Corazza · 1 citation
Computer Science · Decision Sciences · Mathematics · #Advanced Topology and Set Theory #Axiom #Axiom independence #Axiom of choice #Computability, Logic, AI Algorithms #Computer science #Constructive set theory #Discrete mathematics #Fuzzy and Soft Set Theory #Geometry #Mathematical economics #Mathematics #Programming language #Pure mathematics #Set (abstract data type) #Set theory #Urelement #Zermelo–Fraenkel set theory
- Introduction to Axiomatic Set Theory
1982/01/01 by Gaisi Takeuti, Wilson M. Zaring · 1 citation
Engineering · Mathematics · Psychology · #Algebra over a field #Artificial intelligence #Axiom #Axiom of choice #Axiomatic system #Calculus (dental) #Computer science #Cover (algebra) #Engineering #Gödel #Mathematical economics #Mathematics #Philosophy and Theoretical Science #Programming language #Pure mathematics #Set (abstract data type) #Set theory #Universal set #Urelement #Zermelo–Fraenkel set theory
- Tychonoff's theorem without the axiom of choice
1981/01/01 by Peter Johnstone, P. Johnstone · 2 citations
Computer Science · Mathematics · #Advanced Topology and Set Theory #Axiom #Axiom independence #Axiom of choice #Computer science #Constructive set theory #Discrete mathematics #Geometry #Mathematical economics #Mathematics #Pure mathematics #Set (abstract data type) #Set theory #Topological space #Tychonoff space #Urelement #Zermelo–Fraenkel set theory #semigroups and automata theory
- Injectivity, projectivity, and the axiom of choice
1979/01/01 by Andreas Blass · 1 citation
Mathematics · Psychology · Computer Science · #Advanced Topology and Set Theory #Philosophy and Theoretical Science #Advanced Algebra and Logic #Mathematics #Axiom of choice #Abelian group #Injective function #Zermelo–Fraenkel set theory #Axiom independence #Axiom #Constructive set theory #Urelement #Divisible group #Pure mathematics #Abelian category #Rank of an abelian group #Elementary abelian group #Discrete mathematics #Set (abstract data type) #Set theory
- On Von Neumann's Axiom System for Set Theory
1968/08/01 by Azriel Levy, Azriel Lévy · 2 citations
Computer Science · Mathematics · Psychology · #Axiom #Axiom of choice #Computability, Logic, AI Algorithms #Computer science #Constructive set theory #Geometry #Mathematical and Theoretical Analysis #Mathematical economics #Mathematics #Philosophy and Theoretical Science #Pure mathematics #Set (abstract data type) #Set theory #Urelement #Von Neumann architecture #Zermelo–Fraenkel set theory
- Axiom schemata of strong infinity in axiomatic set theory
1960/03/01 by Azriel Lévy · 2 citations
Mathematics · Medicine · #Algebra over a field #Axiom #Axiom of choice #Axiomatic system #Calculus (dental) #Computer science #Geometry #Infinity #Mathematical analysis #Mathematical economics #Mathematics #Medicine #Pure mathematics #Rings, Modules, and Algebras #Set (abstract data type) #Set theory #Urelement #Zermelo–Fraenkel set theory
- The Tychonoff product theorem implies the axiom of choice
1950/01/01 by Jay Kelley, J. Kelley · 3 citations
Mathematics · #Advanced Topology and Set Theory #Axiom #Axiom independence #Axiom of choice #Computer science #Constructive set theory #Discrete mathematics #Geometry #Mathematical economics #Mathematics #Product (mathematics) #Pure mathematics #Set (abstract data type) #Set theory #Topological space #Tychonoff space #Urelement #Zermelo–Fraenkel set theory