✦ LIBER ✦

Constructive toposes with countable sums as models of constructive set theory

✍ Scribed by Alex Simpson; Thomas Streicher

Book ID: 116231749
Publisher: Elsevier Science
Year: 2012
Tongue: English
Weight: 306 KB
Volume: 163
Category: Article
ISSN: 0168-0072
DOI: 10.1016/j.apal.2012.01.013

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Type theories, toposes and constructive

Type theories, toposes and constructive set theory: predicative aspects of AST

✍ Ieke Moerdijk; Erik Palmgren 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 357 KB

Theory of Abelian groups with constructi

Theory of Abelian groups with constructive models

✍ N. G. Khisamiev 📂 Article 📅 1987 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 1022 KB

The consistency of some intuitionistic a

The consistency of some intuitionistic and constructive principles with a set theory

✍ V. H. Hahanyan 📂 Article 📅 1981 🏛 Springer Netherlands 🌐 English ⚖ 765 KB

On the Construction of Sets of Integers

On the Construction of Sets of Integers with Equal Power Sums

✍ M. Jacroux 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 216 KB

In this paper we give a new method for constructing sets of integers having equal th power sums. Using the method, some new results are derived concerning the Tarry-Escott Problem. i' 1995 Academic Press. Inc.

Elementary Equivalence and Constructible

Elementary Equivalence and Constructible Models of Zermelo-Fraenkel Set Theory

✍ R. H. Cowen 📂 Article 📅 1976 🏛 John Wiley and Sons 🌐 English ⚖ 402 KB 👁 1 views

Group theoretical construction of two-di

Group theoretical construction of two-dimensional models with infinite sets of conservation laws

✍ R. D'Auria; T. Regge; S. Sciuto 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 709 KB