ULTIMATE TRUTH<i>VIS</i>-<i>À</i>-<i>VIS</i>STABLE TRUTH (Q3580664): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
(2 intermediate revisions by 2 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4075450 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The truth is never simple / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3329455 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A revenge-immune solution to the semantic paradoxes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4845457 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Infinite time Turing machines / rank
 
Normal rank
Property / cites work
 
Property / cites work: Notes on naive semantics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4411833 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Outline of a Theory of Truth / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4000317 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Elementary induction on abstract structures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4220572 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Eventually infinite time Turing machine degrees: infinite time decidable reals / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Revision as of 02:37, 3 July 2024

scientific article
Language Label Description Also known as
English
ULTIMATE TRUTH<i>VIS</i>-<i>À</i>-<i>VIS</i>STABLE TRUTH
scientific article

    Statements

    ULTIMATE TRUTH<i>VIS</i>-<i>À</i>-<i>VIS</i>STABLE TRUTH (English)
    0 references
    13 August 2010
    0 references
    0 references
    0 references
    0 references
    0 references
    subsystem of second-order arithmetic
    0 references
    ultimately true sentences
    0 references
    Field's revenge-immune solution model
    0 references
    semantic paradoxes
    0 references
    stably true sentences
    0 references
    Herzberger's revision sequence
    0 references
    comprehension axiom
    0 references
    determinately true operator
    0 references