pith. sign in

arxiv: math/9809196 · v1 · pith:GUKLFXSQnew · submitted 1998-09-15 · 🧮 math.LO

On Hanf numbers of the infinitary order property

classification 🧮 math.LO
keywords kappagammaomegaorderpropertycardinalhanfnumbers
0
0 comments X
read the original abstract

We study several cardinal, and ordinal--valued functions that are relatives of Hanf numbers. Let kappa be an infinite cardinal, and let T subseteq L_{kappa^+, omega} be a theory of cardinality <= kappa, and let gamma be an ordinal >= kappa^+. For example we look at (1) mu_{T}^*(gamma, kappa):= min {mu^* for all phi in L_{infinity, omega}, with rk(phi)< gamma, if T has the (phi, mu^*)-order property then there exists a formula phi'(x;y) in L_{kappa^+, omega}, such that for every chi >= kappa, T has the (phi', chi)-order property}; and (2) mu^*(gamma, kappa):= sup{mu_T^*(gamma, kappa)| T in L_{kappa^+,omega}}.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.