Graduate studies at Western
|Abstract||In the present paper the concept of a covering is presented and developed. The relationship between cover schemes, frames (complete Heyting algebras), Kripke models, and frame-valued set theory is discussed. Finally cover schemes and framevalued set theory are applied in the context of Markopoulou’s account of discrete spacetime as sets “evolving” over a causal set. We observe that Markopoulou’s proposal may be effectively realized by working within an appropriate frame-valued model of set theory. We go on to show that, within this framework, cover schemes may be used to force certain conditions to prevail in the associated models: for example, rendering the universe timeless, obliterating a given event or forcing it to become the universe’s “beginning”.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Arnold W. Miller (1990). Set Theoretic Properties of Loeb Measure. Journal of Symbolic Logic 55 (3):1022-1036.
Ulrich Höhle (1998). GL-Quantales: Q-Valued Sets and Their Singletons. [REVIEW] Studia Logica 61 (1):123-148.
Mirja Mikkilä, Jussi Heinimö, Virgilio Panapanaan & Lassi Linnanen (2008). From Local Product to Global Commodity. Proceedings of the International Association for Business and Society 19:421-431.
A. Avron & B. Konikowska (2008). Rough Sets and 3-Valued Logics. Studia Logica 90 (1):69 - 92.
J. B. Rosser & A. R. Turquette (1948). Axiom Schemes for M-Valued Functional Calculi of First Order: Part I. Definition of Axiom Schemes and Proof of Plausibility. Journal of Symbolic Logic 13 (4):177-192.
Jeffrey A. Barrett (2005). Relativistic Quantum Mechanics Through Frame-Dependent Constructions. Philosophy of Science 72 (5):802-813.
Added to index2009-01-28
Total downloads6 ( #154,984 of 741,392 )
Recent downloads (6 months)1 ( #61,802 of 741,392 )
How can I increase my downloads?