The nonaxiomatizability of $L(Q^2{\aleph1})$ by finitely many schemata

&
Notre Dame Journal of Formal Logic 31 (1):1-13 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

1990

DOI

10.1305/ndjfl/1093635328

Links

PhilArchive



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

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

On the nonaxiomatizability of some logics by finitely many schemas.Saharon Shelah & Charles Steinhorn - 1986 - Notre Dame Journal of Formal Logic 27 (1):1-11.
On embedding models of arithmetic of cardinality aleph_1 into reduced powers.Juliette Kennedy & Saharon Shelah - 2003 - Fundamenta Mathematicae 176 (1).
Uri Abraham, Matatyahu Rubin, and Saharon Shelah. On the consistency of some partition theorems for continuous colorings, and the structure of ℵ 1 -dense real order types. Annals of pure and applied logic, vol. 29 (1985), pp. 123–206. [REVIEW]J. Steprāns - 2002 - Bulletin of Symbolic Logic 8 (2):303-305.
A note on the interpretability logic of finitely axiomatized theories.Maarten Rijke - 1991 - Studia Logica 50 (2):241 - 250.
On regular reduced products.Juliette Kennedy & Saharon Shelah - 2002 - Journal of Symbolic Logic 67 (3):1169-1177.
On the elementary equivalence of automorphism groups of Boolean algebras; downward Skolem löwenheim theorems and compactness of related quantifiers.Matatyahu Rubin & Saharon Shelah - 1980 - Journal of Symbolic Logic 45 (2):265-283.
The model theory of finitely generated finite-by-Abelian groups.Francis Oger - 1984 - Journal of Symbolic Logic 49 (4):1115-1124.
Finite Basis Problem for Semigroups of Order Five or Less: Generalization and Revisitation.Edmond W. H. Lee - 2013 - Studia Logica 101 (1):95-115.
Forcing with stable posets.Uri Avraham & Saharon Shelah - 1982 - Journal of Symbolic Logic 47 (1):37-42.
Nonaxiomatizability results for infinitary systems.Carol Karp - 1967 - Journal of Symbolic Logic 32 (3):367-384.
Kantian schemata and the unity of perception.Jay F. Rosenberg - 1997 - In Language and Thought. Hawthorne: De Gruyter.
Characterizing equivalential and algebraizable logics by the Leibniz operator.Burghard Herrmann - 1997 - Studia Logica 58 (2):305-323.
On the expressibility hierarchy of Magidor-Malitz quantifiers.Matatyahu Rubin & Saharon Shelah - 1983 - Journal of Symbolic Logic 48 (3):542-557.
The existence of finitely based lower covers for finitely based equational theories.Jaroslav Ježek & George F. McNulty - 1995 - Journal of Symbolic Logic 60 (4):1242-1250.
A non-finitely based quasi-variety of de Morgan algebras.Hernando Gaitán & Milton H. Perea - 2004 - Studia Logica 78 (1-2):237 - 248.

Analytics

Added to PP
2010-08-24

Downloads
10 (#1,168,820)

6 months
3 (#1,002,413)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

There are reasonably nice logics.Wilfrid Hodges & Saharon Shelah - 1991 - Journal of Symbolic Logic 56 (1):300-322.

Add more citations

References found in this work

No references found.

Add more references