Applications of Many‐Sorted Robinson Consistency Theorem

Mathematical Logic Quarterly 27 (11‐12):181-188 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19810271103

Links

PhilArchive



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

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

Harmonious logic: Craig’s interpolation theorem and its descendants.Solomon Feferman - 2008 - Synthese 164 (3):341 - 357.
Coinductive formulas and a many-sorted interpolation theorem.Ursula Gropp - 1988 - Journal of Symbolic Logic 53 (3):937-960.
The road to two theorems of logic.William Craig - 2008 - Synthese 164 (3):333 - 339.
An algebraic result about soft model theoretical equivalence relations with an application to H. Friedman's fourth problem.Daniele Mundici - 1981 - Journal of Symbolic Logic 46 (3):523-530.
The consistency of arithmetic.Storrs McCall - manuscript
The Consistency of Probabilistic Regresses: Some Implications for Epistemological Infinitism. [REVIEW]Frederik Herzberg - 2013 - Erkenntnis 78 (2):371-382.
Geometry of Robinson consistency in Łukasiewicz logic.Manuela Busaniche & Daniele Mundici - 2007 - Annals of Pure and Applied Logic 147 (1):1-22.
An extended joint consistency theorem for a nonconstructive logic of partial terms with definite descriptions.Raymond D. Gumb - 2001 - Studia Logica 69 (2):279-292.
The Second Incompleteness Theorem and Bounded Interpretations.Albert Visser - 2012 - Studia Logica 100 (1-2):399-418.
Herbrand consistency of some arithmetical theories.Saeed Salehi - 2012 - Journal of Symbolic Logic 77 (3):807-827.
On the available partial respects in which an axiomatization for real valued arithmetic can recognize its consistency.Dan E. Willard - 2006 - Journal of Symbolic Logic 71 (4):1189-1199.
0-D-Valued Fields.Nicolas Guzy - 2006 - Journal of Symbolic Logic 71 (2):639 - 660.

Analytics

Added to PP
2013-11-24

Downloads
24 (#660,055)

6 months
4 (#797,974)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Compactness, interpolation and Friedman's third problem.Daniele Mundici - 1982 - Annals of Mathematical Logic 22 (2):197.

Add more citations

References found in this work

Mathematical logic.J. Donald Monk - 1976 - New York: Springer Verlag.
One hundred and two problems in mathematical logic.Harvey Friedman - 1975 - Journal of Symbolic Logic 40 (2):113-129.
Axioms for abstract model theory.K. Jon Barwise - 1974 - Annals of Mathematical Logic 7 (2-3):221-265.
Stationary logic.Jon Barwise - 1978 - Annals of Mathematical Logic 13 (2):171.
Axioms for abstract model theory.K. J. Barwise - 1974 - Annals of Mathematical Logic 7 (2-3):221-265.

View all 8 references / Add more references