𝔖 Bobbio Scriptorium
✦   LIBER   ✦

STMM: A Set Theory for Mechanized Mathematics

✍ Scribed by William M. Farmer

Book ID
110235426
Publisher
Springer Netherlands
Year
2001
Tongue
English
Weight
126 KB
Volume
26
Category
Article
ISSN
0168-7433

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Realization of constructive set theory i
Realization of constructive set theory into explicit mathematics: a lower bound for impredicative Mahlo universe
✍ Sergei Tupailo πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 302 KB

We deΓΏne a realizability interpretation of Aczel's Constructive Set Theory CZF into Explicit Mathematics. The ΓΏnal results are that CZF extended by Mahlo principles is realizable in corresponding extensions of T0, thus providing relative lower bounds for the proof-theoretic strength of the latter.

Models for a paraconsistent set theory
Models for a paraconsistent set theory
✍ Thierry Libert πŸ“‚ Article πŸ“… 2005 πŸ› Elsevier Science 🌐 English βš– 269 KB

In this paper the existence of natural models for a paraconsistent version of naive set theory is discussed. These stand apart from the previous attempts due to the presence of some non-monotonic ingredients in the comprehension scheme they fulfill. Particularly, it is proved here that allowing the

A comprehensive theory of representation
A comprehensive theory of representation for mathematics education
✍ Vergnaud GΓ©rard πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 998 KB

Representation is a difficult concept. Behaviorists wanted to get rid of it; many researchers prefer other terms like "conception" or "reasoning" or even "encoding;" and many cognitive science resarchers have tried to avoid the problem by reducing thinking to production rules. There are at least tw