- Introduction to logic.Patrick Suppes - 1957 - Mineola, N.Y.: Dover Publications.details
|
|
Models of Peano Arithmetic.Richard Kaye - 1991 - Clarendon Press.details
|
|
Set Theory: An Introduction to Independence Proofs.Kenneth Kunen - 1980 - North-Holland.details
|
|
Self-Reference and Modal Logic.[author unknown] - 1987 - Studia Logica 46 (4):395-398.details
|
|
The Logic of Provability.George Boolos - 1993 - Cambridge and New York: Cambridge University Press.details
|
|
The interpretability logic of peano arithmetic.Alessandro Berarducci - 1990 - Journal of Symbolic Logic 55 (3):1059-1089.details
|
|
An Overview of Interpretability Logic.Albert Visser - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 307-359.details
|
|
Interpretations With Parameters.L. W. Szczerba - 1980 - Mathematical Logic Quarterly 26 (1‐6):35-39.details
|
|
Interpretations With Parameters.L. W. Szczerba - 1980 - Mathematical Logic Quarterly 26 (1-6):35-39.details
|
|
Provability Interpretations of Modal Logic.Robert M. Solovay - 1981 - Journal of Symbolic Logic 46 (3):661-662.details
|
|
Reduction, representation and commensurability of theories.Peter Schroeder-Heister & Frank Schaefer - 1989 - Philosophy of Science 56 (1):130-157.details
|
|
Approaches to reduction.Kenneth F. Schaffner - 1967 - Philosophy of Science 34 (2):137-147.details
|
|
Cuts, consistency statements and interpretations.Pavel Pudlák - 1985 - Journal of Symbolic Logic 50 (2):423-441.details
|
|
On certain lattices of degrees of interpretability.Per Lindström - 1984 - Notre Dame Journal of Formal Logic 25 (2):127-140.details
|
|
Relative Interpretations.Steven Orey - 1961 - Mathematical Logic Quarterly 7 (7‐10):146-153.details
|
|
Relative Interpretations.Steven Orey - 1961 - Mathematical Logic Quarterly 7 (7-10):146-153.details
|
|
A lattice of interpretability types of theories.Jan Mycielski - 1977 - Journal of Symbolic Logic 42 (2):297-305.details
|
|
Theories Incomparable with Respect to Relative Interpretability.Richard Montague - 1971 - Journal of Symbolic Logic 36 (4):688-688.details
|
|
Reflection Principles and their Use for Establishing the Complexity of Axiomatic Systems.G. Kreisel & A. Lévy - 1968 - Mathematical Logic Quarterly 14 (7-12):97-142.details
|
|
A survey of proof theory.G. Kreisel - 1968 - Journal of Symbolic Logic 33 (3):321-388.details
|
|
Towards a General Theory of Reduction. Part I: Historical and Scientific Setting.C. A. Hooker - 1981 - Dialogue 20 (1):38-59.details
|
|
Physicalism: Ontology, determination and reduction.Geoffrey Paul Hellman & Frank Wilson Thompson - 1975 - Journal of Philosophy 72 (October):551-64.details
|
|
The adequacy condition as a definition of elementary interpretation.Adam Gajda - 1988 - Studia Logica 47 (1):57 - 69.details
|
|
A note on syntactical and semantical functions.Adam Gajda, Micha? Krynicki & Les?aw Szczerba - 1987 - Studia Logica 46 (2):177 - 185.details
|
|
Arithmetization of Metamathematics in a General Setting.Solomon Feferman - 1960 - Journal of Symbolic Logic 31 (2):269-270.details
|
|
1 — Consistency and faithful interpretations.S. Feferman, G. Kreisel & S. Orey - 1962 - Archive for Mathematical Logic 6 (1-2):52-63.details
|
|
Hilbert's program relativized: Proof-theoretical and foundational reductions.Solomon Feferman - 1988 - Journal of Symbolic Logic 53 (2):364-384.details
|
|
Replacing one theory by another under preservation of a given feature.Rolf A. Eberle - 1971 - Philosophy of Science 38 (4):486-501.details
|
|
On the proofs of arithmetical completeness for interpretability logic.Domenico Zambella - 1992 - Notre Dame Journal of Formal Logic 33 (4):542-551.details
|
|
Reduction in the Abstract Sciences.Daniel A. Bonevac - 1982 - Ridgeview Publishing Company.details
|
|
A Lattice of Chapters of Mathematics.Jan Mycielski, Pavel Pudlák, Alan S. Stern & American Mathematical Society - 1990 - American Mathematical Society.details
|
|
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.K. Gödel - 1931 - Monatshefte für Mathematik 38 (1):173--198.details
|
|
Undecidable Theories.Alfred Tarski, Andrzej Mostowski & Raphael M. Robinson - 1953 - Philosophy 30 (114):278-279.details
|
|
What rests on what? The proof-theoretic analysis of mathematics.Solomon Feferman - 1993 - In J. Czermak (ed.), Philosophy of Mathematics. Hölder-Pichler-Tempsky. pp. 1--147.details
|
|
An Overview of Interpretability Logic.Albert Visser - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 307-359.details
|
|
Metamathematics of First-Order Arithmetic.P. Hájek & P. Pudlák - 2000 - Studia Logica 64 (3):429-430.details
|
|
[Omnibus Review].Kenneth Kunen - 1969 - Journal of Symbolic Logic 34 (3):515-516.details
|
|
Axiomatic Foundations of Rigid Body Mechanics.Ernest Wilcox Adams - 1956 - Dissertation, Stanford Universitydetails
|
|
Aspects of Incompleteness.Per Lindström - 1999 - Studia Logica 63 (3):438-439.details
|
|