๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

TwistedK-theory for actions of Lie groupoids and its completion theorem

โœ Scribed by Jose Cantarero


Publisher
Springer-Verlag
Year
2010
Tongue
French
Weight
318 KB
Volume
268
Category
Article
ISSN
0025-5874

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Completeness theorem for dummett's LC qu
โœ Giovanna Corsi ๐Ÿ“‚ Article ๐Ÿ“… 1992 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 873 KB

Dummett's logic LC quantified, Q-LC, is shown to be characterized by the extended frame (Q+, <,D), where Q+ is the set of non-negative rational numbers, \_< is the numerical relation "less or equal then" and D is the domain function such that for all v, w E Q+, D~ r ~ and if v < w, then Do C Dw. Mor