Authors
Stephen Mackereth
University of Pittsburgh
Abstract
We show that any coherent complete partial order is obtainable as the fixed-point poset of the strong Kleene jump of a suitably chosen first-order ground model. This is a strengthening of Visser’s result that any finite ccpo is obtainable in this way. The same is true for the van Fraassen supervaluation jump, but not for the weak Kleene jump.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Reprint years 2019
ISBN(s)
DOI 10.1007/s10992-018-9479-9
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

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

Outline of a Theory of Truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
The Revision Theory of Truth.Vann McGee - 1996 - Philosophy and Phenomenological Research 56 (3):727-730.
On Representing ‘True-in-L’ in L.Robert L. Martin - 1975 - Philosophia 5 (3):213-217.
Semantics and the Liar Paradox.Albert Visser - 1989 - Handbook of Philosophical Logic 4 (1):617--706.

View all 7 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Supervaluation Fixed-Point Logics of Truth.Philip Kremer & Alasdair Urquhart - 2008 - Journal of Philosophical Logic 37 (5):407-440.
Comparing Fixed-Point and Revision Theories of Truth.Philip Kremer - 2009 - Journal of Philosophical Logic 38 (4):363-403.
On the Weak Kleene Scheme in Kripke's Theory of Truth.James Cain & Zlatan Damnjanovic - 1991 - Journal of Symbolic Logic 56 (4):1452-1468.
A Fixed Point Theorem for the Weak Kleene Valuation Scheme.Anil Gupta & Robert L. Martin - 1984 - Journal of Philosophical Logic 13 (2):131 - 135.
From Closure Games to Strong Kleene Truth.Stefan Wintein - 2016 - Notre Dame Journal of Formal Logic 57 (2):153-179.
Yet Another Hierarchy Theorem.Max Kubierschky - 2000 - Journal of Symbolic Logic 65 (2):627-640.
Yet Another Hierarchy Theorem.Max Kubierschky - 2000 - Journal of Symbolic Logic 65 (2):627-640.
Fixed-Point Models for Theories of Properties and Classes.Greg Restall - 2017 - Australasian Journal of Logic 14 (1).
Fixed Point Logics.Anuj Dawar & Yuri Gurevich - 2002 - Bulletin of Symbolic Logic 8 (1):65-88.

Analytics

Added to PP index
2018-08-26

Total views
246 ( #34,332 of 2,401,732 )

Recent downloads (6 months)
49 ( #15,823 of 2,401,732 )

How can I increase my downloads?

Downloads

My notes