Unifying the model theory of first-order and second-order arithmetic via WKL 0 ⁎

&
Annals of Pure and Applied Logic 168 (6):1247-1283 (2017)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2016.12.003

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,885

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Formalizing forcing arguments in subsystems of second-order arithmetic.Jeremy Avigad - 1996 - Annals of Pure and Applied Logic 82 (2):165-191.
WKL 0 and induction principles in model theory.David R. Belanger - 2015 - Annals of Pure and Applied Logic 166 (7-8):767-799.
Fixed point theory in weak second-order arithmetic.Naoki Shioji & Kazuyuki Tanaka - 1990 - Annals of Pure and Applied Logic 47 (2):167-188.
CZF and second order arithmetic.Robert S. Lubarsky - 2006 - Annals of Pure and Applied Logic 141 (1):29-34.
Admissible extensions of subtheories of second order arithmetic.Gerhard Jäger & Michael Rathjen - 2024 - Annals of Pure and Applied Logic 175 (7):103425.
Schmerl decompositions in first order arithmetic.François Dorais, Zachary Evans, Marcia Groszek, Seth Harris & Theodore Slaman - 2019 - Annals of Pure and Applied Logic 170 (12):102717.
Lipschitz and Wadge binary games in second order arithmetic.Andrés Cordón-Franco, F. Félix Lara-Martín & Manuel J. S. Loureiro - 2023 - Annals of Pure and Applied Logic 174 (9):103301.
Countable valued fields in weak subsystems of second-order arithmetic.Kostas Hatzikiriakou & Stephen G. Simpson - 1989 - Annals of Pure and Applied Logic 41 (1):27-32.
First-order model theory of free projective planes.Tapani Hyttinen & Gianluca Paolini - 2021 - Annals of Pure and Applied Logic 172 (2):102888.
The baire category theorem in weak subsystems of second-order arithmetic.Douglas K. Brown & Stephen G. Simpson - 1993 - Journal of Symbolic Logic 58 (2):557-578.

Analytics

Added to PP
2017-01-06

Downloads
35 (#706,035)

6 months
5 (#832,399)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Fixed points of self-embeddings of models of arithmetic.Saeideh Bahrami & Ali Enayat - 2018 - Annals of Pure and Applied Logic 169 (6):487-513.
Tanaka’s theorem revisited.Saeideh Bahrami - 2020 - Archive for Mathematical Logic 59 (7-8):865-877.
Algebraic combinatorics in bounded induction.Joaquín Borrego-Díaz - 2021 - Annals of Pure and Applied Logic 172 (2):102885.

View all 7 citations / Add more citations

References found in this work

Subsystems of Second Order Arithmetic.Stephen G. Simpson - 1999 - Studia Logica 77 (1):129-129.
On the scheme of induction for bounded arithmetic formulas.A. J. Wilkie & J. B. Paris - 1987 - Annals of Pure and Applied Logic 35 (C):261-302.
Reflection Principles and Their Use for Establishing the Complexity of Axiomatic Systems.Georg Kreisel & Azriel Lévy - 1968 - Zeitschrift für Mathematische Logic Und Grundlagen der Mathematik 14 (1):97--142.

View all 35 references / Add more references