Order types of free subsets
Let \(\kappa\) be a cardinal, \(\alpha\) and \(\beta\) ordinals. \(\text{Fr}^{\text{ord}}_\kappa (\alpha,\beta)\) denotes the following property: For any \(\tau\cup \{<\}\)-structure \({\mathcal A}= (A,<^A, \dots)\) with \(|\tau|\leq \kappa\) and \((A,<^A) \cong (\alpha,\in)\) there is a free subset \(S\) of \(A\) of order type \(\beta\). Fixing \(\kappa\), let \(\alpha (\beta)\) denote the least \(\alpha\) with \(\text{Fr}^{\text{ord}}_\kappa (\alpha,\beta)\). The author determines lower bounds for \(\alpha(\beta)\) and shows that given enough measurable cardinals, there are forcing extensions where the given bounds are sharp.
- Free ordered semigroups
- On free ordered semigroups
- scientific article; zbMATH DE number 19599
- Rosser orderings and free variables
- Reconstruction of N-free ordered sets
- Ordering subsets of (partially) ordered sets: representation theorems
- scientific article; zbMATH DE number 3977057
- The order dimension of relatively free lattices
- scientific article; zbMATH DE number 19305
- Partial orderings with the weak Freese-Nation property
- scientific article; zbMATH DE number 3652325 (Why is no real title available?)
- Independence of strong partition relation for small cardinals, and the free-subset problem
- On the free subset property at singular cardinals
- Some applications of short core models
- Some weak versions of large cardinal axioms
- The consistency strength of the free-subset property for ωω
This page was built for publication: Order types of free subsets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1377636)
