David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
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)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library||
References found in this work BETA
No references found.
Citations of this work BETA
Robert Goldblatt (2011). Grishin Algebras and Cover Systems for Classical Bilinear Logic. Studia Logica 99 (1-3):203-227.
Similar books and articles
Jeffrey A. Barrett (2005). Relativistic Quantum Mechanics Through Frame-Dependent Constructions. Philosophy of Science 72 (5):802-813.
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.
A. Avron & B. Konikowska (2008). Rough Sets and 3-Valued Logics. Studia Logica 90 (1):69 - 92.
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.
Ulrich Höhle (1998). GL-Quantales: Q-Valued Sets and Their Singletons. [REVIEW] Studia Logica 61 (1):123-148.
Arnold W. Miller (1990). Set Theoretic Properties of Loeb Measure. Journal of Symbolic Logic 55 (3):1022-1036.
Added to index2009-01-28
Total downloads7 ( #209,974 of 1,410,540 )
Recent downloads (6 months)1 ( #178,988 of 1,410,540 )
How can I increase my downloads?