More on induction in the language with a satisfaction class

&
Mathematical Logic Quarterly 36 (5):441-454 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19900360509

Other Versions

original Kotlarski, Henryk; Ratajczyk, Zygmunt (1990) "More on Induction in the Language with a Satisfaction Class". Zeitshift für Mathematische Logik Und Grundlagen der Mathematik 36(1):441--54

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 104,026

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

More on Induction in the Language with a Satisfaction Class.Henryk Kotlarski & Zygmunt Ratajczyk - 1990 - Zeitshift für Mathematische Logik Und Grundlagen der Mathematik 36 (1):441--54.
Bounded Induction and Satisfaction Classes.Henryk Kotlarski - 1986 - Mathematical Logic Quarterly 32 (31-34):531-544.
The Contribution of Zygmunt Ratajczyk to the Foundations of Arithmetic.Roman Murawski - 1995 - Notre Dame Journal of Formal Logic 36 (4):502-504.
Editor's Introduction.Peter Clote - 1995 - Notre Dame Journal of Formal Logic 36 (4):499-501.
Subsystems of true arithmetic and hierarchies of functions.Z. Ratajczyk - 1993 - Annals of Pure and Applied Logic 64 (2):95-152.
Troubles with (the concept of) truth in mathematics.Roman Murawski - 2006 - Logic and Logical Philosophy 15 (4):285-303.
A note on a theorem of Kanovei.Roman Kossak - 2004 - Archive for Mathematical Logic 43 (4):565-569.
Mathematical induction in ramified type theory.James R. Royse - 1969 - Mathematical Logic Quarterly 15 (1‐3):7-10.
Philosophical foundations of logic.Karl Damian Schick - 2004 - Amherst, Mass.: Alden Press.
Transfinite Induction on Ordinal Configurations.Luiz Paulo de Alcantara & Walter Alexandre Carnielli - 1981 - Mathematical Logic Quarterly 27 (31-35):531-538.

Analytics

Added to PP
2016-02-04

Downloads
67 (#337,746)

6 months
4 (#978,461)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Axiomatic theories of truth.Volker Halbach - 2008 - Stanford Encyclopedia of Philosophy.
A guide to truth predicates in the modern era.Michael Sheard - 1994 - Journal of Symbolic Logic 59 (3):1032-1054.
The incompleteness theorems after 70 years.Henryk Kotlarski - 2004 - Annals of Pure and Applied Logic 126 (1-3):125-138.

View all 12 citations / Add more citations

References found in this work

Proof theory.K. Schütte - 1977 - New York: Springer Verlag.

Add more references