- Subsystems of Second Order Arithmetic
2009/05/29 by Stephen G. Simpson · 11 citations
Computer Science · Arts and Humanities · Mathematics · #Computability, Logic, AI Algorithms #Advanced Algebra and Logic #Wittgensteinian philosophy and applications #Axiom #Reverse mathematics #Mathematics #Second-order arithmetic #Peano axioms #Separation axiom #Set (abstract data type) #Algebra over a field #Order (exchange) #Context (archaeology) #Discrete mathematics #Pure mathematics #Computer science