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

    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: 105,626

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
33 (#762,004)

6 months
11 (#332,704)

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, 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.
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.
Definable sets and expansions of models of Peano arithmetic.Roman Murawski - 1988 - Archive for Mathematical Logic 27 (1):21-33.

View all 7 references / Add more references