A lattice of interpretability types of theories

Journal of Symbolic Logic 42 (2):297-305 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272134

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,590

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

Review: H. Jerome Keisler, Unions of Relational Systems; Jan Mycielski, On Unions of Denumerable Models. [REVIEW]Martin Helling - 1968 - Journal of Symbolic Logic 33 (2):287-287.
Mycielski Jan and Steinhaus H.. A mathematical axiom contradicting the axiom of choice. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 10 , pp. 1–3.Mycielski Jan. On the axiom of determinateness. Fundamenta mathematicae, vol. 53 , pp. 205–224.Mycielski Jan and Świerczkowski S.. On the Lebesgue measurability and the axiom of determinateness. Fundamenta mathematicae, vol. 54 , pp. 67–71.Mycielski Jan. On the axiom of determinateness . Fundamenta mathematicae, vol. 59 , pp. 203–212. [REVIEW]James E. Baumgartner - 1971 - Journal of Symbolic Logic 36 (1):164-166.
Some Theorems on the Lattice of Local Interpretability Types.Jan Krajíček - 1985 - Mathematical Logic Quarterly 31 (29-30):449-460.
The Poset of All Logics I: Interpretations and Lattice Structure.R. Jansana & T. Moraschini - 2021 - Journal of Symbolic Logic 86 (3):935-964.
Theories Incomparable with Respect to Relative Interpretability.Richard Montague - 1971 - Journal of Symbolic Logic 36 (4):688-688.
Theories incomparable with respect to relative interpretability.Richard Montague - 1962 - Journal of Symbolic Logic 27 (2):195-211.
Richard Montague. Theories incomparable with respect to relative interpretability. The journal of symbolic logic, vol. 27 no. 2 , pp. 195–211.S. Feferman - 1971 - Journal of Symbolic Logic 36 (4):688.
Review: Richard Montague, Theories Incomparable with Respect to Relative Interpretability. [REVIEW]S. Feferman - 1971 - Journal of Symbolic Logic 36 (4):688-688.
Jerome Keisler H.. Unions of relational systems. Proceedings of the American Mathematical Society, vol. 15 , pp. 540–545.Mycielski Jan. On unions of denumerable models. Algébra i logika. Séminar, vol. 4 no 2 , pp. 57–58. [REVIEW]Martin Helling - 1968 - Journal of Symbolic Logic 33 (2):287-287.
Effectively inseparable Boolean algebras in lattices of sentences.V. Yu Shavrukov - 2010 - Archive for Mathematical Logic 49 (1):69-89.

Analytics

Added to PP
2009-01-28

Downloads
45 (#107,894)

6 months
14 (#987,135)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Varieties of truth definitions.Piotr Gruza & Mateusz Łełyk - forthcoming - Archive for Mathematical Logic:1-27.
Interpretations With Parameters.L. W. Szczerba - 1980 - Mathematical Logic Quarterly 26 (1-6):35-39.

View all 6 citations / Add more citations

References found in this work

Relative Interpretations.Steven Orey - 1961 - Mathematical Logic Quarterly 7 (7‐10):146-153.
Relative Interpretations.Steven Orey - 1961 - Mathematical Logic Quarterly 7 (7-10):146-153.
Distributive Lattices.Raymond Balbes & Philip Dwinger - 1977 - Journal of Symbolic Logic 42 (4):587-588.

Add more references