AN AXIOMATIC THEORY OF WELL-ORDERINGS

作者：Deiser Oliver^*

来源：Review of Symbolic Logic, 2011, 4(2): 186-204.

DOI：10.1017/S1755020310000390

We introduce a new simple first-order framework for theories whose objects are well-orderings (lists). A system ALT (axiomatic list theory) is presented and shown to be equiconsistent with ZFC (Zermelo Fraenkel Set Theory with the Axiom of Choice). The theory sheds new light on the power set axiom and on Godel's axiom of constructibility. In list theory there are strong arguments favoring Godel's axiom, while a bare analogon of the set theoretic power set axiom looks artificial. In fact, there is a natural and attractive modification of ALT where every object is constructible and countable. In order to substantiate our foundational interest in lists, we also compare sets and lists from the perspective of finite objects, arguing that lists are, from a certain point of view, conceptually simpler than sets.

• 出版日期2011-6