arXiv:1104.1842 Abstract | arXiv Analytics

Published 2011-04-11Version 1

In this paper we expound some basic ideas of proof theory for theories of ordinals such that there are many stable ordinals below the ordinals.

Categories: math.LO

Subjects: 03F99

Keywords: proof theory, introducing, basic ideas

Related articles: Most relevant | Search more

arXiv:1610.02191 [math.LO] (Published 2016-10-07)

Proof Theory of Constructive Systems: Inductive Types and Univalence

Michael Rathjen

arXiv:2209.08976 [math.LO] (Published 2022-09-19)

Proof Theory for Lax Logic

Rosalie Iemhoff

arXiv:1003.2819 [math.LO] (Published 2010-03-14, updated 2010-07-16)

Introducing a nontrivial square_omega