A formula with no recursively enumerable model

Andrzej Mostowski

Fundamenta Mathematicae (1955)

  • Volume: 42, Issue: 1, page 125-140
  • ISSN: 0016-2736

How to cite

top

Mostowski, 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 ?

top

You must be logged in to post comments.