Second order arithmetic and related topics

&
Annals of Mathematical Logic 6 (3):177 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0003-4843(74)90001-1

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,551

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

Derived rules related to a constructive theory of metric spaces in intuitionistic higher order arithmetic without countable choice.Susumu Hayashi - 1980 - Annals of Mathematical Logic 19 (1):33.
CZF and second order arithmetic.Robert S. Lubarsky - 2006 - Annals of Pure and Applied Logic 141 (1):29-34.
A few more dissimilarities between second-order arithmetic and set theory.Kentaro Fujimoto - 2022 - Archive for Mathematical Logic 62 (1):147-206.
Admissible extensions of subtheories of second order arithmetic.Gerhard Jäger & Michael Rathjen - 2024 - Annals of Pure and Applied Logic 175 (7):103425.
Fixed point theory in weak second-order arithmetic.Naoki Shioji & Kazuyuki Tanaka - 1990 - Annals of Pure and Applied Logic 47 (2):167-188.
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.
Unifying the model theory of first-order and second-order arithmetic via WKL 0 ⁎.Ali Enayat & Tin Lok Wong - 2017 - Annals of Pure and Applied Logic 168 (6):1247-1283.
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.
Capturing k-ary existential second order logic with k-ary inclusion–exclusion logic.Raine Rönnholm - 2018 - Annals of Pure and Applied Logic 169 (3):177-215.
Weak Second‐Order Arithmetic and Finite Automata.J. Richard Büchi - 1960 - Mathematical Logic Quarterly 6 (1-6):66-92.

Analytics

Added to PP
2014-01-17

Downloads
35 (#648,941)

6 months
8 (#594,873)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Proof theory of reflection.Michael Rathjen - 1994 - Annals of Pure and Applied Logic 68 (2):181-224.

View all 12 citations / Add more citations

References found in this work

The Consistency of the Continuum Hypothesis.Kurt Gödel - 1940 - Princeton University Press.
Internal cohen extensions.D. A. Martin & R. M. Solovay - 1970 - Annals of Mathematical Logic 2 (2):143-178.
A survey of proof theory.G. Kreisel - 1968 - Journal of Symbolic Logic 33 (3):321-388.
The problem of predicativity.Joseph R. Shoenfield - 1961 - In Bar-Hillel, Yehoshua & [From Old Catalog] (eds.), Essays on the Foundations of Mathematics. Jerusalem,: Magnes Press. pp. 132--139.
Countable models of set theories.Harvey Friedman - 1973 - In A. R. D. Mathias & Hartley Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York,: Springer Verlag. pp. 539--573.

View all 29 references / Add more references