✦ LIBER ✦

Choice Sequences. A Chapter of Intuitionistic Mathematicsby A. S. Troelstra

✍ Scribed by Review by: Richard Vesley

Book ID: 124963768
Publisher: Association for Symbolic Logic
Year: 1979
Tongue: English
Weight: 104 KB
Volume: 44
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2273735

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

CHOICE SEQUENCES: A Chapter of Intuition

CHOICE SEQUENCES: A Chapter of Intuitionistic Mathematics

📂 Article 📅 1978 🏛 John Wiley and Sons ⚖ 285 KB

A Topological Model for Troelstra's Syst

A Topological Model for Troelstra's System CS of Intuitionistic Analysis

✍ Konrad Schultz 📂 Article 📅 1980 🏛 John Wiley and Sons 🌐 English ⚖ 395 KB

The classical topological model for intuitionistic predicate logic was extended by SCOTT [Ti] and J. R. MOSCHOVAKIS [3] to intuitionistic analysis. This intuitionistic analysis includes a strong version of Kripke's schema and is thus different from TROELSTRA's system C s [6]. I n this paper we will

The Theory of Choice Sequences.by A. S.

The Theory of Choice Sequences.by A. S. Troelstra; B. van Rootselaar; J. F. Staal

✍ Review by: R. E. Vesley 📂 Article 📅 1973 🏛 Association for Symbolic Logic 🌐 English ⚖ 89 KB

Choice sequences and informal rigour

✍ A. S. Troelstra 📂 Article 📅 1985 🏛 Springer Netherlands 🌐 English ⚖ 534 KB

Notions of Realizability for Intuitionis

Notions of Realizability for Intuitionistic Arithmetic and Intuitionistic Arithmetic in all Finite Types.by A. S. Troelstra; J. E. Fenstad

✍ Review by: C. Smorynski 📂 Article 📅 1975 🏛 Association for Symbolic Logic 🌐 English ⚖ 85 KB

Resolution of financial distress: A theo

Resolution of financial distress: A theory of the choice between Chapter 11 and workouts

✍ John, Kose; Mateti, Ravi S.; Vasudevan, Gopala 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 722 KB