Back to Search Start Over

Cut-elimination for ω1.

Authors :
Arai, Toshiyasu
Source :
Annals of Pure & Applied Logic. Dec2018, Vol. 169 Issue 12, p1246-1269. 24p.
Publication Year :
2018

Abstract

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. [ABSTRACT FROM AUTHOR]

Subjects

Subjects :
*ELIMINATION (Mathematics)
*ORDINAL numbers
*REFLECTIONS
*SET theory
*TRANSFINITE numbers

Details

Language :
English
ISSN :
01680072
Volume :
169
Issue :
12
Database :
Academic Search Index
Journal :
Annals of Pure & Applied Logic
Publication Type :
Academic Journal
Accession number :
132105966
Full Text :
https://doi.org/10.1016/j.apal.2018.08.001
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details