Log in :: RSS/Atom Feeds
Nagoya Mathematical Journal

A heterogeneous interpolant

Walter Taylor
Source: Nagoya Math. J. Volume 52 (1973), 31-33.
First Page: Show Hide
Primary Subjects: 02B25
Secondary Subjects: 02D99
Full-text: Open access
PDF File (275 KB)
Links and Identifiers

Permanent link to this document: http://projecteuclid.org/euclid.nmj/1118794873
Mathematical Reviews number (MathSciNet): MR0332432
Zentralblatt MATH identifier: 0284.02006

References

[1] Barwise, J., ed., The syntax and semantics of infinitary languages, Lecture notes in mathematics 72, Springer-Verlag, Berlin, 1968.
Mathematical Reviews (MathSciNet): MR0234827
Zentralblatt MATH: 0165.00102
[2] Henkin, L., Some remarks on infinitely long formulas, pp. 167-183 in Infinitistic methods (Proceedings of the symposium on foundations of mathematics, Warsaw, September, 1959), Pergamon, Pastwowe Wydawnictwo Naukowe, Warsaw, 1961.
Mathematical Reviews (MathSciNet): MR0143691
Zentralblatt MATH: 0121.25308
[3] Malitz, J., Infinitary analogs of theorems from first order model theory, J. Symbolic Logic 36 (1971), 216-228.
Mathematical Reviews (MathSciNet): MR0290943
Zentralblatt MATH: 0232.02037
Digital Object Identifier: doi:10.2307/2270256
[4] Mycielski, J., On the axiom of determinateness, Fund. Math., 53 (1964), 205-224.
Mathematical Reviews (MathSciNet): MR0161787
Zentralblatt MATH: 0168.25101
[5].) Added July 18, 197S The following articles give further information on Takeuti's (and other) interpolation theorems
[6] Kueker, D. W., Lowenheim-Skolem and interpolation theorems in infinitary lan- guages, Bull. Amer. Math. Soc. 78 (1972), 211-215.
Mathematical Reviews (MathSciNet): MR0290942
Zentralblatt MATH: 0264.02017
Digital Object Identifier: doi:10.1090/S0002-9904-1972-12921-5
Project Euclid: euclid.bams/1183533473
[7] Nebres, B. F., Herbrand uniformity theorems for infinitary languages, J. Math. Soc. Japan 24 (1972), 1-19.
Mathematical Reviews (MathSciNet): MR0300861
Zentralblatt MATH: 0221.02006
Digital Object Identifier: doi:10.2969/jmsj/02410001
Project Euclid: euclid.jmsj/1259849852
[8] Swett, A. K., Interpolation theorems for languages with game quantifiers, ms., Toronto, 1973. University of Colorado

2013 © Editorial Board, Nagoya Mathematical Journal

Nagoya Mathematical Journal

Nagoya Mathematical Journal

Turn MathJax Off
What is MathJax?