J. D. Halpern
- Bases in Vector Spaces and the Axiom of Choice
1966/06/01 by J. D. Halpern · 1 citation
Computer Science · #Advanced Algebra and Logic #Logic, programming, and type systems
- Partitions of products
1981/01/01 by David Pincus, J. D. Halpern · 1 citation
Mathematics · Computer Science · #Advanced Topology and Set Theory #Functional Equations Stability Results #Advanced Algebra and Logic #Finitary #Ultrafilter #Mathematics #Forcing (mathematics) #Product (mathematics) #Infinite product #Discrete mathematics #Pure mathematics #Combinatorics #Mathematical analysis
- A partition theorem
1966/01/01 by J. D. Halpern, H. Läuchli · 1 citation
Mathematics · Computer Science · #Limits and Structures in Graph Theory #Advanced Topology and Set Theory #Advanced Graph Theory Research #Mathematics #Partition (number theory) #Combinatorics #Discrete mathematics #Finite set #Axiom of choice #Axiom #Set (abstract data type) #Set theory