Gödelizing the Yablo sequence (Q381006): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 03F40 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 03A05 / rank | |||
Normal rank | |||
| Property / zbMATH DE Number | |||
| Property / zbMATH DE Number: 6227300 / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
incompleteness | |||
| Property / zbMATH Keywords: incompleteness / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
Omega-liar | |||
| Property / zbMATH Keywords: Omega-liar / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
Yablo's paradox | |||
| Property / zbMATH Keywords: Yablo's paradox / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
provability | |||
| Property / zbMATH Keywords: provability / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
arithmetic | |||
| Property / zbMATH Keywords: arithmetic / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
Gödel | |||
| Property / zbMATH Keywords: Gödel / rank | |||
Normal rank | |||
Revision as of 11:46, 29 June 2023
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Gödelizing the Yablo sequence |
scientific article |
Statements
Gödelizing the Yablo sequence (English)
0 references
15 November 2013
0 references
incompleteness
0 references
Omega-liar
0 references
Yablo's paradox
0 references
provability
0 references
arithmetic
0 references
Gödel
0 references
