Consistency, models, and soundness (Q551223): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 03A05 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 01A60 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 03-03 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 03F30 / rank | |||
Normal rank | |||
| Property / zbMATH DE Number | |||
| Property / zbMATH DE Number: 5923987 / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
compactness theorem | |||
| Property / zbMATH Keywords: compactness theorem / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
completeness theorem | |||
| Property / zbMATH Keywords: completeness theorem / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
relative/direct/approximative consistency proof | |||
| Property / zbMATH Keywords: relative/direct/approximative consistency proof / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
consistency statement | |||
| Property / zbMATH Keywords: consistency statement / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
creation by definition | |||
| Property / zbMATH Keywords: creation by definition / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
finitist point of view | |||
| Property / zbMATH Keywords: finitist point of view / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
game formalism | |||
| Property / zbMATH Keywords: game formalism / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
metamathematics | |||
| Property / zbMATH Keywords: metamathematics / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
\(\Pi^0_1\)-sentence | |||
| Property / zbMATH Keywords: \(\Pi^0_1\)-sentence / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
soundness | |||
| Property / zbMATH Keywords: soundness / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
transfinite induction | |||
| Property / zbMATH Keywords: transfinite induction / rank | |||
Normal rank | |||
Revision as of 13:43, 1 July 2023
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Consistency, models, and soundness |
scientific article |
Statements
Consistency, models, and soundness (English)
0 references
14 July 2011
0 references
compactness theorem
0 references
completeness theorem
0 references
relative/direct/approximative consistency proof
0 references
consistency statement
0 references
creation by definition
0 references
finitist point of view
0 references
game formalism
0 references
metamathematics
0 references
\(\Pi^0_1\)-sentence
0 references
soundness
0 references
transfinite induction
0 references
