Constructibility in higher order arithmetics

Archive for Mathematical Logic 32 (6):381-389 (1993)
  Copy   BIBTEX

Abstract

We define and investigate constructibility in higher order arithmetics. In particular we get an interpretation ofn-order arithmetic inn-order arithmetic without the scheme of choice such that ∈ and the property “to be a well-ordering” are absolute in it and such that this interpretation is minimal among such interpretations

Categories

Keywords

Reprint years

DOI

10.1007/bf01270463

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,853

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

Two weak arithmetics.Peter Smith - unknown
A dilemma for higher-order theories of consciousness.Isabel Gois - 2010 - Philosophia 38 (1):143-156.
System description: { A higher-order theorem prover?Michael Kohlhase - manuscript
Higher-order global states : An alternative higher-order model of consciousness.Robert Van Gulick - 2004 - In Rocco J. Gennaro (ed.), Higher-Order Theories of Consciousness: An Anthology. John Benjamins.
On gödel's theorems on lengths of proofs I: Number of lines and speedup for arithmetics.Samuel R. Buss - 1994 - Journal of Symbolic Logic 59 (3):737-756.
Ultraproducts and Higher Order Formulas.Gábor Sági - 2002 - Mathematical Logic Quarterly 48 (2):261-275.
Higher-order global states (HOGS) An alternative higher-order model.Robert Van Gulick - 2004 - In Rocco J. Gennaro (ed.), Higher-Order Theories of Consciousness: An Anthology. John Benjamins. pp. 67.
Theories of arithmetics in finite models.Michał Krynicki & Konrad Zdanowski - 2005 - Journal of Symbolic Logic 70 (1):1-28.
The Problem of Respecting Higher-Order Doubt.David J. Alexander - 2013 - Philosophers' Imprint 13.
The eliminability of higher order vagueness.Gerald Hull - manuscript
Properties and the Interpretation of Second-Order Logic.B. Hale - 2013 - Philosophia Mathematica 21 (2):133-156.
Why the vague need not be higher-order vague.Michael Tye - 1994 - Mind 103 (409):43-45.

Analytics

Added to PP
2013-12-01

Downloads
10 (#1,193,699)

6 months
1 (#1,471,470)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Interpretations of the alternative set theory.A. Sochor - 1993 - Archive for Mathematical Logic 32 (6):391-398.
Choices of Convenient Sets.Antonín Sochor - 1994 - Mathematical Logic Quarterly 40 (1):51-60.

Add more citations

References found in this work

Interpretations of the alternative set theory.A. Sochor - 1993 - Archive for Mathematical Logic 32 (6):391-398.

Add more references