Finite axiomatizability using additional predicates

&
Journal of Symbolic Logic 23 (3):289-308 (1958)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964289

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,174

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.
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.
Finite Axiomatizability of Theories in the Predicate Calculus Using Additional Predicate Symbols.S. C. Kleene, W. Craig & R. L. Vaught - 1971 - Journal of Symbolic Logic 36 (2):334-335.
Review: R. Montague, R. L. Vaught, Natural Models of Set Theories. [REVIEW]Elliott Mendelson - 1960 - Journal of Symbolic Logic 25 (2):177-177.
Review: R. Montague, R. L. Vaught, A Note on Theories with Selectors. [REVIEW]Elliott Mendelson - 1960 - Journal of Symbolic Logic 25 (2):177-178.
Review: R. L. Vaught, Models of Complete Theories. [REVIEW]H. Jerome Keisler - 1970 - Journal of Symbolic Logic 35 (2):344-344.
Review: R. L. Vaught, Elementary Classes Closed under Descending Intersection. [REVIEW]Abraham Robinson - 1967 - Journal of Symbolic Logic 32 (3):413-414.

Analytics

Added to PP
2009-01-28

Downloads
90 (#233,855)

6 months
17 (#175,429)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Deflationary theories of properties and their ontology.Thomas Schindler - 2021 - Australasian Journal of Philosophy:1-16.

View all 46 citations / Add more citations

References found in this work

Introduction to Mathematical Logic.Max Black - 1956 - Journal of Symbolic Logic 22 (3):286-289.
Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit Identität.Günter Asser - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (4):252-263.
Concerning a problem of H. Scholz.Andrzej Mostowski - 1956 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 2 (10-15):210-214.

View all 6 references / Add more references