An Application of Games to the Completeness Problem for Formalized Theories

Journal of Symbolic Logic 32 (2):281-282 (1967)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271711

Links

PhilArchive



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

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: A. Ehrenfeucht, An Application of Games to the Completeness Problem for Formalized Theories. [REVIEW]Erwin Engeler - 1967 - Journal of Symbolic Logic 32 (2):281-282.
Ehrenfeucht A.. An application of gaṁes to the completeness problem for formalized theories. Fundamenta mathematicae, vol. 49 , pp. 129–141. [REVIEW]Erwin Engeler - 1967 - Journal of Symbolic Logic 32 (2):281-282.
Positional strategies in long ehrenfeucht–fraïssé games.S. Shelah, J. Väänänen & B. Veličković - 2015 - Journal of Symbolic Logic 80 (1):285-300.
On non‐determined ehrenfeucht‐fraïssé games and unstable theories.Tapani Hyttinen & T. Hyttinen - 1992 - Mathematical Logic Quarterly 38 (1):399-408.
Constructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories. Part B.Tapani Hyttinen & Saharon Shelah - 1995 - Journal of Symbolic Logic 60 (4):1260-1272.
Constructing strongly equivalent nonisomorphic models for unsuperstable theories, Part A.Tapani Hyttinen & Saharon Shelah - 1994 - Journal of Symbolic Logic 59 (3):984-996.
Review: A. Ehrenfeucht, Separable Theories. [REVIEW]H. B. Enderton - 1969 - Journal of Symbolic Logic 34 (1):127-127.
Review: A. Ehrenfeucht, On Theories Categorical in Power. [REVIEW]R. L. Vaught - 1966 - Journal of Symbolic Logic 31 (4):645-645.
Review: John Myhill, Solution of a Problem of Tarski; Andrzej Ehrenfeucht, Two Theories with Axioms Built by means of Pleonasms; Hilary Putnam, Decidability and Essential Undecidability. [REVIEW]Solomon Feferman - 1958 - Journal of Symbolic Logic 23 (4):445-447.
Review: A. Ehrenfeucht, A. Mostowski, A Compact Space of Models of First Order Theories. [REVIEW]G. Fuhrken - 1970 - Journal of Symbolic Logic 35 (4):586-587.

Analytics

Added to PP
2015-02-05

Downloads
38 (#408,171)

6 months
9 (#437,808)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On languages with two variables.Michael Mortimer - 1975 - Mathematical Logic Quarterly 21 (1):135-140.
Logic and games.Wilfrid Hodges - 2008 - Stanford Encyclopedia of Philosophy.
Generalized quantifiers.Dag Westerståhl - 2008 - Stanford Encyclopedia of Philosophy.

View all 37 citations / Add more citations

References found in this work

No references found.

Add more references