![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| ASL2000R.pdf | 2004-03-11 18:25 | 461K | |
| ASL2000R.ps | 2004-03-03 18:59 | 569K | |
| AhChu.pdf | 2004-04-30 10:54 | 96K | |
| AhChu.ps | 2004-03-03 18:58 | 197K | |
| Ambiguity.pdf | 2004-11-13 14:54 | 244K | |
| And_so_on(pub).pdf | 2012-07-21 16:44 | 531K | |
| And_so_on.pdf | 2010-07-15 23:35 | 6.3M | |
| AxTruthSchwiFest.pdf | 2012-06-24 14:59 | 205K | |
| AxiomsDT,prfs(2).pdf | 2008-08-07 11:57 | 103K | |
| AxsTruthHowWhy.pdf | 2011-04-17 19:07 | 240K | |
| BSL_Mints_Mem.pdf | 2015-01-19 09:30 | 114K | |
| BernaysLecture1.pdf | 2012-08-31 11:50 | 811K | |
| BernaysLecture2.pdf | 2012-08-31 11:51 | 365K | |
| BernaysLecture3.pdf | 2012-08-31 15:24 | 254K | |
| CH-Millennium.pdf | 2013-05-31 11:39 | 677K | |
| CH-Millennium?.pdf | 2013-05-31 11:39 | 677K | |
| CH_is_Indefinite.pdf | 2014-06-11 16:42 | 299K | |
| CV.pdf | 2002-06-21 18:36 | 31K | |
| Cat_founds.pdf | 2010-07-13 13:45 | 506K | |
| CategoricityOpenEnded.pdf | 2013-11-25 10:27 | 61K | |
| CompOverReals.pdf | 2011-05-16 15:18 | 284K | |
| CompOverRealsSlides.pdf | 2012-04-16 15:03 | 250K | |
| CompRecThesesFinal.pdf | 2013-08-04 16:53 | 358K | |
| ConceptContin.pdf | 2009-03-17 16:47 | 263K | |
| Conceptual_Structuralism.pdf | 2010-05-27 12:40 | 265K | |
| ConstrFns&Classes.pdf | 2012-07-09 18:16 | 8.4M | |
| Continuum-I.pdf | 2009-03-17 16:47 | 263K | |
| DasKontinuum.pdf | 2002-06-21 18:36 | 194K | |
| Definiteness, and Rathjen on CH.pdf | 2014-06-07 16:48 | 678K | |
| DraftIntroFEM.pdf | 2012-09-02 14:18 | 197K | |
| EM-MuSystemsI.pdf | 2012-11-26 22:34 | 1.3M | |
| EM-MuSystemsII.pdf | 2012-11-26 22:37 | 1.1M | |
| FCT-RSL-2013.pdf | 2013-06-03 16:41 | 88K | |
| FoundsCatTh(ASL).pdf | 2011-03-23 09:32 | 243K | |
| FranksReview.pdf | 2012-07-24 12:04 | 212K | |
| Gòˆdel,FreeWill.pdf | 2011-02-16 10:02 | 192K | |
| Godel-IAS.pdf | 2006-12-08 11:01 | 261K | |
| GodelFreeWill.pdf | 2011-02-16 10:02 | 192K | |
| Godelprogram.pdf | 2002-06-21 18:35 | 246K | |
| Goedel-Project-Synopsis.pdf | 2004-12-14 16:58 | 272K | |
| Harmonious Logic.pdf | 2008-02-27 10:28 | 311K | |
| Indes Cards & Admiss.pdf | 2013-12-04 11:05 | 114K | |
| Infinite_Diagrams.pdf | 2009-02-19 16:38 | 3.6M | |
| InvCriteriaLogic.pdf | 2009-12-08 09:12 | 248K | |
| IsCHdefinite-slides.pdf | 2011-10-01 23:02 | 305K | |
| IsCHdefinite.pdf | 2011-09-24 18:28 | 216K | |
| LangAxsExplMaths.pdf | 2012-07-09 18:16 | 3.0M | |
| Logic_Math_ConceptStructuralism.pdf | 2013-12-29 15:51 | 283K | |
| Manysorted_for_SB_slides.pdf | 2016-01-04 16:02 | 663K | |
| Manysorted_logic_for_SB.pdf | 2016-01-17 14:48 | 154K | |
| My_Henkin_Year.pdf | 2014-01-22 18:20 | 137K | |
| OST-Final.pdf | 2009-09-05 10:42 | 303K | |
| Op_Persp_3Routes.pdf | 2015-01-12 11:47 | 361K | |
| OperationalPerspective.pdf | 2013-12-11 16:41 | 669K | |
| OperationalST-I.pdf | 2002-06-21 18:34 | 168K | |
| Persist&Invar.pdf | 2011-06-20 18:13 | 2.2M | |
| Philmath08.pdf | 2008-03-19 09:53 | 94K | |
| Proof-UPenn.pdf | 2013-01-19 16:42 | 123K | |
| README.pdf | 2002-06-21 18:57 | 25K | |
| RecSetThMarriage.pdf | 2012-07-09 18:16 | 9.3M | |
| RecTotFnls.pdf | 2011-06-20 18:12 | 1.4M | |
| RereadingJvH.pdf | 2012-07-24 12:20 | 284K | |
| ResponseToHellman.pdf | 2004-11-28 16:50 | 167K | |
| Semi-constr. theories.doc | 2009-04-22 14:36 | 147K | |
| SemiConstr.pdf | 2010-05-27 16:22 | 147K | |
| Solcv.pdf | 2002-06-21 18:32 | 31K | |
| TheoryVarTypes.pdf | 2012-11-27 12:22 | 1.2M | |
| Turing'sOracle.pdf | 2012-04-08 16:58 | 265K | |
| UnfoldFA.pdf | 2010-01-01 11:42 | 453K | |
| Unlimited.pdf | 2004-05-09 12:26 | 3.4M | |
| WhichQsLogical(slides).pdf | 2012-05-17 15:29 | 302K | |
| WhichQsLogical(text).pdf | 2013-01-17 11:25 | 230K | |
| WhichQuantifiersLogical.doc | 2011-07-20 15:01 | 112K | |
| arithmetization.pdf | 2004-04-30 11:15 | 131K | |
| arithmetization.ps | 2004-03-03 18:58 | 129K | |
| bernays.pdf | 2007-08-09 10:56 | 441K | |
| challenges.pdf | 2004-04-30 10:52 | 78K | |
| conceptanalysis.pdf | 2002-08-02 19:05 | 104K | |
| conceptlogic.pdf | 2002-08-02 19:16 | 48K | |
| conceptualprobs.pdf | 2002-06-21 18:37 | 186K | |
| cornell.pdf | 2002-08-02 19:20 | 52K | |
| craigtransps.pdf | 2007-05-14 22:54 | 188K | |
| deciding.pdf | 2002-11-18 13:46 | 218K | |
| definedness.pdf | 2002-11-18 13:47 | 208K | |
| dettruth.pdf | 2007-11-15 14:28 | 269K | |
| dialectica.pdf | 2002-11-18 13:56 | 436K | |
| dichotomy.pdf | 2006-08-16 09:48 | 103K | |
| ess.pdf | 2009-08-02 14:58 | 154K | |
| foundations.pdf | 2002-11-18 14:58 | 234K | |
| godelnagel.pdf | 2008-11-04 21:49 | 155K | |
| harmonious.pdf | 2007-12-02 16:01 | 310K | |
| highlights.pdf | 2002-06-21 18:35 | 216K | |
| hintikka_iia.pdf | 2004-11-27 16:12 | 254K | |
| id-saga.pdf | 2009-11-05 11:45 | 224K | |
| intuition.pdf | 2002-08-02 18:44 | 170K | |
| logiclogicism.pdf | 2002-08-02 18:41 | 277K | |
| lrb.pdf | 2006-02-04 12:58 | 166K | |
| newaxioms.pdf | 2002-06-21 18:34 | 167K | |
| ostcards.pdf | 2009-09-05 10:42 | 303K | |
| papers.html | 2006-01-16 16:16 | 8.7K | |
| penrose.pdf | 2002-11-18 14:45 | 135K | |
| pfa(1).pdf | 2013-05-30 18:19 | 5.1M | |
| pfa.pdf | 2013-06-04 14:43 | 2.7M | |
| philmathfive.pdf | 2007-10-22 18:25 | 275K | |
| predarith.pdf | 2002-11-18 14:13 | 139K | |
| predicativity.pdf | 2002-11-18 15:29 | 255K | |
| presentedlogics.pdf | 2002-11-18 14:04 | 247K | |
| prooftheory.pdf | 2002-06-21 18:33 | 91K | |
| psa1992.pdf | 2002-11-18 15:14 | 97K | |
| ptofids.pdf | 2008-11-02 21:46 | 266K | |
| publications.pdf | 2002-06-21 18:33 | 73K | |
| reductive.pdf | 2002-08-02 18:43 | 286K | |
| relationships.pdf | 2002-06-21 18:33 | 195K | |
| streams.pdf | 2002-11-18 14:47 | 362K | |
| stretch.pdf | 2002-11-18 14:18 | 197K | |
| tarskiandcs.pdf | 2006-01-20 14:21 | 252K | |
| turing.pdf | 2006-08-24 12:57 | 218K | |
| turingnotices.pdf | 2006-08-31 14:42 | 465K | |
| unfolding.pdf | 2002-06-21 18:32 | 338K | |
| unwind.pdf | 2002-11-18 14:43 | 225K | |
| whatrests.pdf | 2002-11-18 14:50 | 233K | |
| whatsdef.pdf | 2009-08-05 14:46 | 302K | |