Increasing sentences in Simple Type Theory

Annals of Pure and Applied Logic 168 (10):1902-1926 (2017)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2017.05.002

Other Versions

original Rouvelas, Panagiotis (2017) "Decreasing sentences in Simple Type Theory". Mathematical Logic Quarterly 63(5):342-363

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,219

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

Integrating classical and intuitionistic type theory.Robert C. Flagg - 1986 - Annals of Pure and Applied Logic 32:27-51.
A cubical model of homotopy type theory.Steve Awodey - 2018 - Annals of Pure and Applied Logic 169 (12):1270-1294.
Domain interpretations of martin-löf’s partial type theory.Erik Palmgren & Viggo Stoltenberg-Hansen - 1990 - Annals of Pure and Applied Logic 48 (2):135-196.
Model theory of special subvarieties and Schanuel-type conjectures.Boris Zilber - 2016 - Annals of Pure and Applied Logic 167 (10):1000-1028.
Craig interpolation for networks of sentences.H. Jerome Keisler & Jeffrey M. Keisler - 2012 - Annals of Pure and Applied Logic 163 (9):1322-1344.
On ∑1 and ∏1 sentences and degrees of interpretability.Per Lindström - 1993 - Annals of Pure and Applied Logic 61 (1):175-193.
Algorithms for sentences over integral domains.Shih Ping Tung - 1990 - Annals of Pure and Applied Logic 47 (2):189-197.
Simple theories.Byunghan Kim & Anand Pillay - 1997 - Annals of Pure and Applied Logic 88 (2-3):149-164.
On Guaspari's problem about partially conservative sentences.Taishi Kurahashi, Yuya Okawa, V. Yu Shavrukov & Albert Visser - 2022 - Annals of Pure and Applied Logic 173 (5):103087.
Henkin sentences and local reflection principles for Rosser provability.Taishi Kurahashi - 2016 - Annals of Pure and Applied Logic 167 (2):73-94.

Analytics

Added to PP
2017-05-31

Downloads
29 (#779,085)

6 months
6 (#873,397)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Model Theory: An Introduction.David Marker - 2003 - Bulletin of Symbolic Logic 9 (3):408-409.
On nfu.Marcel Crabbé - 1991 - Notre Dame Journal of Formal Logic 33 (1):112-119.
A Reduction of the NF Consistency Problem.Athanassios Tzouvaras - 2007 - Journal of Symbolic Logic 72 (1):285 - 304.
A generalization of Specker's theorem on typical ambiguity.Richard Kaye - 1991 - Journal of Symbolic Logic 56 (2):458-466.

View all 8 references / Add more references