A note on the variety of satisfaction classes

Archive for Mathematical Logic 30 (2):83-89 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf01634978

Other Versions

No versions found

Links

PhilArchive



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

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 the variety of satisfaction classes Roman Murawski Instytut Matematyki UAM, ul Matejki 48/49, PL-60-769 Poznan, Poland Received December 7, 1988/in revised form March 2, 1990. [REVIEW]Roman Murawski - 1991 - Archive for Mathematical Logic 30:83.
Roman Murawski, recursive functions and metamathematics.Rod Downey - 2002 - Studia Logica 70 (2):297-299.
A note on satisfaction classes.Roman Kossak - 1985 - Notre Dame Journal of Formal Logic 26 (1):1-8.
Iterations of satisfaction classes and models of peano arithmetic.Roman Murawski - 1992 - Mathematical Logic Quarterly 38 (1):59-84.
Bounded Induction and Satisfaction Classes.Henryk Kotlarski - 1986 - Mathematical Logic Quarterly 32 (31-34):531-544.
A logic of abstraction related to finite constructive number classes.Andrea Cantini - 1991 - Archive for Mathematical Logic 31 (1):69-83.
Synthetic components of infinite classes of postulates.Pavel Tichý - 1971 - Archive for Mathematical Logic 14 (3-4):167-178.
On the universal completeness of classes of relational systems.Hugo Ribeiro - 1961 - Archive for Mathematical Logic 5 (3-4):90-95.
Various remarks on quasi-universal model classes.Klaus Kaiser - 1975 - Archive for Mathematical Logic 17 (3-4):91-95.
Bounds on Scott rank for various nonelementary classes.David Marker - 1990 - Archive for Mathematical Logic 30 (2):73-82.

Analytics

Added to PP
2013-11-23

Downloads
25 (#889,014)

6 months
7 (#736,605)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

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.
Toward model theory through recursive saturation.John Stewart Schlipf - 1978 - Journal of Symbolic Logic 43 (2):183-206.
Inductive Full Satisfaction Classes.Henryk Kotlarski & Zygmunt Ratajczyk - 1990 - Annals of Pure and Applied Logic 47 (1):199--223.
A note on satisfaction classes.Roman Kossak - 1985 - Notre Dame Journal of Formal Logic 26 (1):1-8.
Bounded Induction and Satisfaction Classes.Henryk Kotlarski - 1986 - Mathematical Logic Quarterly 32 (31-34):531-544.

View all 7 references / Add more references