Axiomatizable theories with few axiomatizable extensions

&
Journal of Symbolic Logic 35 (2):205-209 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270510

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,748

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

Finitely axiomatizable ℵ1 categorical theories.Ehud Hrushovski - 1994 - Journal of Symbolic Logic 59 (3):838 - 844.
Review: A. D. Tajmanov, Characterization of Axiomatizable Classes of Models. II. [REVIEW]Andrzej Mostowski - 1973 - Journal of Symbolic Logic 38 (1):165-165.
On the Herbrand Notion of Consistency for Finitely Axiomatizable Fragments of Bounded Arithmetic Theories.Leszek Aleksander Kołodziejczyk - 2006 - Journal of Symbolic Logic 71 (2):624 - 638.
Non Σn axiomatizable almost strongly minimal theories.David Marker - 1989 - Journal of Symbolic Logic 54 (3):921 - 927.
Gisela Ahlbrandt and Martin Ziegler. Quasi finitely axiomatizable totally categorical theories. Annals of pure and applied logic, vol. 30 , pp. 63–82. - Ehud Hrushovski. Totally categorical structures. Transactions of the American Mathematical Society, vol. 313 , pp. 131–159. [REVIEW]B. Zil'ber - 1993 - Journal of Symbolic Logic 58 (2):713-714.
All Normal Extensions of S5-squared Are Finitely Axiomatizable.Nick Bezhanishvili & Ian Hodkinson - 2004 - Studia Logica 78 (3):443-457.
The metatheory of the classical propositional calculus is not axiomatizable.Ian Mason - 1985 - Journal of Symbolic Logic 50 (2):451-457.
Characterization of Axiomatizable Classes of Models. I.A. D. Tajmanov - 1973 - Journal of Symbolic Logic 38 (1):164-165.
The Superintuitionistic Predicate Logic of Finite Kripke Frames Is Not Recursively Axiomatizable.Dmitrij Skvortsov - 2005 - Journal of Symbolic Logic 70 (2):451 - 459.
Properties of independently axiomatizable bimodal logics.Marcus Kracht & Frank Wolter - 1991 - Journal of Symbolic Logic 56 (4):1469-1485.

Analytics

Added to PP
2009-01-28

Downloads
57 (#404,718)

6 months
12 (#265,965)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Mass problems and randomness.Stephen G. Simpson - 2005 - Bulletin of Symbolic Logic 11 (1):1-27.
Countable thin Π01 classes.Douglas Cenzer, Rodney Downey, Carl Jockusch & Richard A. Shore - 1993 - Annals of Pure and Applied Logic 59 (2):79-139.
Maximal theories.R. G. Downey - 1987 - Annals of Pure and Applied Logic 33 (C):245-282.
Index sets for Π01 classes.Douglas Cenzer & Jeffrey Remmel - 1998 - Annals of Pure and Applied Logic 93 (1):3-61.

View all 10 citations / Add more citations

References found in this work

No references found.

Add more references