Feed Search Library Collections

On the comprehension schema in LP=>

Abstract

We construct a model of the comprehension schema in the logic LP=>.

0

Discussion (0)

Sign in to join the discussion.

Loading comments…

arXiv:1306.0044

Published May 31, 2013

Authors

NTNick Thomas

Comment: 8 pages, 1 figure. This paper has been withdrawn because the infimum function on an infinite-dimensional space is not continuous

Updated: September 11, 2013

Latest Papers Trending Top Today Top This Week AI Papers Machine Learning Computer Vision NLP Statistics ML Optimization

ArcXiv is an independent project and is not affiliated with arXiv or Cornell University. Metadata-only — PDFs link to arXiv.arxiv.org