Info
Meny
English
Logg inn
Søk etter prosjekter, resultater og personer
Søk etter prosjekter, resultater og personer
Historikk
Cristin-resultat-ID:
1508712
Sist endret:
9. desember 2017, 11:05
NVI-rapporteringsår:
2017
Resultat
Vitenskapelig artikkel
2017
The strength of countable saturation
Benno van den Berg
Eyvind Martol Briseid
og
Pavol Safarik
Tidsskrift
Tidsskrift
Archive for Mathematical Logic
ISSN 0933-5846
e-ISSN 1432-0665
NVI-nivå 1
Finn i kanalregisteret
Om resultatet
Om resultatet
Vitenskapelig artikkel
Publiseringsår: 2017
Publisert online: 2017
Trykket: 2017
Volum: 56
Hefte: 5-6
Sider: 699 - 711
Lenker
Lenker
original online (doi)
https://doi.org/10.1007/s00153-017-0567-2
Importkilder
Importkilder
Scopus-ID: 2-s2.0-85021179633
Beskrivelse
Beskrivelse
Engelsk
Tittel
The strength of countable saturation
Sammendrag
In earlier work we introduced two systems for nonstandard analysis, one based on classical and one based on intuitionistic logic; these systems were conservative extensions of first-order Peano and Heyting arithmetic, respectively. In this paper we study how adding the principle of countable saturation to these systems affects their proof-theoretic strength. We will show that adding countable saturation to our intuitionistic system does not increase its proof-theoretic strength, while adding it to the classical system increases the strength from first- to full second-order arithmetic.
Vis
fullstendig beskrivelse
Bidragsytere
Bidragsytere
Benno van den Berg
Forfatter
ved Universiteit van Amsterdam
Eyvind Martol Briseid
Forfatter
ved Institutt for grunnskole- og faglærerutdanning ved OsloMet - storbyuniversitetet
Pavol Safarik
Forfatter
ved Technische Universität Darmstadt
1
-
3
av
3