This talk looks at the relationship between three foundational systems: Goedel's Constructible Universe of Sets, the naive conception of set found in consistent fragments of Frege's Grundgesetze, and the intensional logic of Church's Logic of Sense and Denotation. One basic result shows how to use the constructible sets to build models of fragments of Frege's Grundgesetze from which one can recover these very constructible sets using Frege's definition of membership. This result also allows us to solve the related consistency problem and joint consistency problems for abstraction principles with limited amounts of comprehension. Another basic aim of this paper is to show how to "factor'' this result via a consistent fragment of Church's Logic of Sense and Denotation: so one may use the constructible sets to build models of Church's Logic of Sense and Denotation, from which one may then define models of the consistent fragments of Frege's Grundgesetze.
Preprint: https://www.dropbox.com/s/afhcz8bzy4pdsoc/walsh-sean-CU%2BNC%2BIL-11-19-...
 

 
In this short talk, we will present an alternative approach to computational fluid dynamics，reaction-diffusion and flows in porous media. We outline its physical basis and mathematical derivation along with numerous applications. Some strengths and limitations of the method will be also pointed out.

This is the third talk in the series of presentations of early applications of Martin's Maximum due to Foreman, Magidor and Shelah.