𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Choice sequences and informal rigour

✍ Scribed by A. S. Troelstra

Publisher
Springer Netherlands
Year
1985
Tongue
English
Weight
534 KB
Volume
62
Category
Article
ISSN
0039-7857

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Informal Proofs and Mathematical Rigour
Informal Proofs and Mathematical Rigour
✍ Marianna Antonutti Marfori πŸ“‚ Article πŸ“… 2010 πŸ› Springer Netherlands 🌐 English βš– 205 KB
James sequences and Dependent Choices
James sequences and Dependent Choices
✍ Marianne Morillon πŸ“‚ Article πŸ“… 2005 πŸ› John Wiley and Sons 🌐 English βš– 240 KB

We prove James's sequential characterization of (compact) reflexivity in set-theory ZF + DC, where DC is the axiom of Dependent Choices. In turn, James's criterion implies that every infinite set is Dedekind-infinite, whence it is not provable in ZF. Our proof in ZF + DC of James' criterion leads us

Information processing and innovative ch
Information processing and innovative choice
✍ William T. Ross; Thomas S. Robertson πŸ“‚ Article πŸ“… 1991 πŸ› Springer US 🌐 English βš– 674 KB

In this paper we examine how the information processing of subjects who make an innovative choice (~innovators") differs from that of subjects who make a noninnovative choice ("noninnovators"). The task involves selection of an alternative within a range of prerated product category innovativeness.

Hidden information acquisition and stati
Hidden information acquisition and static choice
✍ Timothy Zandt πŸ“‚ Article πŸ“… 1996 πŸ› Springer US 🌐 English βš– 605 KB

This note explores the consequence of hidden information acquisition for static choice theory. We show that any choice function in the observable problem can be Consistent with some well-behaved choice function in a metaproblem with unobservable cosily information acquisition. This illustrates how c