Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
11010141 | Annals of Pure and Applied Logic | 2018 | 35 Pages |
Abstract
In this paper we calibrate the strength of the soundness of a set theory KPÏ+(Î 1-Collection) with the assumption that 'there exists an uncountable regular ordinal' in terms of the existence of ordinals.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Toshiyasu Arai,