Second order arithmetic and related topics

DOI10.1016/0003-4843(74)90001-1zbMath0299.02066OpenAlexW2114515271MaRDI 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

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Consistency and independence results (03E35) Hierarchies of computability and definability (03D55) Nonstandard arithmetic (number-theoretic aspects) (11U10) Nonstandard models (03H99)

Related Items

Proof theory of reflection, Turing meets Schanuel, Definable sets and expansions of models of Peano arithmetic, Syntactical truth predicates for second order arithmetic, Proof systems for infinite behaviours, On expandability of models of Peano arithmetic. I, Theory of Zermelo without power set axiom and the theory of Zermelo- Fraenkel without power set axiom are relatively consistent, Reverse mathematics and its meaning, THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC