On the order dimension of locally countable partial orderings

DOI10.1090/PROC/14946zbMATH Open1481.06001arXiv1902.06030OpenAlexW2994764061MaRDI QIDQ5111496FDOQ5111496

Kojiro Higuchi, Dilip Raghavan, Steffen Lempp, Frank Stephan

Publication date: 27 May 2020

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

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.

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Set theory. An introduction to independence proofs
• Combinatorial Cardinal Characteristics of the Continuum
• Combinatorial set theory: Partition relations for cardinals
• Cardinal Arithmetic
• Embeddings into the Medvedev and Muchnik lattices of \(\Pi^0_1\) classes
• On Suborderings of Degrees of Recursive Unsolvability
• On the Dimension of Partially Ordered Sets
• The dimension of the finite subsets of \(\kappa\)
• Separating families and order dimension of Turing degrees

Cited In (6)

• Supersaturated ideals
• Embedding countable partial orderings in the enumeration degrees and the \(\omega \)-enumeration degrees
• Separating families and order dimension of Turing degrees
• Cubical local partial orders on cubically subdivided spaces -- existence and construction
• Axiomatization of local-global principles for pp-formulas in spaces of orderings
• Title not available (Why is that?)

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)