A formula with no recursively enumerable model
Fundamenta Mathematicae (1955)
- Volume: 42, Issue: 1, page 125-140
- ISSN: 0016-2736
Access Full Article
topHow to cite
topMostowski, Andrzej. "A formula with no recursively enumerable model." Fundamenta Mathematicae 42.1 (1955): 125-140. <http://eudml.org/doc/213366>.
@article{Mostowski1955,
author = {Mostowski, Andrzej},
journal = {Fundamenta Mathematicae},
keywords = {philosophy and foundations of mathematics},
language = {eng},
number = {1},
pages = {125-140},
title = {A formula with no recursively enumerable model},
url = {http://eudml.org/doc/213366},
volume = {42},
year = {1955},
}
TY - JOUR
AU - Mostowski, Andrzej
TI - A formula with no recursively enumerable model
JO - Fundamenta Mathematicae
PY - 1955
VL - 42
IS - 1
SP - 125
EP - 140
LA - eng
KW - philosophy and foundations of mathematics
UR - http://eudml.org/doc/213366
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.