Set-theoretic absoluteness and the revision theory of truth

DOI10.1023/A:1011946004905zbMath1029.03003OpenAlexW2142519180MaRDI QIDQ5951910

Benedikt Loewe, Philip D. Welch

Publication date: 8 February 2004

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1011946004905

zbMATH Keywords

infinite time Turing machineslimit rulesrevision theory of truth

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Turing machines and related notions (03D10) Set theory (03E99) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items (10)

On revision operators ⋮ SOLOVAY-TYPE THEOREMS FOR CIRCULAR DEFINITIONS ⋮ Conditionals in theories of truth ⋮ Rethinking revision ⋮ Periodicity and reflexivity in revision sequences ⋮ Guest editors' introduction ⋮ Revision without revision sequences: self-referential truth ⋮ Characteristics of discrete transfinite time Turing machine models: Halting times, stabilization times, and normal form theorems ⋮ Cofinally invariant sequences and revision ⋮ Comparing inductive and circular definitions: Parameters, complexity and games

This page was built for publication: Set-theoretic absoluteness and the revision theory of truth