Abstract
We study a two-parameter generalization of the Freese-Nation Property of boolean algebras and its order-theoretic and topological consequences. For every regular infinite κ, the (κ,κ)-FN, the (κ + ,κ)-FN, and the κ-FN are known to be equivalent; we show that the family of properties (λ, μ)-FN for λ > μ form a true two-dimensional hierarchy that is robust with respect to coproducts, retracts, and the exponential operation. The \((\kappa,\aleph_0)\)-FN in particular has strong consequences for base properties of compacta (stronger still for homogeneous compacta), and these consequences have natural duals in terms of special subsets of boolean algebras. We show that the \((\kappa,\aleph_0)\)-FN also leads to a generalization of the equality of weight and π-character in dyadic compacta. Elementary subalgebras and their duals, elementary quotient spaces, were originally used to define the (λ,κ)-FN and its topological dual, which naturally generalized from Stone spaces to all compacta, thereby generalizing Ščepin’s notion of openly generated compacta. We introduce a simple combinatorial definition of the (λ,κ)-FN that is equivalent to the original for regular infinite cardinals λ > κ.
Similar content being viewed by others
References
Bandlow, I.: A construction in set-theoretic topology by means of elementary substructures. Z. Math. Logik Grundlag. Math. 37 (5), 467–480 (1991)
Bankston, P.: Clopen sets in hyperspaces. Proc. Am. Math. Soc. 54, 298–302 (1976)
Engelking, R.: Cartesian products and dyadic spaces. Fundam. Math. 57, 287–304 (1965)
Fuchino, S., Koppelberg, S., Shelah, S.: Partial orderings with the weak Freese-Nation Property. Ann. Pure Appl. Logic 80(1), 35–54 (1996)
Heindorf, L., Shapiro, L.B.: Nearly projective boolean algebras, with an appendix by S. Fuchino. In: Lecture Notes in Mathematics, vol. 1596. Springer, Berlin (1994)
Milovich, D.: Noetherian types of homogeneous compacta and dyadic compacta. Topology Appl. 156, 443–464 (2008)
Šapiro, L.B.: The space of closed subsets of \(D\sp{\aleph }\sb{2}\) is not a dyadic bicompactum. Sov. Math., Dokl. 17(3), 937–941 (1976)
Ščepin, E.V.: On κ-metrizable spaces. Math. USSR, Izv. 14(2), 406–440 (1980)
Shchepin, E.V.: Functors and uncountable powers of compacta. Russ. Math. Surv. 36(3), 1–71 (1981)
van Mill, J.: Homogeneous compacta. In: Pearl, E. (ed.) Open Problems in Topology II, pp. 189–195. Elsevier, Amsterdam (2007)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Milovich, D. The (λ,κ)-Freese-Nation Property for Boolean Algebras and Compacta. Order 29, 361–379 (2012). https://doi.org/10.1007/s11083-012-9247-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11083-012-9247-3
Keywords
- Freese-Nation Property
- κ-FN
- Openly generated
- Base properties
- Compact
- Dyadic
- Hyperspace
- Boolean algebra
- π-character
- Caliber