Arithmetical completeness versus relative completeness (Q1117212)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Arithmetical completeness versus relative completeness |
scientific article; zbMATH DE number 4091473
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Arithmetical completeness versus relative completeness |
scientific article; zbMATH DE number 4091473 |
Statements
Arithmetical completeness versus relative completeness (English)
0 references
1989
0 references
By using nonstandard models for arithmetics and Skolemization techniques, the author shows that as far as finitistic proof systems for dynamic logic are concerned, we cannot expect more than D. Harel's arithmetical completeness.
0 references
nonstandard models
0 references
Skolemization
0 references
finitistic proof systems
0 references
dynamic logic
0 references
arithmetical completeness
0 references
0 references
