Model theory for the higher order predicate calculus
HTML articles powered by AMS MathViewer
- by Steven Orey PDF
- Trans. Amer. Math. Soc. 92 (1959), 72-84 Request permission
References
- Leon Henkin, The completeness of the first-order functional calculus, J. Symbolic Logic 14 (1949), 159–166. MR 33781, DOI 10.2307/2267044
- Leon Henkin, Completeness in the theory of types, J. Symbolic Logic 15 (1950), 81–91. MR 36188, DOI 10.2307/2266967
- Leon Henkin, Some interconnections between modern algebra and mathematical logic, Trans. Amer. Math. Soc. 74 (1953), 410–427. MR 55287, DOI 10.1090/S0002-9947-1953-0055287-X
- K. Jaakko J. Hintikka, Reductions in the theory of types, Acta Philos. Fenn. 8 (1955), 57–115. MR 71382
- Andrzej Mostowski, On absolute properties of relations, J. Symbolic Logic 12 (1947), 33–42. MR 26019, DOI 10.2307/2267246
- Abraham Robinson, On the metamathematics of algebra, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Co., Amsterdam, 1951. MR 0046322
- Abraham Robinson, Note on a problem of L. Henkin, J. Symbolic Logic 21 (1956), 33–35. MR 75896, DOI 10.2307/2268483
Additional Information
- © Copyright 1959 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 92 (1959), 72-84
- MSC: Primary 02.00
- DOI: https://doi.org/10.1090/S0002-9947-1959-0107600-8
- MathSciNet review: 0107600