On the order dimension of locally countable partial orderings

DOI10.1090/PROC/14946MaRDI QIDQ5111496zbMATH OpenOpenAlexFDO

Authors Kojiro Higuchi, Steffen Lempp, Dilip Raghavan, Frank Stephan

Publication date 27 May 2020

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1902.06030

zbMATH Keywords

dimensionpartial orderingTuring degrees

Mathematics Subject Classification ID

Partial orders, general (06A06) Other Turing degree structures (03D28) Other combinatorial set theory (03E05) Ordered sets and their cofinalities; pcf theory (03E04)

Abstract: We show that the order dimension of the partial order of all finite subsets of $kappa$ under set inclusion is ${log}_2({log}_2(kappa))$ whenever $kappa$ is an infinite cardinal. We also show that the order dimension of any locally countable partial ordering $(P,<)$ of size $kapp{a}^{+}$, for any $kappa$ of uncountable cofinality, is at most $kappa$. In particular, this implies that it is consistent with ZFC that the dimension of the Turing degrees under partial ordering can be strictly less than the continuum.

Recommendations

• Separating families and order dimension of Turing degrees
• On the dimensions of ordered sets of bounded degree
• Embedding countable partial orderings in the enumeration degrees and the -enumeration degrees
• The order dimension of divisibility
• Dimension versus size

Cites work

• scientific article; zbMATH DE number 3172309 (Why is no real title available?)
• scientific article; zbMATH DE number 194103 (Why is no real title available?)
• scientific article; zbMATH DE number 3328183 (Why is no real title available?)
• Cardinal Arithmetic
• Combinatorial Cardinal Characteristics of the Continuum
• Combinatorial set theory: Partition relations for cardinals
• Embeddings into the Medvedev and Muchnik lattices of ^0_1 classes
• On Suborderings of Degrees of Recursive Unsolvability
• On the Dimension of Partially Ordered Sets
• Separating families and order dimension of Turing degrees
• Set theory. An introduction to independence proofs
• The dimension of the finite subsets of

Cited in

(9)

• scientific article; zbMATH DE number 2196577 (Why is no real title available?)
• Supersaturated ideals
• Embedding countable partial orderings in the enumeration degrees and the -enumeration degrees
• Separating families and order dimension of Turing degrees
• Cubical local partial orders on cubically subdivided spaces -- existence and construction
• On countable cofinality and decomposition of definable thin orderings
• The complexity of Tukey types and cofinal types
• A theory of recursive dimension of ordered sets
• Axiomatization of local-global principles for pp-formulas in spaces of orderings

This page was built for publication: On the order dimension of locally countable partial orderings

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