论文信息 - Set-Theoretical foundations of category theory - 字舞流文

Set-Theoretical foundations of category theory

Solomon Feferman | Georg Kreisel

[1] E. Zermelo. Über Grenzzahlen und Mengenbereiche , 1930 .

[2] Thomas L. Saaty,et al. Lectures on modern mathematics , 1963 .

[3] G. Kreisel,et al. Elements of Mathematical Logic: Model Theory , 1971 .

[4] Law Fw. FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES. , 1963 .

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

[6] Joseph R. Shoenfield,et al. Mathematical logic , 1967 .

[7] Azriel Lévy. AXIOM SCHEMATA OF STRONG INFINITY IN AXIOMATIC SET THEORY , 1960 .

[8] K. Gödel. The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis. , 1938, Proceedings of the National Academy of Sciences of the United States of America.

[9] P. Gabriel,et al. Des catégories abéliennes , 1962 .

[10] F. W. Lawvere,et al. The Category of Categories as a Foundation for Mathematics , 1966 .

[11] R. Montague,et al. Natural models of set theories , 1959 .

[12] S. Lane. Foundations for categories and sets , 1969 .