Inductive Full Satisfaction Classes

Annals of Pure and Applied Logic 47 (1):199--223 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,127

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Inductive full satisfaction classes.H. Kotlarski - 1990 - Annals of Pure and Applied Logic 47 (3):199.
Pathologies in satisfaction classes.Athar Abdul-Quader & Mateusz Łełyk - 2024 - Annals of Pure and Applied Logic 175 (2):103387.
Nonstandard definability.Stuart T. Smith - 1989 - Annals of Pure and Applied Logic 42 (1):21-43.
Inductive rings and fields.S. Wang - 1989 - Annals of Pure and Applied Logic 44 (1/2):133.
Inductive rings and fields.Wang Shiqiang - 1989 - Annals of Pure and Applied Logic 44 (1-2):133-137.
Inductive inference and reverse mathematics.Rupert Hölzl, Sanjay Jain & Frank Stephan - 2016 - Annals of Pure and Applied Logic 167 (12):1242-1266.
Inductive theorem proving based on tree grammars.Sebastian Eberhard & Stefan Hetzl - 2015 - Annals of Pure and Applied Logic 166 (6):665-700.
Measuring complexities of classes of structures.Barbara F. Csima & Carolyn Knoll - 2015 - Annals of Pure and Applied Logic 166 (12):1365-1381.
Π10 classes and minimal degrees.Marcia J. Groszek & Theodore A. Slaman - 1997 - Annals of Pure and Applied Logic 87 (2):117-144.

Analytics

Added to PP
2011-07-09

Downloads
5 (#1,562,871)

6 months
23 (#125,194)

Historical graph of downloads
How can I increase my downloads?

References found in this work

The incompleteness theorems.Craig Smorynski - 1977 - In Jon Barwise (ed.), Handbook of mathematical logic. New York: North-Holland. pp. 821 -- 865.
Transfinite recursive progressions of axiomatic theories.Solomon Feferman - 1962 - Journal of Symbolic Logic 27 (3):259-316.
A note on satisfaction classes.Roman Kossak - 1985 - Notre Dame Journal of Formal Logic 26 (1):1-8.
Satisfaction Classes and Combinatorial Sentences Independent From PA.Z. Ratajczyk - 1982 - Mathematical Logic Quarterly 28 (8‐12):149-165.

View all 10 references / Add more references