Cristin-resultat-ID: 1508712
Sist endret: 9. desember 2017, 11:05
NVI-rapporteringsår: 2017
Resultat
Vitenskapelig artikkel
2017

The strength of countable saturation

Bidragsytere:
  • Benno van den Berg
  • Eyvind Martol Briseid og
  • Pavol Safarik

Tidsskrift

Archive for Mathematical Logic
ISSN 0933-5846
e-ISSN 1432-0665
NVI-nivå 1

Om resultatet

Vitenskapelig artikkel
Publiseringsår: 2017
Publisert online: 2017
Trykket: 2017
Volum: 56
Hefte: 5-6
Sider: 699 - 711

Importkilder

Scopus-ID: 2-s2.0-85021179633

Beskrivelse Beskrivelse

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.

Bidragsytere

Benno van den Berg

  • Tilknyttet:
    Forfatter
    ved Universiteit van Amsterdam

Eyvind Martol Briseid

  • Tilknyttet:
    Forfatter
    ved Institutt for grunnskole- og faglærerutdanning ved OsloMet - storbyuniversitetet

Pavol Safarik

  • Tilknyttet:
    Forfatter
    ved Technische Universität Darmstadt
1 - 3 av 3