scientific article; zbMATH DE number 3392437
From MaRDI portal
Publication:5661872
zbMath0248.02056MaRDI QIDQ5661872
Publication date: 1972
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Model theory (03C99) Large cardinals (03E55) General logic (03B99) Connections of number theory and logic (11U99)
Related Items
Ordinal arithmetic: Algorithms and mechanization, Some structural similarities between uncountable sets, powersets and the universe, On the elementary theory of inductive order