Provability in arithmetic and a schema of Grzegorczyk
Fundamenta Mathematicae (1980)
- Volume: 106, Issue: 1, page 41-45
- ISSN: 0016-2736
Access Full Article
top
How to cite
topBoolos, George. "Provability in arithmetic and a schema of Grzegorczyk." Fundamenta Mathematicae 106.1 (1980): 41-45. <http://eudml.org/doc/211104>.
@article{Boolos1980,
author = {Boolos, George},
journal = {Fundamenta Mathematicae},
keywords = {interpretation of modal operators; predicates definable in Peano Arithmetic; provability predicate},
language = {eng},
number = {1},
pages = {41-45},
title = {Provability in arithmetic and a schema of Grzegorczyk},
url = {http://eudml.org/doc/211104},
volume = {106},
year = {1980},
}
TY - JOUR
AU - Boolos, George
TI - Provability in arithmetic and a schema of Grzegorczyk
JO - Fundamenta Mathematicae
PY - 1980
VL - 106
IS - 1
SP - 41
EP - 45
LA - eng
KW - interpretation of modal operators; predicates definable in Peano Arithmetic; provability predicate
UR - http://eudml.org/doc/211104
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.