论文信息 - Non-standard satisfaction classes - 字舞流文

Non-standard satisfaction classes

Stanisław Krajewski

[1] Robert L. Vaught,et al. Axiomatizability by a schema , 1968, Journal of Symbolic Logic.

[2] Remark to “local definability theory” of Reyes☆ , 1971 .

[3] Abraham Robinson. On languages which are based on non-standard arithmetic , 1963 .

[4] Stanissław Krajewski. Predicative Expansions of Axiomatic Theories , 1974 .

[5] Alfred Tarski. Pojęcie prawdy w językach nauk dedukcyjnych , 1933 .

[6] Jon Barwise,et al. On recursively saturated models of arithmetic , 1975 .

[7] A. Mostowski. Some impredicative definitions in the axiomatic set theory , 1950 .