A remark on order-types.

DOI10.4064/FM-42-2-312-318MaRDI QIDQ3229490zbMATH OpenOpenAlexFDO

Authors K. Padmavally

Publication date 1955

Published in Fundamenta Mathematicae (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

set theory

Mathematics Subject Classification ID

Set theory (03Exx)

Recommendations

• On the Arithmetic of Order Types
• A note on Euclidean order types
• Order-invariant types and their applications
• An unsolved problem in the theory of constructive order types
• Type-theoretic approaches to ordinals
• On the classification of term orderings types
• Towards an axiomatization of orderings
• A Ramsey property of order types
• A remark about algebraicity in complete partial orders
• scientific article; zbMATH DE number 3997763

Cited in

(5)

• Einbettungssätze für totalgeordnete Mengen
• scientific article; zbMATH DE number 3970669 (Why is no real title available?)
• Beiträge zur Theorie der Ordnungstypen, insbesondere der \(\eta_{\alpha}\)-Mengen
• scientific article; zbMATH DE number 3051341 (Why is no real title available?)
• Order-sorted inductive types

This page was built for publication: A remark on order-types.

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