David Linetsky
- Pointwise Definable Models of Set Theory
2011/05/23 by Joel David Hamkins, Hamkins, Joel David, David Linetsky +3 · 1 voice
Computer Science · Mathematics · Psychology · #03E55 #Advanced Topology and Set Theory #Artificial intelligence #Axiom of choice #Class (philosophy) #Combinatorics #Computability, Logic, AI Algorithms #Computer science #Continuum hypothesis #Countable set #Discrete mathematics #Extension (predicate logic) #FOS: Mathematics #Logic (math.LO) #Mathematical analysis #Mathematics #Model theory #Philosophy and Theoretical Science #Pointwise #Pointwise convergence #Pure mathematics #Set (abstract data type) #Set theory #Transitive relation #math.LO #msc:03E55