Determinacy for open class games is preserved by forcing, CUNY Set Theory Seminar, April 2018. Nonamalgamation in the generic multiverse, CUNY Logic Workshop, March 2018. Classification of scattered linear orders. GDMV Jahrestagung Paderborn - Projective homogeneous spaces and the Wadge hierarchy.

Workshop on Decision Theory and Epistemology. RECENT WORK IN DECISION THEORY AND EPISTEMOLOGY. More information can be found here. UNIVERSITY SEMINAR ON LOGIC, PROBABILITY, AND GAMES. The second part of the .

Mathematics and philosophy of the infinite. List of My Graduate Students. Different set theories are never bi-interpretable. Different set theories extending ZF are never bi-interpretable! For showing specifically that ZF and ZFC are.

Philosophy, Science, and Method. Dedicated to promoting philosophy that maintains significant contact with mathematics or science. Tuesday, January 31, 2012. Horacio Arló-Costa, Johan van Benthem, Vincent F. Monday, January 30, 2012. CFP - Logic Workshop at Buenos Aires.

There is a not so short tradition in logic at Fudan University. However, we are a young group at Fudan and nearby area interested in logic, especially in mathematical logic such as set theory and computability theory, the philosophy or the foundation of mathematics, and also the philosophy of logic. We are eager to communicate with people from all over the world who are sharing the same interest.

Last week at the CUNY set theory seminar. As mentioned, the key property that Bukovský isolated is a kind of covering property between a pair of models. We may focus on the case of the relationship between the universe. For us an inner model. Be an inner model and let. That is to say,. So that it is forced that.