More on Induction in the Language with a Satisfaction Class

&
Zeitshift für Mathematische Logik Und Grundlagen der Mathematik 36 (1):441--54 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19900360509

Other Versions

reprint Kotlarski, Henryk; Ratajczyk, Zygmunt (1990) "More on induction in the language with a satisfaction class". Mathematical Logic Quarterly 36(5):441-454

Links

PhilArchive



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

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 Note on Reducible Induction Schemata.H. E. Rose - 1965 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 11 (2):121-126.
Game approximations of satisfaction classes models.Roman Kossak & Henryk Kotlarski - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):21-26.
A Note on BΣn and an Intermediate Induction Schema.Zofia Adamowicz & Roman Kossak - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (3):261-264.

Analytics

Added to PP
2011-07-09

Downloads
25 (#892,185)

6 months
1 (#1,894,012)

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.
Truth and reduction.Volker Halbach - 2000 - Erkenntnis 53 (1-2):97-126.
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