2112.09871Dec 18, 2021The paper is contained and extended in the next one `An ordinal analysis of $Π_{N}$-collection'

An ordinal analysis of $Π_{1}$ -Collection

Toshiyasu Arai

Abstract

In this paper we give an ordinal analysis of a set theory with $Π_{1}$ -Collection.

Briefing

What this paper is actually doing

Sign in and connect a model key to generate a briefing for this paper.

Socratic margin

Ask the abstract

Questions are grounded in the title and abstract. If the PDF is required, arXivDesk will say so.

Sign in to ask questions about this paper.

Nearby in the stack

arXiv did not return neighbours for this paper. Try again in a bit.