The Nonαxiomαtizαbility of 1.(0^) 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,349

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

The nonaxiomatizability of $L(Q^2{\aleph1})$ by finitely many schemata.Saharon Shelah & Charles Steinhorn - 1989 - Notre Dame Journal of Formal Logic 31 (1):1-13.
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.
A Finitely Axiomatized Formalization of Predicate Calculus with Equality.Norman D. Megill - 1995 - Notre Dame Journal of Formal Logic 36 (3):435-453.
Acerca de la relación entre los dos tipos de esquemas de las ideas de la razón en la Crítica de la razón pura de Kant.Martín Arias-Albisu - 2012 - Areté. Revista de Filosofía 24 (1):7-24.
A note on the interpretability logic of finitely axiomatized theories.Maarten Rijke - 1991 - Studia Logica 50 (2):241 - 250.
Upper bounds on complexity of Frege proofs with limited use of certain schemata.Pavel Naumov - 2006 - Archive for Mathematical Logic 45 (4):431-446.
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.
Kantian schemata and the unity of perception.Jay F. Rosenberg - 1997 - In Language and Thought. Hawthorne: De Gruyter.
Finitely axiomatizable strongly minimal groups.Thomas Blossier & Elisabeth Bouscaren - 2010 - Journal of Symbolic Logic 75 (1):25-50.
Covering the Baire space by families which are not finitely dominating.Heike Mildenberger, Saharon Shelah & Boaz Tsaban - 2006 - Annals of Pure and Applied Logic 140 (1):60-71.
Characterizing equivalential and algebraizable logics by the Leibniz operator.Burghard Herrmann - 1997 - Studia Logica 58 (2):305-323.
Cognitive schemata.Matti Kamppinen - 1993 - In Consciousness, Cognitive Schemata, and Relativism. Kluwer Academic Publishers. pp. 133--168.
Finitely additive states and completeness of inner product spaces.Anatolij Dvurečenskij, Tibor Neubrunn & Sylvia Pulmannová - 1990 - Foundations of Physics 20 (9):1091-1102.
Axiomatization of semigroup consequences.Wolfgang Rautenberg - 1989 - Archive for Mathematical Logic 29 (2):111-123.

Analytics

Added to PP
2014-04-07

Downloads
11 (#1,110,001)

6 months
1 (#1,510,037)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references