An extended arithmetic of ordinal numbers

DOI10.4064/fm-65-1-95-127zbMath0198.02301OpenAlexW1544757976MaRDI QIDQ5596228

John Doner, Alfred Tarski

Publication date: 1969

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/214092

zbMATH Keywords

set theory

Related Items

Ordinal arithmetic: Algorithms and mechanization, Remarks on isomorphisms in typed lambda calculi with empty and sum types, On elementary types of symmetric groups, A portrait of Alfred Tarski