An application of games to the completeness problem for formalized theories
Fundamenta Mathematicae (1961)
- Volume: 49, Issue: 2, page 129-141
- ISSN: 0016-2736
Access Full Article
top
How to cite
topEhrenfeucht, Andrzej. "An application of games to the completeness problem for formalized theories." Fundamenta Mathematicae 49.2 (1961): 129-141. <http://eudml.org/doc/213582>.
@article{Ehrenfeucht1961,
author = {Ehrenfeucht, Andrzej},
journal = {Fundamenta Mathematicae},
keywords = {philosophy and foundations of mathematics},
language = {eng},
number = {2},
pages = {129-141},
title = {An application of games to the completeness problem for formalized theories},
url = {http://eudml.org/doc/213582},
volume = {49},
year = {1961},
}
TY - JOUR
AU - Ehrenfeucht, Andrzej
TI - An application of games to the completeness problem for formalized theories
JO - Fundamenta Mathematicae
PY - 1961
VL - 49
IS - 2
SP - 129
EP - 141
LA - eng
KW - philosophy and foundations of mathematics
UR - http://eudml.org/doc/213582
ER -
Citations in EuDML Documents
top- F. Blanchet-Sadri, On dot-depth two
- Gábor Czédli, Cyclic congruences of slim semimodular lattices and non-finite axiomatizability of some finite structures
- Stanisław Kasjan, Representation-finite triangular algebras form an open scheme
- F. Blanchet-Sadri, On semidirect and two-sided semidirect products of finite trivial monoids
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.