Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
10118846 | Annals of Pure and Applied Logic | 2005 | 25 Pages |
Abstract
We deal with applicative theories which are based on combinatory logic with total application, extensionality and natural numbers. We prove a conservative extension theorem and two consistency results, involving principles of uniformity, reflection, enumeration and choice.
Keywords
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Andrea Cantini,