Persistent and invariant formulas for outer extensions
Compositio Mathematica, Tome 20 (1968), pp. 29-52 
@article{CM_1968__20__29_0,
     author = {Feferman, Solomon},
     title = {Persistent and invariant formulas for outer extensions},
     journal = {Compositio Mathematica},
     pages = {29--52},
     year = {1968},
     publisher = {Wolters-Noordhoff Publishing},
     volume = {20},
     mrnumber = {230610},
     zbl = {0162.01601},
     language = {en},
     url = {https://www.numdam.org/item/CM_1968__20__29_0/}
}
TY  - JOUR
AU  - Feferman, Solomon
TI  - Persistent and invariant formulas for outer extensions
JO  - Compositio Mathematica
PY  - 1968
SP  - 29
EP  - 52
VL  - 20
PB  - Wolters-Noordhoff Publishing
UR  - https://www.numdam.org/item/CM_1968__20__29_0/
LA  - en
ID  - CM_1968__20__29_0
ER  - 
%0 Journal Article
%A Feferman, Solomon
%T Persistent and invariant formulas for outer extensions
%J Compositio Mathematica
%D 1968
%P 29-52
%V 20
%I Wolters-Noordhoff Publishing
%U https://www.numdam.org/item/CM_1968__20__29_0/
%G en
%F CM_1968__20__29_0
Feferman, Solomon. Persistent and invariant formulas for outer extensions. Compositio Mathematica, Tome 20 (1968), pp. 29-52. https://www.numdam.org/item/CM_1968__20__29_0/

K.J. Barwise [1] Infinitary logic and admissible sets, Dissertation, Stanford, 1967.

G. Choodnovsky [2] Some results in the theory of infinitely long expressions, (abstract) 3d Intl. Cong. for Logic, Methodology and Philosophy of Science, Amsterdam, 1967.

W. Craig [3] Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory, Journ. Symbolic Logic, v. 22 (1957), pp. 269 - 285. | Zbl

S. Feferman [4] Systems of predicative analysis, Journ. Symbolic Logic, v. 29 (1964), pp.1-30. | Zbl | MR

S. Feferman [5] Predicative provability in set theory, (Research Announcement) Bull. Amer. Math. Soc., v. 72 (1966), pp. 486-489. | Zbl | MR

S. Feferman [6] Autonomous transfinite progressions and the extent of predicative mathematics, Proc. 3d Intl. Cong. for Logic, Methodology and Philosophy of Science Amsterdam, 1967 (to appear). | Zbl | MR

S. Feferman [7] Lectures on proof theory, Proc. Leeds Institute in Logic, Summer 1967 (to appear). | Zbl | MR

S. Feferman and G. Kreisel [8] Persistent and invariant formulas relative to theories of higher order, (Research Announcement) Bull. Amer. Math. Soc., v. 72 (1966) pp. 480-485. | Zbl | MR

H.J. Keisler [9] End extensions of models of set theory, Proc. A. M. S. Institute on Set Theory, U.C.L.A., 1967 (to appear).

G. Kreisel [10] The axiom of choice and the class of hyperarithmetic functions, Indag. Math. v. 24 (1962), pp. 307-319. | Zbl | MR

G. Kreisel [11] Relative recursiveness in metarecursion theory (abstract) Journ. Symbolic Logic, v. 33 (1967) p. 442.

K. Kunen [12] Implicit definability and infinitary languages, Journ. Symbolic Logic (to appear). | Zbl | MR

E.G.K. Lopez-Escobar [13] An interpolation theorem for denumerably long formulas, Fund. Math. v. 57 (1965) pp. 253-272. | Zbl | MR | EuDML

R. Lyndon [14] Properties preserved under homomorphism, Pacif. Journ. Math. v. 9 (1959), pp. 143-154. | Zbl | MR

J.I. Malitz [15] Problems in the model theory of infinite languages, Dissertation, Berkeley, 1966.

A. Mostowski [16] On invariant, dual invariant and absolute formulas, Rozprawy Math. v. 29 (1962), pp. 1-38. | Zbl | MR | EuDML

S. Orey [17] Model theory for higher order predicate calculus, Trans. Amer. Math. Soc. v. 92 (1959), pp. 72-84. | Zbl | MR

A. Robinson [18] Introduction to model theory and to the metamathematics of algebra, North-Holland Publ. Co., Amsterdam, 1963. | Zbl | MR

D. Scott [19] Logic with denumerably long formulas and finite strings of quantifiers, in The theory of models (Proc. 1963 Symposium at Berkeley) North-Holland Publ. Co., Amsterdam (1965), pp. 329-341. | Zbl | MR

A. Tarski [20] Contributions to the theory of models, Indag. Math. v. 16 (1954), Part I pp. 572-581, Part II pp. 582-588. | Zbl

G. Krfisfl and J.L. Krivine [21] Elements of mathematical logic (model theory), North-Holland Publ. Co., Amsterdam (1967). | Zbl | MR