An extended predicative definition of the Mahlo universe

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Name	Ontos Series in Mathematical Logic
Publisher	Ontos Verlag

Cite this

@inbook{9cedb54c00e94a5ead36c2afb001783b,

title = "An extended predicative definition of the Mahlo universe",

author = "Reinhard Kahle",

year = "2010",

month = jan,

day = "1",

language = "Unknown",

isbn = "978-3-86838-087-3",

series = "Ontos Series in Mathematical Logic",

publisher = "Ontos Verlag",

pages = "315--340",

editor = "R Schindler",

booktitle = "Ways of Proof Theory",

address = "Switzerland",

}