Some Theorems on the Lattice of Local Interpretability Types

Mathematical Logic Quarterly 31 (29-30):449-460 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19850312902

Links

PhilArchive



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

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

A lattice of interpretability types of theories.Jan Mycielski - 1977 - Journal of Symbolic Logic 42 (2):297-305.
Jan Krajíček and Pavel Pudlák. The number of proof lines and the size of proofs in first order logic. Archive for mathematical logic, vol. 27 , pp. 69–84. [REVIEW]William M. Farmer - 1989 - Journal of Symbolic Logic 54 (3):1107-1108.
On the Maximality of Some Conormal Extensions of a Lattice.Mai Gehrke & Klaus Kaiser - 1987 - Mathematical Logic Quarterly 33 (1):13-18.
Some Quotient Lattices of the Medvedev Lattice.Andrea Sorbi - 1991 - Mathematical Logic Quarterly 37 (9‐12):167-182.
Review: Jan Krajicek, Bounded Arithmetic, Propositional Logic, and Complexity Theory. [REVIEW]P. Clote - 1999 - Journal of Symbolic Logic 64 (3):1357-1362.
Boolean Algebras and Distributive Lattices Treated Constructively.John L. Bell - 1999 - Mathematical Logic Quarterly 45 (1):135-143.
On some Theorems Equivalent with the Axiom of Choice.Bernhard Banaschewski - 1961 - Mathematical Logic Quarterly 7 (17‐18):279-282.
Jankov‐theorems for some implicational calculi.Biswambhar Pahi - 1975 - Mathematical Logic Quarterly 21 (1):193-198.
Jan Krajíček. Forcing with random variables and proof complexity. London Mathematical Society Lecture Note Series, vol. 232. Cambridge University Press, 2011, xvi + 247 pp. [REVIEW]Sam Buss - 2012 - Bulletin of Symbolic Logic 18 (4):576-578.
On some Theorems Equivalent with the Axiom of Choice.Bernhard Banaschewski - 1961 - Mathematical Logic Quarterly 7 (17-18):279-282.

Analytics

Added to PP
2014-01-16

Downloads
12 (#317,170)

6 months
1 (#1,912,481)

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.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
Undecidable theories.Alfred Tarski - 1968 - Amsterdam,: North-Holland Pub. Co.. Edited by Andrzej Mostowski & Raphael M. Robinson.
Model Theory.Gebhard Fuhrken - 1976 - Journal of Symbolic Logic 41 (3):697-699.

View all 8 references / Add more references