- J-STAGE home
- /
- Journal of the Mathematical So ...
- /
- Volume 24 (1972) Issue 1
- /
- Article overview
Herbrand uniformity theorems for infinitary languages
Bienvenido F. NEBRES
Author information
-
Bienvenido F. NEBRES
Stanford University and Ateneo de Manila
JOURNAL
FREE ACCESS
1972 Volume 24 Issue 1 Pages 1-19
Details
- Published: 1972 Received: October 26, 1970 Available on J-STAGE: September 29, 2006 Accepted: - Advance online publication: - Revised: -
-
Correction information
Date of correction: September 29, 2006 Reason for correction: - Correction: CITATION Details: Right : [1] J. Barwise, Infinitary Logic and Admissible Sets, J. Symbolic Logic, 34 (1969), 226-252.
[2] J. Barwise, Infinitary Logic and Admissible Sets, Dissertation, Stanford Univ., 1967.
[3] J. Denton and B. Dreben, Herbrand-style Consistency Proofs, (Unpublished).
[4] S. Feferman, Lectures on Proof Theory, Proc. of the Summer School in Logic, Leeds, 1967, Lecture Notes in Math., No. 70, Springer-Verlag, 1968, pp. 1-107.
[5] C. Karp, Languages with Expressions of Infinite Length, North-Holland Publ. Co., Amsterdam, 1964.
[6] S. C. Kleene, Mathematical Logic, John Wiley and Sons, Inc., New York, 1967.
[7] G. Kreisel, On the Concepts of Completeness and Interpretation of Formal Systems, Fund. Math., 39 (1952), 103-127.
[8] G. Kreisel and J. L. Krivine, Elements of Mathematical Logic, North-Holland Publ. Co., Amsterdam, 1967.
[9] J. Malitz, Problems in the Model Theory of Infinitary Languages, Doctoral Dissertation, Univ. of California, Berkeley, California, 1965.
[10] R. Smullyan, First-order Logic, Springer-Verlag, New York, 1968.
[11] W. W. Tait, Normal Derivability in Classical Logic, The Syntax and Semantics of Infinitary Languages, Lecture Notes in Math., No. 72, Springer-Verlag, 1968, pp. 204-236.
[12] G. Takeuti, A Determinate Logic, Nagoya Math. J., 38 (1970), 113-138.
[13] G. Takeuti, Consistency Proofs of Subsystems of Classical Analysis, Ann. of Math., 86 (1967), 299-348.
Date of correction: September 29, 2006 Reason for correction: - Correction: PDF FILE Details: -
Download PDF (616K)
Download citation
RIS
BIB TEX
Text
How to download citation
Contact us
(compatible with EndNote, Reference Manager, ProCite, RefWorks)
(compatible with BibDesk, LaTeX)
Article 1st page
