Sciweavers

3353 search results - page 41 / 671
» Laver and set theory
Sort
View
JSYML
2000
71views more  JSYML 2000»
14 years 9 months ago
Applications of PCF Theory
We deal with several pcf problems; we characterize another version of exponentiation: number of -branches in a tree with nodes, deal with existence of independent sets in stable t...
Saharon Shelah
EUSFLAT
2009
156views Fuzzy Logic» more  EUSFLAT 2009»
14 years 7 months ago
On Classical, Fuzzy Classical, Quantum and Fuzzy Quantum Systems
In this paper we consider physical systems and the concept of their states in the context of the theory of fuzzy sets and systems. In section 1 we give a brief sketch on the fundam...
Rudolf Seising
ECSQARU
2007
Springer
15 years 3 months ago
Shared Ordered Binary Decision Diagrams for Dempster-Shafer Theory
The binary representation is widely used for representing focal sets of Dempster-Shafer belief functions because it allows to compute efficiently all relevant operations. However, ...
Norbert Lehmann
CSL
2009
Springer
15 years 4 months ago
Nominal Domain Theory for Concurrency
This paper investigates a methodology of using FM (Fraenkel-Mostowski) sets, and the ideas of nominal set theory, to adjoin name generation to a semantic theory. By developing a d...
David Turner, Glynn Winskel
BIRTHDAY
2008
Springer
14 years 11 months ago
Why Sets?
Sets play a key role in foundations of mathematics. Why? To what extent is it an accident of history? Imagine that you have a chance to talk to mathematicians from a far-away plane...
Andreas Blass