ULTIMATE TRUTH<i>VIS</i>-<i>À</i>-<i>VIS</i>STABLE TRUTH (Q3580664): Difference between revisions
From MaRDI portal
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 / name | links / 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
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