vix.ing · top · new · best · stats

Subsystems of Set Theory and Second Order Number Theory

1998/01/01 by Wolfram Pohlers · 30 citations
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

paper · doi:10.1016/s0049-237x(98)80019-0

published in Studies in Logic and the Foundations of Mathematics, 209-335 (Elsevier)

crossref issued 1998/01/01 · crossref published 1998/01/01 · crossref published-print 1998/01/01 · openalex publication_date 1998/01/01 · crossref created 2007/09/07 · crossref deposited 2025/09/24 · openalex created_date 2025/10/10 · openalex updated_date 2026/03/10 · crossref indexed 2026/07/17

Citations

Cited by