Interpretability in reflexive theories - a survey

Theoria 63 (3):182-209 (1997)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

2008

DOI

10.1111/j.1755-2567.1997.tb00747.x

Other Versions

No versions found

Links

PhilArchive



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

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

In memoriam: Per Lindström.Jouko Väänänen & Dag Westerståhl - 2010 - Theoria 76 (2):100-107.
Per Lindström. On model-completeness. Theoria , vol. 30 , pp. 183–196.J. Malitz - 1970 - Journal of Symbolic Logic 35 (4):587.
Per Lindström. On extensions of elementary logic. Theoria , vol. 35 , pp. 1–11.Leslie H. Tharp - 1974 - Journal of Symbolic Logic 39 (1):183.
Per Lindström. On relations between structures. Theoria , vol. 32 , pp. 172–185.G. Fuhrken - 1969 - Journal of Symbolic Logic 34 (3):515.
Per Lindström. First order predicate logic with generalized quantifiers. Theoria, vol. 32 (1966), pp. 186–195.G. Fuhrken - 1970 - Journal of Symbolic Logic 34 (4):650-650.
My route to arithmetization.Solomon Feferman - 1997 - Theoria 63 (3):168-181.
Logic and Abstraction: Essays Dedicated to Per Lindström on His Fiftieth Birthday.Mats Furberg, Thomas Wetterström & Claes Åberg (eds.) - 1986 - Göteborg, Sweden and Atlantic Highlands, NJ: Acta Universitatis Gothoburgensis.
Sten Lindström in memoriam.Wlodek Rabinowicz - 2022 - Theoria 88 (3):487-490.
Complexity of the interpretability logics ILW and ILP.Luka Mikec - 2023 - Logic Journal of the IGPL 31 (1):194-213.
Jouko Väänänen, A hierarchy theorem for Lindstrom quantifiers, Logic and abstraction, Essays dedicated to Per Lindström on his fiftieth birthday, edited by Mats Furberg, Thomas Wetterström, and Claes Åberg, Acta philosophica Gothoburgensia, no. 1, Acta Universitatis Gothobargensis, Göteborg1986, pp. 317–323. [REVIEW]Juha Oikkonen - 1989 - Journal of Symbolic Logic 54 (2):631-631.

Analytics

Added to PP
2010-09-13

Downloads
46 (#480,288)

6 months
5 (#1,038,502)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A history of theoria.Sven Ove Hansson - 2009 - Theoria 75 (1):2-27.

Add more citations

References found in this work

The Logic of Provability.George Boolos - 1993 - Cambridge and New York: Cambridge University Press.
Undecidable theories.Alfred Tarski - 1968 - Amsterdam,: North-Holland Pub. Co.. Edited by Andrzej Mostowski & Raphael M. Robinson.
The incompleteness theorems.Craig Smorynski - 1977 - In Jon Barwise (ed.), Handbook of mathematical logic. New York: North-Holland. pp. 821 -- 865.
Arithmetization of Metamathematics in a General Setting.Solomon Feferman - 1960 - Journal of Symbolic Logic 31 (2):269-270.

View all 21 references / Add more references