Automorphisms of the truth-table degrees are fixed on a cone
Journal of Symbolic Logic 74 (2):679-688 (2009)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,882 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesFrank Stephan (2001). On the Structures Inside Truth-Table Degrees. Journal of Symbolic Logic 66 (2):731-770.
A. S. Morozov & J. K. Truss (2001). On Computable Automorphisms of the Rational Numbers. Journal of Symbolic Logic 66 (3):1458-1470.
Klaus Ambos-Spies, Peter A. Fejer, Steffen Lempp & Manuel Lerman (1996). Decidability of the Two-Quantifier Theory of the Recursively Enumerable Weak Truth-Table Degrees and Other Distributive Upper Semi-Lattices. Journal of Symbolic Logic 61 (3):880-905.
Johanna N. Y. Franklin (2010). Subclasses of the Weakly Random Reals. Notre Dame Journal of Formal Logic 51 (4):417-426.
Kevin Wald (2002). On Orbits of Prompt and Low Computably Enumerable Sets. Journal of Symbolic Logic 67 (2):649-678.
Philip Kremer (2008). Supervaluation Fixed-Point Logics of Truth. Journal of Philosophical Logic 37 (5).
Bjørn Kjos-Hanssen (2003). Local Initial Segments of the Turing Degrees. Bulletin of Symbolic Logic 9 (1):26-36.
Paul Fischer (1986). Pairs Without Infimum in the Recursively Enumerable Weak Truth Table Degrees. Journal of Symbolic Logic 51 (1):117-129.
Peter A. Fejer & Richard A. Shore (1988). Infima of Recursively Enumerable Truth Table Degrees. Notre Dame Journal of Formal Logic 29 (3):420-437.
Franz Huber (2009). Belief and Degrees of Belief. In Franz Huber & Christoph Schmidt-Petri (eds.), Degrees of Belief. Springer.
Rich Blaylock, Rod Downey & Steffen Lempp (1997). Infima in the Recursively Enumerable Weak Truth Table Degrees. Notre Dame Journal of Formal Logic 38 (3):406-418.
Klaus Ambos-Spies, André Nies & Richard A. Shore (1992). The Theory of the Recursively Enumerable Weak Truth-Table Degrees is Undecidable. Journal of Symbolic Logic 57 (3):864-874.
Marek Nowak (1990). Logics Preserving Degrees of Truth. Studia Logica 49 (4):483 - 499.
Josep Maria Font (2009). Taking Degrees of Truth Seriously. Studia Logica 91 (3):383 - 406.
Analytics
Monthly downloads |
Added to index2010-09-12Total downloads2 ( #234,778 of 556,909 )Recent downloads (6 months)1 ( #64,931 of 556,909 )How can I increase my downloads? |
My notes
Discussion
