Provability in arithmetic and a schema of Grzegorczyk

George Boolos

Fundamenta Mathematicae (1980)

  • Volume: 106, Issue: 1, page 41-45
  • ISSN: 0016-2736

How to cite

top

Boolos, 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 ?

top

You must be logged in to post comments.