A note on some extension results

&
Studia Logica 49 (4):591 - 600 (1990)
  Copy   BIBTEX

Abstract

In this note, a fully modal proof is given of some conservation results proved in a previous paper by arithmetic means. The proof is based on the extendability of Kripke models.

Categories

Keywords

Reprint years

DOI

10.1007/bf00370168

Links

PhilArchive



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

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

Conservation.Harvey Friedman - manuscript
Blunt and topless end extensions of models of set theory.Matt Kaufmann - 1983 - Journal of Symbolic Logic 48 (4):1053-1073.
A note on Chichilnisky's social choice paradox.Luc Lauwers - 2002 - Theory and Decision 52 (3):261-266.
On certain types and models for arithmetic.Andreas Blass - 1974 - Journal of Symbolic Logic 39 (1):151-162.
A note on the ω-incompleteness formalization.Sergio Galvan - 1994 - Studia Logica 53 (3):389 - 396.
Incompleteness results in Kripke semantics.Silvio Ghilardi - 1991 - Journal of Symbolic Logic 56 (2):517-538.
A metacompleteness theorem for contraction-free relevant logics.John K. Slaney - 1984 - Studia Logica 43 (1-2):159 - 168.
Proof theory in philosophy of mathematics.Andrew Arana - 2010 - Philosophy Compass 5 (4):336-347.
A1 is not a conservative extension of s4 but of S.Michiro Kondo - 1989 - Journal of Philosophical Logic 18 (3):321 - 323.

Analytics

Added to PP
2009-01-28

Downloads
14 (#961,492)

6 months
4 (#818,853)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Giovanni Sommaruga
Université de Fribourg

Citations of this work

No citations found.

Add more citations

References found in this work

Self-Reference and Modal Logic.George Boolos & C. Smorynski - 1988 - Journal of Symbolic Logic 53 (1):306.
Self-Reference and Modal Logic.[author unknown] - 1987 - Studia Logica 46 (4):395-398.
Rosser sentences.D. Guaspari - 1979 - Annals of Mathematical Logic 16 (1):81.

View all 7 references / Add more references