Wolfram Pohlers
- Proof Theory
1989/01/01 by Wolfram Pohlers · 6 citations
Computer Science · Mathematics · Medicine · #Algebra over a field #Algorithm #Axiom #Axiom of choice #Calculus (dental) #Computer science #Constructive #Constructive proof #Discrete mathematics #History and Theory of Mathematics #Logic, programming, and type systems #Mathematical economics #Mathematical proof #Mathematics #Medicine #Orthodontics #Programming language #Proof theory #Pure mathematics #Set theory #Sketch
- Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
1981/01/01 by Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers +1 · 4 citations
Computer Science · Mathematics · Medicine · #Advanced Algebra and Logic #Algebra over a field #Calculus (dental) #Inductive method #Iterated function #Mathematical analysis #Mathematical economics #Mathematics #Mathematics education #Medicine #Neural Networks and Applications #Pure mathematics #Rough Sets and Fuzzy Logic
- Subsystems of Set Theory and Second Order Number Theory
1998/01/01 by Wolfram Pohlers · 1 citation
Computer Science · Mathematics · #Advanced Topology and Set Theory #Algebra over a field #Calculus (dental) #Computability, Logic, AI Algorithms #Computer science #Discrete mathematics #History and Theory of Mathematics #Mathematics #Order (exchange) #Programming language #Pure mathematics #Set (abstract data type) #Set theory