✦ LIBER ✦

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

✍ Scribed by Ieke Moerdijk; Erik Palmgren

Publisher: Elsevier Science
Year: 2002
Tongue: English
Weight: 357 KB
Volume: 114
Category: Article
ISSN: 0168-0072
DOI: 10.1016/s0168-0072(01)00079-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Toposes and intuitionistic theories of t

Toposes and intuitionistic theories of types

✍ R. Lavendhomme; Th. Lucas 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 977 KB

Quotient topologies in constructive set

Quotient topologies in constructive set theory and type theory

✍ Hajime Ishihara; Erik Palmgren 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 196 KB

The Calculus of Partial Predicates and I

The Calculus of Partial Predicates and Its Extension to Set Theory I

✍ Hao Wang 📂 Article 📅 1961 🏛 John Wiley and Sons 🌐 English ⚖ 368 KB 👁 1 views

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

Categorical and algebraic aspects of Mar

Categorical and algebraic aspects of Martin-Löf Type Theory

✍ Adam Obtułowicz 📂 Article 📅 1989 🏛 Springer Netherlands 🌐 English ⚖ 939 KB

In the paper there are introduced and discussed the concepts of an indexed category with quantifications and a higher level indexed category to present ~tn algebraic characterization of some version of Martin-L6f Type Theory. This characterization.is given by specifying an additional equational stru

Potential theory and applications in a c

Potential theory and applications in a constructive method for finding critical points of Ginzburg–Landau type equations

✍ Parimah Kazemi; J.W. Neuberger 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 204 KB