Harvey M. Friedman
- A consistent Fubini-Tonelli theorem for nonmeasurable functions
1980/09/01 by Harvey M. Friedman, Harvey Friedman · 3 citations
Computer Science · Mathematics · #Functional Equations Stability Results #Fuzzy Systems and Optimization #Optimization and Variational Analysis
- On the necessary use of abstract set theory
1981/09/01 by Harvey Friedman, Harvey M. Friedman · 3 citations
Computer Science · Mathematics · #Advanced Topology and Set Theory #Axiom #Computability, Logic, AI Algorithms #Consistency (knowledge bases) #Discrete mathematics #Independence (probability theory) #Limits and Structures in Graph Theory #Mathematics
- Integration on the Surreals: a Conjecture of Conway, Kruskal and Norton
2015/05/11 by Ovidiu Costin, Costin, Ovidiu, Philip Ehrlich +4 · 2 citations
Computer Science · Mathematics · #Advanced Topology and Set Theory #Mathematics and Applications #Polynomial and algebraic computation #math.LO
- Subtle cardinals and linear orderings
2001/01/01 by Harvey M. Friedman · 2 citations
Computer Science · Mathematics · #Advanced Topology and Set Theory #Combinatorics #Computability, Logic, AI Algorithms #Discrete mathematics #Mathematics #Pure mathematics #Rings, Modules, and Algebras
- Classically and intuitionistically provably recursive functions
1978/01/01 by Harvey Friedman, Harvey M. Friedman · 1 citation
Computer Science · #Computability, Logic, AI Algorithms