A Godel-Functional Interpretation of the ω-Rule
Δελτίο της Ελληνικής Μαθηματικής Εταιρίας (1982)
- Volume: 23, Issue: 23, page 89-94
- ISSN: 0072-7466
Access Full Article
top
How to cite
topGeorge 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 ?
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.