Autor:	Gunnar Wilken
Rok vydání:	2006
Předmět:	Nimber Discrete mathematics Logic Limit ordinal Ordinal analysis Aleph number Mathematics::Logic Philosophy Computer Science::Logic in Computer Science Ordinal arithmetic Ordinal number First uncountable ordinal Ordinal notation Mathematics
Zdroj:	Archive for Mathematical Logic. 45:807-829
ISSN:	1432-0665 0933-5846
DOI:	10.1007/s00153-006-0010-6
Popis:	The Bachmann-Howard structure, that is the segment of ordinal numbers below the proof theoretic ordinal of Kripke-Platek set theory with infinity, is fully characterized in terms of CARLSON’s approach to ordinal notation systems based on the notion of Σ1-elementarity.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::21789d9843d239d393cd866d97ba26d3 https://doi.org/10.1007/s00153-006-0010-6 Zobrazit plný text záznamu Plný text ve formátu PDF