Axiomatizability by a schema

Journal of Symbolic Logic 32 (4):473-479 (1967)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

1968

DOI

10.2307/2270175

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,098

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

Review: S. C. Kleene, Finite Axiomatizability of Theories in the Predicate Calculus Using Additional Predicate Symbols; W. Craig, R. L. Vaught, Finite Axiomatizability Using Additional Predicates. [REVIEW]Mihaly Makkai - 1971 - Journal of Symbolic Logic 36 (2):334-335.
Review: Robert L. Vaught, Remarks on Universal Classes of Relational Systems. [REVIEW]Dana Scott - 1959 - Journal of Symbolic Logic 24 (1):58-59.
Review: Alfred Tarski, Robert L. Vaught, Arithmetical Extensions of Relational Systems. [REVIEW]Abraham Robinson - 1967 - Journal of Symbolic Logic 32 (1):131-131.
S. C. Kleene. Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. A revised reprint of XIX 62. Two papers on the predicate calculus, by S. C. Kleene, Memoirs of the American Mathematical Society, no. 10, lithographed, Providence 1967, pp. 27–66. - W. Craig and R. L. Vaught. Finite axiomatizability using additional predicates. The journal of symbolic logic, vol. 23 no. 3 , pp. 289–308. [REVIEW]Mihály Makkai - 1971 - Journal of Symbolic Logic 36 (2):334-335.
Review: Robert L. Vaught, Ernest Nagel, Patrick Suppes, Alfred Tarski, On a Theorem of Cobham Concerning Undecidable Theories. [REVIEW]Verena H. Dyson - 1969 - Journal of Symbolic Logic 34 (1):126-127.
Alfred Tarski and Robert L. Vaught. Arithmetical extensions of relational systems. Compositio mathematica, vol. 13 no. 2 , pp. 81–102. [REVIEW]Abraham Robinson - 1967 - Journal of Symbolic Logic 32 (1):131.
Review: Robert Vaught, A. R. D. Mathias, H. Rogers, Descriptive Set Theory in $L{omega1omega}$; Robert Vaught, Invariant Sets in Topology and Logic. [REVIEW]John P. Burgess - 1982 - Journal of Symbolic Logic 47 (1):217-218.
Review: Michael Morley, Robert Vaught, Homogeneous Universal Models. [REVIEW]Thomas Frayne - 1967 - Journal of Symbolic Logic 32 (4):535-535.
Review: A. Tarski, R. L. Vaught, Elementary (Arithmetical) Extensions. [REVIEW]Abraham Robinson - 1967 - Journal of Symbolic Logic 32 (1):131-131.
Review: R. L. Vaught, Models of Complete Theories. [REVIEW]H. Jerome Keisler - 1970 - Journal of Symbolic Logic 35 (2):344-344.

Analytics

Added to PP
2009-01-28

Downloads
33 (#500,331)

6 months
2 (#1,259,626)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Schemata: The concept of schema in the history of logic.John Corcoran - 2006 - Bulletin of Symbolic Logic 12 (2):219-240.
A Note on Typed Truth and Consistency Assertions.Carlo Nicolai - 2016 - Journal of Philosophical Logic 45 (1):89-119.
Pairs, sets and sequences in first-order theories.Albert Visser - 2008 - Archive for Mathematical Logic 47 (4):299-326.
Cardinal arithmetic in the style of Baron Von münchhausen.Albert Visser - 2009 - Review of Symbolic Logic 2 (3):570-589.

View all 17 citations / Add more citations

References found in this work

Review: Alfred Tarski, Undecidable Theories. [REVIEW]Martin Davis - 1959 - Journal of Symbolic Logic 24 (2):167-169.

Add more references