Fixed-Point Posets in Theories of Truth

Download Edit this record How to cite View on PhilPapers
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.
No keywords specified (fix it)
Reprint years
PhilPapers/Archive ID
Revision history
Archival date: 2018-08-26
View upload history
References found in this work BETA
The Revision Theory of Truth.Gupta, A. & Belnap, N.
The Revision Theory of Truth.Gupta, Anil & Belnap, Nuel
On Representing ‘True-in-L’ in L.Martin, Robert L. & Woodruff, Peter W.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index

Total views
103 ( #24,358 of 40,772 )

Recent downloads (6 months)
59 ( #9,327 of 40,772 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.