×
Benda, Miroslav

On strong axioms of induction in set theory and arithmetic. (English) Zbl 0429.03030

Mathematical logic in Latin America, Proc. Symp., Santiago 1978, 43-56 (1980).
Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page
scan of Zbl 0429.03030

Cited in 1 Document

MSC:

03E35 Consistency and independence results
03C35 Categoricity and completeness of theories
03E55 Large cardinals
03F25 Relative consistency and interpretations

Keywords:

strong axioms of induction in set theory and arithmetic; Ramsey cardinal; extension of Peano arithmetic; ZFC; axiom of infinity; completeness; independence; relative consistency

Citations:

Zbl 0419.00003
Cite Review PDF