On Guaspari's problem about partially conservative sentences

Annals of Pure and Applied Logic 173 (5):103087 (2022)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,953

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Conservative translations.Iml D’Ottaviano & H. A. Feitosa - 2001 - Annals of Pure and Applied Logic 108:205-227.
Craig interpolation for networks of sentences.H. Jerome Keisler & Jeffrey M. Keisler - 2012 - Annals of Pure and Applied Logic 163 (9):1322-1344.
A partially non-proper ordinal beyond L.Vincenzo Dimonte - 2012 - Annals of Pure and Applied Logic 163 (9):1309-1321.
Priestley-type dualities for partially ordered structures.Olivia Caramello - 2016 - Annals of Pure and Applied Logic 167 (9):820-849.
Increasing sentences in Simple Type Theory.Panagiotis Rouvelas - 2017 - Annals of Pure and Applied Logic 168 (10):1902-1926.
Algorithms for sentences over integral domains.Shih Ping Tung - 1990 - Annals of Pure and Applied Logic 47 (2):189-197.
On ∑1 and ∏1 sentences and degrees of interpretability.Per Lindström - 1993 - Annals of Pure and Applied Logic 61 (1-2):175-193.

Analytics

Added to PP
2022-01-16

Downloads
22 (#731,954)

6 months
13 (#219,986)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

Aspects of Incompleteness.Per Lindström - 1999 - Studia Logica 63 (3):438-439.
On weak completeness of intuitionistic predicate logic.G. Kreisel - 1962 - Journal of Symbolic Logic 27 (2):139-158.
Self-Reference and Modal Logic.[author unknown] - 1987 - Studia Logica 46 (4):395-398.

View all 6 references / Add more references