An extended predicative definition of the Mahlo universe

Research output: Chapter in Book/Report/Conference proceedingChapter

Original languageUnknown
Title of host publicationWays of Proof Theory
EditorsR Schindler
Place of PublicationHeusenstamm, Germany
PublisherOntos Verlag
Pages315-340
ISBN (Print)978-3-86838-087-3
Publication statusPublished - 1 Jan 2010

Publication series

NameOntos Series in Mathematical Logic
PublisherOntos Verlag

Cite this