A remark on order-types.

DOI10.4064/FM-42-2-312-318zbMATH Open0068.04302OpenAlexW1045266712MaRDI QIDQ3229490FDOQ3229490

Authors: K. Padmavally 

Publication date: 1955

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

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

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

zbMATH Keywords

set theory

Mathematics Subject Classification ID

Set theory (03Exx)

Cited In (5)

• Beiträge zur Theorie der Ordnungstypen, insbesondere der \(\eta_{\alpha}\)-Mengen
• Einbettungssätze für totalgeordnete Mengen
• Order-sorted inductive types
• Title not available (Why is that?)
• Title not available (Why is that?)

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)