An extended arithmetic of ordinal numbers

DOI10.4064/FM-65-1-95-127MaRDI QIDQ5596228zbMATH OpenOpenAlexFDO

Authors 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

Cited in

(4)

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

This page was built for publication: An extended arithmetic of ordinal numbers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5596228)