Axiomatisation indépendante des ensembles dénombrables de formules en logique intuitionniste
Compositio Mathematica (1968)
- Volume: 20, page 170-187
- ISSN: 0010-437X
Access Full Article
top
How to cite
topReznikoff, Iégor. "Axiomatisation indépendante des ensembles dénombrables de formules en logique intuitionniste." Compositio Mathematica 20 (1968): 170-187. <http://eudml.org/doc/88976>.
@article{Reznikoff1968,
author = {Reznikoff, Iégor},
journal = {Compositio Mathematica},
keywords = {mathematical logic},
language = {fre},
pages = {170-187},
publisher = {Wolters-Noordhoff Publishing},
title = {Axiomatisation indépendante des ensembles dénombrables de formules en logique intuitionniste},
url = {http://eudml.org/doc/88976},
volume = {20},
year = {1968},
}
TY - JOUR
AU - Reznikoff, Iégor
TI - Axiomatisation indépendante des ensembles dénombrables de formules en logique intuitionniste
JO - Compositio Mathematica
PY - 1968
PB - Wolters-Noordhoff Publishing
VL - 20
SP - 170
EP - 187
LA - fre
KW - mathematical logic
UR - http://eudml.org/doc/88976
ER -
References
top- S. Kleene [1] Introduction to Metamathematics, Amsterdam (1952) Zbl0047.00703MR51790
- I. Reznikoff [2] Tout ensemble de formules de la logique classique est équivalent à un ensemble indépendant, C. R. Acad. Sc. Paris260 p. 2385 — 88 (1965). Zbl0143.00702
- I. Reznikoff [3] Sur les ensembles dénombrables de formules en logique intuitionniste, Ibid. 262 p. 415-18 (1966). Zbl0143.00703MR194334
- I. Reznikoff [4] Thèse (polycopiée)Paris (1966).
- I. Reznikoff [5] Independent recursive axiomatization in intuitionistic logic. A paraitre dans Algebra i Logika, Novosibirsk. Zbl0203.00701MR226996
- A. Tarski [6] in C. R. Soc. Sc. et L. Varsovie III, 23 (1930).
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.