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

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index

Total views
62 ( #26,934 of 38,058 )

Recent downloads (6 months)
37 ( #10,469 of 38,058 )

How can I increase my downloads?

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