Posts

Posted by

Bijection Categories

Post a Comment
Posted by

Accuracy-based arguments for the Principal Principle

Post a Comment
Posted by

Wald's Formulation of Leibniz Equivalence (and Gauge Freedom in GR)

5 comments
Posted by

Mochizuki on the Type of a Mathematical Object (Abstract Structure)

Post a Comment
Posted by

Category of all models isomorphic to a given one

11 comments
Posted by

Psychologism about Mathematical Entities

7 comments
Image
Posted by

New Channels for the MCMP on iTunes U!

Post a Comment
Posted by

Accuracy-based argument for Conditionalization

Post a Comment
Posted by

"Arithmetic, Structures and the Rise of Modern Logic": A Colloquium in Honour of Dan Isaacson

2 comments
Posted by

Extended Deadline: LORI-4, October 9 - 12, 2013, Zhejiang University Hangzhou, P.R. China

3 comments
Posted by

Quine Transform of a Language

Post a Comment