Volume 00, Number 0, Xxx 0000 On Revision Operators P.D.Welch  Home/Search
Context
Related
| maths.bris.ac.uk/~mapd...opsjslfinal.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: maths.bris.ac.uk/~mapdw/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We look at various notions of a class of definability operations that generalise inductive operations, and are characterised as "revision operations". More particularly we: (i) characterise the revision theoretically definable subsets of a countable acceptable structure; (ii) show that the categorical truth set of Belnap and Gupta's theory of truth over arithmetic using fully varied revision sequences yields a complete 3 set of integers; (iii) the set of stably categorical sentences... (Update)
Similar documents (at the sentence level):
44.6%: On Revision Operators - Welch (Correct)
Active bibliography (related documents): More All
2.0: On Gupta-Belnap Revision Theories of Truth, Kripkean Fixed Points, .. - Welch (Correct)
0.8: Set-Theoretic Absoluteness and The Revision Theory of Truth - Löwe, Welch (2000) (Correct)
0.5: A Theory of Truth that prefers falsehood - Fitting (1994) (Correct)
Similar documents based on text: More All
0.1: Invariant Definability and P/poly - Makowsky (1999) (Correct)
0.1: On Elementary Embeddings From An Inner Model To The Universe - Vickers, Welch (2001) (Correct)
0.1: EPR-like "funny business" in the theory - Of Branching Space-Times (Correct)
BibTeX entry: (Update)
@misc{ xxx-journal,
author = "Volume Number Xxx",
title = "The Journal Of Symbolic Logic",
url = "citeseer.ist.psu.edu/617166.html" }
Citations (may not include all citations):120 Elementary induction on abstract structures (context) - MOSCHOVAKIS - 1974
39 Outline of a theory of truth (context) - KRIPKE - 1975
29 Perspectives in Mathematical Logic (context) - BARWISE, sets - 1975
20 Fundamenta Mathematicae (context) - inductive - 1974
19 Journal of Philosophical Logic (context) - naive - 1982
16 The revision theory of truth (context) - GUPTA, BELNAP - 1993
12 Perspectives in Mathematical Logic (context) - DEVLIN - 1984
10 Infinite time Turing machines (context) - HAMKINS, LEWIS - 2000
7 Bulletin de l'Academie Polonaise des Sciences (context) - GANDY, of et al. - 1960
7 The truth is never simple (context) - BURGESS - 1986
5 Alternate revision theories of truth (context) - CHAPUIS - 1996
4 Fundamenta Mathematicae (context) - FRIEDMAN, the - 1974
3 A revision-theoretic analysis of the arithmetical hierarchy (context) - ANTONELLI - 1994
2 a defense of the revision theory of truth (context) - UB, speaks et al.
2 Naive semantics and the Liar paradox (context) - HERZBERGER - 1982
2 Revision sequences and computers with an infinite amount of .. (context) - OWE - 2001
1 A generalization of the limit lemma and clopen games (context) - CLOTE - 1986
1 Set-theoretic absoluteness and the revision theory of truth (context) - OWE, WELCH - 2001
1 The Gupta-Belnap systems S # and S are not axiomatisable (context) - KREMER - 1993
1 Kripkean fixed points and the next stable set (context) - revision, truth - 2001
1 Recursive function theory (context) - ROGERS - 1967
1 an algorithmic theory of truth (context) - WELCH
Documents on the same site (http://www.maths.bris.ac.uk/~mapdw/): More
On Unfoldable Cardinals and the beginning of the inner model.. - Welch (2001) (Correct)
On Possible Non-Homeomorphic Substructures Of The Real Line - Welch (Correct)
P^f ≠ NP^f for almost all f - Hamkins, Welch (2002) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC