Bounded Induction and Satisfaction Classes

Mathematical Logic Quarterly 32 (31-34):531-544 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19860323107

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

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

Full satisfaction classes: a survey.Henryk Kotlarski - 1991 - Notre Dame Journal of Formal Logic 32 (4):573-579.
More on induction in the language with a satisfaction class.Henryk Kotlarski & Zygmunt Ratajczyk - 1990 - Mathematical Logic Quarterly 36 (5):441-454.
Inductive Full Satisfaction Classes.Henryk Kotlarski & Zygmunt Ratajczyk - 1990 - Annals of Pure and Applied Logic 47 (1):199--223.
Independence results for variants of sharply bounded induction.Leszek Aleksander Kołodziejczyk - 2011 - Annals of Pure and Applied Logic 162 (12):981-990.
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.
A case for satisfaction classes: model theoretic vs axiomatic approaches to the notion of truth.Andrea Strollo - 2013 - Logical Investigations 19:246-259.
Game approximations of satisfaction classes models.Roman Kossak & Henryk Kotlarski - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):21-26.
Construction of Satisfaction Classes for Nonstandard Models.Henryk Kotlarski, Stanislav Krajewski & Alistair H. Lachlan - 1981 - Canadian Mathematical Bulletin 24 (1):283--93.
Intuitionistic formal theories with realizability in subrecursive classes.Anatoly Petrovich Beltiukov - 1997 - Annals of Pure and Applied Logic 89 (1):3-15.
First order properties on nowhere dense structures.Jaroslav Nešetřil & Patrice Ossona de Mendez - 2010 - Journal of Symbolic Logic 75 (3):868 - 887.
First order properties on nowhere dense structures.Nešetřil Jaroslav & Ossona De Mendez Patrice - 2010 - Journal of Symbolic Logic 75 (3):868-887.
The strength of sharply bounded induction.Emil Jeřábek - 2006 - Mathematical Logic Quarterly 52 (6):613-624.
Troubles with (the concept of) truth in mathematics.Roman Murawski - 2006 - Logic and Logical Philosophy 15 (4):285-303.
Index sets for Π01 classes.Douglas Cenzer & Jeffrey Remmel - 1998 - Annals of Pure and Applied Logic 93 (1-3):3-61.
Nonstandard definability.Stuart T. Smith - 1989 - Annals of Pure and Applied Logic 42 (1):21-43.

Analytics

Added to PP
2014-01-16

Downloads
37 (#420,900)

6 months
3 (#992,474)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Truth, disjunction, and induction.Ali Enayat & Fedor Pakhomov - 2019 - Archive for Mathematical Logic 58 (5-6):753-766.

View all 27 citations / Add more citations

References found in this work

Mathematical logic.Joseph R. Shoenfield - 1967 - Reading, Mass.,: Addison-Wesley.
The incompleteness theorems.Craig Smorynski - 1977 - In Jon Barwise (ed.), Handbook of Mathematical Logic. North-Holland. pp. 821 -- 865.
Mathematical Logic.J. Donald Monk - 2001 - Bulletin of Symbolic Logic 7 (3):376-376.

Add more references