A Godel-Functional Interpretation of the ω-Rule

George Koletsos

Δελτίο της Ελληνικής Μαθηματικής Εταιρίας (1982)

  • Volume: 23, Issue: 23, page 89-94
  • ISSN: 0072-7466

How to cite

top

George Koletsos. "A Godel-Functional Interpretation of the ω-Rule." Δελτίο της Ελληνικής Μαθηματικής Εταιρίας 23.23 (1982): 89-94. <http://eudml.org/doc/239018>.

@article{GeorgeKoletsos1982,
author = {George Koletsos},
journal = {Δελτίο της Ελληνικής Μαθηματικής Εταιρίας},
keywords = {Gödel’s functional system T; omega rule; second-order quantifiers; first-order arithmetic},
language = {eng},
number = {23},
pages = {89-94},
title = {A Godel-Functional Interpretation of the ω-Rule},
url = {http://eudml.org/doc/239018},
volume = {23},
year = {1982},
}

TY - JOUR
AU - George Koletsos
TI - A Godel-Functional Interpretation of the ω-Rule
JO - Δελτίο της Ελληνικής Μαθηματικής Εταιρίας
PY - 1982
VL - 23
IS - 23
SP - 89
EP - 94
LA - eng
KW - Gödel’s functional system T; omega rule; second-order quantifiers; first-order arithmetic
UR - http://eudml.org/doc/239018
ER -

NotesEmbed ?

top

You must be logged in to post comments.