Second order arithmetic and related topics
From MaRDI portal
Publication:4053647
DOI10.1016/0003-4843(74)90001-1zbMath0299.02066MaRDI QIDQ4053647
Victor W. Marek, Krzysztof R. Apt
Publication date: 1974
Published in: Annals of Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://ir.cwi.nl/pub/10233
03C60: Model-theoretic algebra
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03E35: Consistency and independence results
03D55: Hierarchies of computability and definability
11U10: Nonstandard arithmetic (number-theoretic aspects)
03H99: Nonstandard models
Related Items
THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC, Definable sets and expansions of models of Peano arithmetic, Proof systems for infinite behaviours, On expandability of models of Peano arithmetic. I, Reverse mathematics and its meaning, Proof theory of reflection, Theory of Zermelo without power set axiom and the theory of Zermelo- Fraenkel without power set axiom are relatively consistent, Turing meets Schanuel, Syntactical truth predicates for second order arithmetic