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).
MSC:
03E35 | Consistency and independence results |
03C35 | Categoricity and completeness of theories |
03E55 | Large cardinals |
03F25 | Relative consistency and interpretations |