Matches in UGent Biblio for { <https://biblio.ugent.be/publication/4443766#aggregation> ?p ?o. }
Showing items 1 to 33 of
33
with 100 items per page.
- aggregation classification "A1".
- aggregation creator B926993.
- aggregation creator person.
- aggregation date "2013".
- aggregation format "application/pdf".
- aggregation hasFormat 4443766.bibtex.
- aggregation hasFormat 4443766.csv.
- aggregation hasFormat 4443766.dc.
- aggregation hasFormat 4443766.didl.
- aggregation hasFormat 4443766.doc.
- aggregation hasFormat 4443766.json.
- aggregation hasFormat 4443766.mets.
- aggregation hasFormat 4443766.mods.
- aggregation hasFormat 4443766.rdf.
- aggregation hasFormat 4443766.ris.
- aggregation hasFormat 4443766.txt.
- aggregation hasFormat 4443766.xls.
- aggregation hasFormat 4443766.yaml.
- aggregation isPartOf urn:issn:0022-3611.
- aggregation language "eng".
- aggregation rights "I have transferred the copyright for this publication to the publisher".
- aggregation subject "Philosophy and Religion".
- aggregation title "Gödelizing the Yablo sequence".
- aggregation abstract "We investigate what happens when 'truth' is replaced with 'provability' in Yablo's paradox. By diagonalization, appropriate sequences of sentences can be constructed. Such sequences contain no sentence decided by the background consistent and sufficiently strong arithmetical theory. If the provability predicate satisfies the derivability conditions, each such sentence is provably equivalent to the consistency statement and to the Godel sentence. Thus each two such sentences are provably equivalent to each other. The same holds for the arithmetization of the existential Yablo paradox. We also look at a formulation which employs Rosser's provability predicate.".
- aggregation authorList BK1309061.
- aggregation endPage "695".
- aggregation issue "5".
- aggregation startPage "679".
- aggregation volume "42".
- aggregation aggregates 4443767.
- aggregation isDescribedBy 4443766.
- aggregation similarTo s10992-012-9244-4.
- aggregation similarTo LU-4443766.