References
The fundamental idea of this proof is due to the first of the authors.
The term “prime ideal” is used in this article to denote a set having the same properties as the set designated by the term “proper prime ideal” inReichbach's article [1].
Bribliography
J. Reichbach:O pelności węższego rachunku funkcyjnego. Studia Logica, t. II. Warszawa 1955.
J. Słupecki, W. A. Pogorzelski:Dowód pełności klasycznego zdań na gruncie aksjomatycznej metodologii. Zeszyty Naukowe Universytetu Worcłwskiego, Seria B, nr 4. Wrocław 1962.
A. Tarski:Fundamentale Begriffe der Metheodologie der deduktiven Wissenchaften I. Monatshefte für Mathematik und Physik, XXXII Band. Leipzig 1931.
Additional information
Allatum est die 3 Novembris 1960
Rights and permissions
About this article
Cite this article
Słupecki, J., Pogorzeilski, W.A. A variant of the proof of the completeness of the first order functional calculus. Stud Logica 12, 125–130 (1961). https://doi.org/10.1007/BF02126825
Issue Date:
DOI: https://doi.org/10.1007/BF02126825