✦ LIBER ✦

A model of type theory in simplicial sets

✍ Scribed by Streicher, T.

Book ID: 123304307
Publisher: Elsevier Science
Year: 2014
Tongue: English
Weight: 275 KB
Volume: 12
Category: Article
ISSN: 1570-8683
DOI: 10.1016/j.jal.2013.04.001

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Order Types of Ordinals in Models of Set

Order Types of Ordinals in Models of Set Theory

✍ John E. Hutchinson 📂 Article 📅 1976 🏛 Association for Symbolic Logic 🌐 English ⚖ 338 KB

A classification theorem for diagrams of

A classification theorem for diagrams of simplicial sets

✍ W.G. dwyer; D.M. Kan 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 1003 KB

Natural Models and Ackermann-Type Set Th

Natural Models and Ackermann-Type Set Theories

✍ John Lake 📂 Article 📅 1975 🏛 Association for Symbolic Logic 🌐 English ⚖ 236 KB

De Rham theory of a simplicial complex

✍ I. V. Savel'ev 📂 Article 📅 1992 🏛 Springer US 🌐 English ⚖ 376 KB

Realizing Mahlo set theory in type theor

Realizing Mahlo set theory in type theory

✍ Michael Rathjen 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 164 KB

Foundations of a Connectivity Theory for

Foundations of a Connectivity Theory for Simplicial Complexes

✍ Hélène Barcelo; Xenia Kramer; Reinhard Laubenbacher; Christopher Weaver 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 422 KB

This paper lays the foundations of a combinatorial homotopy theory, called A-theory, for simplicial complexes, which reflects their connectivity properties. A collection of bigraded groups is constructed, and methods for computation are given. A Seifert-Van Kampen type theorem and a long exact seque