7 results
Preservation theorem and relativization theorem for cofinal extensions1
-
- Journal:
- The Journal of Symbolic Logic / Volume 51 / Issue 4 / December 1986
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1022-1028
- Print publication:
- December 1986
-
- Article
- Export citation
A normal form theorem for first order formulas and its application to Gaifman's splitting theorem
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 4 / December 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1262-1267
- Print publication:
- December 1984
-
- Article
- Export citation
Equality and lyndon's interpolation theorem
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 1 / March 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 123-128
- Print publication:
- March 1984
-
- Article
- Export citation
An elimination theorem of uniqueness conditions in the intuitionistic predicate calculus
-
- Journal:
- Nagoya Mathematical Journal / Volume 85 / March 1982
- Published online by Cambridge University Press:
- 22 January 2016, pp. 223-230
- Print publication:
- March 1982
-
- Article
-
- You have access
- Export citation
A remark on Africk's paper on Scott's interpolation theorem for Lω1ω
-
- Journal:
- The Journal of Symbolic Logic / Volume 44 / Issue 1 / March 1979
- Published online by Cambridge University Press:
- 12 March 2014, p. 32
- Print publication:
- March 1979
-
- Article
- Export citation
Partially ordered interpretations
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 1 / March 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 83-93
- Print publication:
- March 1977
-
- Article
- Export citation
A remark on Scott's interpolation theorem for Lω1ω
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 1 / March 1977
- Published online by Cambridge University Press:
- 12 March 2014, p. 63
- Print publication:
- March 1977
-
- Article
- Export citation