Premium
An Independence Result for Pinning for Ordinals
Author(s) -
Larson Jean A.
Publication year - 1979
Publication title -
journal of the london mathematical society
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.441
H-Index - 62
eISSN - 1469-7750
pISSN - 0024-6107
DOI - 10.1112/jlms/s2-19.1.1
Subject(s) - statement (logic) , independence (probability theory) , axiom , relation (database) , set (abstract data type) , mathematics , zermelo–fraenkel set theory , set theory , universal set , mathematical economics , axiom of choice , discrete mathematics , pure mathematics , computer science , law , political science , geometry , statistics , database , programming language
For ordinals α less than ω 1 ω+2 , the pinning relation of α to ordinals β holds no surprises. But the statement ω 1 ω+2 can be pinned to ω 2 is independent of the axioms of set theory. The proof uses facts about eventual domination of functions to show that the relation holds under one set of assumptions and fails under another set.