- Source: Open coloring axiom
The open coloring axiom (abbreviated OCA) is an axiom about coloring edges of a graph whose vertices are a subset of the real numbers: two different versions were introduced by Abraham, Rubin & Shelah (1985) and by Todorčević (1989).
Statement
Suppose that X is a subset of the reals, and each pair of elements of X is colored either black or white, with the set of white pairs being open in the complete graph on X. The open coloring axiom states that either:
X has an uncountable subset such that any pair from this subset is white; or
X can be partitioned into a countable number of subsets such that any pair from the same subset is black.
A weaker version, OCAP, replaces the uncountability condition in the first case with being a compact perfect set in X. Both OCA and OCAP can be stated equivalently for arbitrary separable spaces.
Relation to other axioms
OCAP can be proved in ZFC for analytic subsets of a Polish space, and from the axiom of determinacy. The full OCA is consistent with (but independent of) ZFC, and follows from the proper forcing axiom.
OCA implies that the smallest unbounded set of Baire space has cardinality
ℵ
2
{\displaystyle \aleph _{2}}
. Moreover, assuming OCA, Baire space contains few "gaps" between sets of sequences — more specifically, that the only possible gaps are (ω1,ω1)-gaps and (κ,ω)-gaps where κ is an initial ordinal not less than ω2.
References
Abraham, Uri; Rubin, Matatyahu; Shelah, Saharon (1985), "On the consistency of some partition theorems for continuous colorings, and the structure of ℵ1-dense real order types", Ann. Pure Appl. Logic, 29 (2): 123–206, doi:10.1016/0168-0072(84)90024-1, Zbl 0585.03019
Carotenuto, Gemma (2013), An introduction to OCA (PDF), notes on lectures by Matteo Viale
Kunen, Kenneth (2011), Set theory, Studies in Logic, vol. 34, London: College Publications, ISBN 978-1-84890-050-9, Zbl 1262.03001
Moore, Justin Tatch (2011), "Logic and foundations the proper forcing axiom", in Bhatia, Rajendra (ed.), Proceedings of the international congress of mathematicians (ICM 2010), Hyderabad, India, August 19–27, 2010. Vol. II: Invited lectures (PDF), Hackensack, NJ: World Scientific, pp. 3–29, ISBN 978-981-4324-30-4, Zbl 1258.03075
Todorčević, Stevo (1989), Partition problems in topology, Contemporary Mathematics, vol. 84, Providence, RI: American Mathematical Society, ISBN 0-8218-5091-1, MR 0980949, Zbl 0659.54001
Kata Kunci Pencarian:
- Open coloring axiom
- OCA
- Glossary of set theory
- List of unsolved problems in mathematics
- Graph coloring
- List of statements independent of ZFC
- Stevo Todorčević
- Hausdorff gap
- Theorem
- WALL-E (character)
74 min
Jack the Giant Slayer (2013)
Action, Adventure, Bioskop Online, BioskopKeren, Cinemaindo, Drakor ID, Drama, DramaQu, Dunia21, DutaFilm, Fantasy, Ganool, gudangmovie, IndoXX1, Indoxxi, KorDramas, LayarKaca21, Layarkaca21 INDOXXI, LK21, LK21 XXI, Nonton drama, Nonton Movie, Pahe.in, PusatFilm21, United Kingdom, USA
Bryan Singer
Blue Beetle (2023)
Action, Adventure, Bioskop Online, BioskopKeren, Cinemaindo, Dewanonton, Drakor ID, DrakorIndo, DramaQu, Dunia21, DutaFilm, Ganool, gudangmovie, IndoXX1, Indoxxi, KorDramas, LayarKaca21, Layarkaca21 INDOXXI, LK21, LK21 XXI, Nonton drama, Nonton Movie, Pahe.in, PusatFilm21, Science Fiction, USA
Ángel Manuel Soto
Mickey Mouse Clubhouse: Space Adventure (2011)
Animation, Bioskop Online, bioskop21, BioskopKeren, Cinemaindo, Dewanonton, Drakor ID, DrakorIndo, DramaQu, Dunia21, DutaFilm, Ganool, gudangmovie, gudangmovie21, IndoXX1, Indoxxi, KorDramas, LayarKaca21, Layarkaca21 INDOXXI, LK21, LK21 XXI, Nonton drama, Nonton Movie, Pahe.in, PusatFilm21, TV Movie, USA
Donovan Cook
Prime (2023)
Bioskop Online, BioskopKeren, Cinemaindo, Dewanonton, Drakor ID, DrakorIndo, Drama, DramaQu, Dunia21, DutaFilm, Ganool, gudangmovie, Horror, IndoXX1, Indoxxi, KorDramas, LayarKaca21, Layarkaca21 INDOXXI, LK21, LK21 XXI, Nonton drama, Nonton Movie, Pahe.in, PusatFilm21, Thriller, South Africa
Kobus du Plessis, Thabiso Christopher
John Carter (2012)
Action, Adventure, Bioskop Online, bioskop21, BioskopKeren, Cinemaindo, Drakor ID, DrakorIndo, DramaQu, Dunia21, DutaFilm, gudangmovie, gudangmovie21, IndoXX1, Indoxxi, KorDramas, LayarKaca21, Layarkaca21 INDOXXI, LK21, LK21 XXI, Nonton drama, Nonton Movie, Pahe.in, PusatFilm21, Science Fiction, USA
Andrew Stanton
Tales From The Occult: Body and Soul (2023)
Bioskop Online, BioskopKeren, Cinemaindo, Crime, Dewanonton, Drakor ID, DrakorIndo, DramaQu, Dunia21, DutaFilm, Ganool, gudangmovie, Horror, IndoXX1, Indoxxi, KorDramas, LayarKaca21, Layarkaca21 INDOXXI, LK21, LK21 XXI, Nonton drama, Nonton Movie, Pahe.in, PusatFilm21, Hong Kong
Frank Hui
No More Posts Available.
No more pages to load.
