Decidability and Definability Results Related to the Elementary Theory of Ordinal Multiplication
Fundamenta Mathematicae - Poland
doi 10.4064/fm171-3-1
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 2002
Authors
Publisher
Institute of Mathematics, Polish Academy of Sciences