✦ LIBER ✦

The number of countable models in realizability toposes

✍ Scribed by Nathanael Leedom Ackerman

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Number of Countable Models

✍ Michael Morley 📂 Article 📅 1970 🏛 Association for Symbolic Logic 🌐 English ⚖ 498 KB

Number of Countable Models

✍ Anand Pillay 📂 Article 📅 1978 🏛 Association for Symbolic Logic 🌐 English ⚖ 138 KB

Constructive toposes with countable sums

✍ Alex Simpson; Thomas Streicher 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 306 KB

Decidability and the number of countable

✍ Terrence Millar 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 656 KB

Simple groups and the number of countabl

✍ Predrag Tanović 📂 Article 📅 2013 🏛 Springer 🌐 English ⚖ 221 KB

On natural number objects, finiteness an

✍ Bruno Loiseau; Mawanda Mbila-Mambu 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 672 KB