3353 search results - page 8 / 671 » Laver and set theory |
BSL
2008
14 years 9 months ago
2008
We discuss the work of Paul Cohen in set theory and its influence, especially the background, discovery, development of forcing. Paul Joseph Cohen (1934
JSYML
2006
14 years 9 months ago
2006
Abstract. We present a generalisation of the type-theoretic interpretation of constructive set theory into Martin-L
RSKT
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. A new interpretation of rules in rough set theory is introduced. According to the positive, boundary, and negative regions of a set, one can make a three-way decision: ac...
RSCTC
2004
Springer
15 years 3 months ago
2004
Springer
The theory of rough sets and formal concept analysis are compared in a common framework based on formal contexts. Different concept lattices can be constructed. Formal concept ana...
AML
2005
14 years 9 months ago
2005
In this article we show how to use the result in J