On the comprehension schema in LP=>
Logic
2013-09-13 v2
Abstract
We construct a model of the comprehension schema in the logic LP=>.
Cite
@article{arxiv.1306.0044,
title = {On the comprehension schema in LP=>},
author = {Nick Thomas},
journal= {arXiv preprint arXiv:1306.0044},
year = {2013}
}
Comments
8 pages, 1 figure. This paper has been withdrawn because the infimum function on an infinite-dimensional space is not continuous