Conservations of first-order reflections release_eybsv65pmfhnvn5kutorwtdfti

by Toshiyasu Arai

Released as a article .

2012  

Abstract

The set theory KPΠ_N+1 for Π_N+1-reflecting universes is shown to be Π_N+1-conservative over iterations of Π_N-recursively Mahlo operations for each N≥ 2.
In text/plain format

Archived Files and Locations

application/pdf  156.1 kB
file_vh6ir4u2incwdjxfddw2a3rjae
web.archive.org (webarchive)
arxiv.org (repository)
Read Archived PDF
Archived
Type  article
Stage   submitted
Date   2012-05-07
Version   v3
Language   en ?
arXiv  1204.0205v3
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 5b24089b-9a2f-4938-916e-75ce36e87a46
API URL: JSON