Intermediate Logics and the de Jongh property

Archive for Mathematical Logic 50 (1-2):197-213 (2011)

Abstract

This article has no associated abstract. (fix it)

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,743

External links

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

Through your library

Analytics

Added to PP
2017-02-22

Downloads
7 (#1,075,902)

6 months
1 (#387,390)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

References found in this work

No references found.

Add more references

Citations of this work

The Σ 1 -Provability Logic of HA.Mohammad Ardeshir & Mojtaba Mojtahedi - 2018 - Annals of Pure and Applied Logic 169 (10):997-1043.
The de Jongh Property for Basic Arithmetic.Mohammad Ardeshir & S. Mojtaba Mojtahedi - 2014 - Archive for Mathematical Logic 53 (7-8):881-895.
Logics of Intuitionistic Kripke-Platek Set Theory.Rosalie Iemhoff & Robert Passmann - 2021 - Annals of Pure and Applied Logic 172 (10):103014.

Add more citations

Similar books and articles

Intermediate Logics and the de Jongh Property.Dick de Jongh, Rineke Verbrugge & Albert Visser - 2011 - Archive for Mathematical Logic 50 (1-2):197-213.
Partial Algebras for Łukasiewicz Logics and its Extensions.Thomas Vetterlein - 2005 - Archive for Mathematical Logic 44 (7):913-933.
On Constants and the Strict Order Property.Predrag Tanović - 2006 - Archive for Mathematical Logic 45 (4):423-430.
Provability in Predicate Product Logic.Michael C. Laskowski & Shirin Malekpour - 2007 - Archive for Mathematical Logic 46 (5-6):365-378.
Resplendent Models and $${\sigma_1^1}$$ -Definability with an Oracle.Andrey Bovykin - 2008 - Archive for Mathematical Logic 47 (6):607-623.
Free Łukasiewicz Implication Algebras.José Díaz Varela - 2008 - Archive for Mathematical Logic 47 (1):25-33.
The Problem of the Formalization of Constructive Topology.Silvio Valentini - 2005 - Archive for Mathematical Logic 44 (1):115-129.
Definability of Second Order Generalized Quantifiers.Juha Kontinen - 2010 - Archive for Mathematical Logic 49 (3):379-398.
RamseyÔÇÖs Theorem and K├ ÂnigÔÇÖs Lemma.T. E. Forster & J. K. Truss - 2007 - Archive for Mathematical Logic 46 (1):37.
An Ordinal Analysis of Parameter Free Π1 2-Comprehension.Michael Rathjen - 2005 - Archive for Mathematical Logic 44 (3):263-362.
An Ordinal Analysis of Stability.Michael Rathjen - 2005 - Archive for Mathematical Logic 44 (1):1-62.
Preface.Douglas Cenzer & Rebecca Weber - 2008 - Archive for Mathematical Logic 46 (7-8):529-531.