First Page | Document Content | |
---|---|---|
![]() Date: 2012-01-26 03:16:47Modal logic Model theory Philosophical logic Predicate logic Counterpart theory Interpretation Mereology Function Accessibility relation Logic Mathematical logic Mathematics | Add to Reading List |
![]() | LAWVERE-TIERNEY SHEAVES IN ALGEBRAIC SET THEORY S. AWODEY, N. GAMBINO, P. L. LUMSDAINE, AND M. A. WARREN Abstract. We present a solution to the problem of defining a counterpart in Algebraic Set Theory of the constructioDocID: 1sUjA - View Document |
![]() | PDF DocumentDocID: 1j0Gx - View Document |
![]() | PDF DocumentDocID: 1iMx8 - View Document |
![]() | Temporal Counterpart Theory Supplement to Chapter 4 of Steinhart, EMore Precisely: The Math You Need to Do Philosophy. Broadview Press. Copyright (CEric Steinhart. Non-commercial educational use encourageDocID: 1fUMg - View Document |
![]() | Canonical Counterpart TheoryDocID: SwJm - View Document |