An order-theoretic characterization of t
✍
Andreas Weiermann
📂
Article
📅
1993
🏛
John Wiley and Sons
🌐
English
⚖ 830 KB
## Abstract For __f__: __On__ → __On__ let supp(__f__): = ξ: 0, and let __S__ := {__f__ : __On__ → __On__ : supp(__f__) finite}. For __f,g__ ϵ __S__ define __f__ ≤ __g__ : ↔ (∃__h__ : __On__ → __On__)[__h__ one‐to‐one ⁁ (∀ξ)__f__(ξ) ≤ __g__(__h__(ξ))]. A function ψ : __S__ → __On__ is called __mo