The Nonαxiomαtizαbility of 1.(0^) by Finitely Many Schemata
Notre Dame Journal of Formal Logic 31 (1):1-13 (1989)
Abstract
This article has no associated abstract. (fix it)Reprint years
1990
DOI
10.1305/ndjfl/1093635328
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
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
10 (#889,494)
6 months
1 (#448,551)
2014-04-07
Downloads
10 (#889,494)
6 months
1 (#448,551)
Historical graph of downloads
