Index of /user/avigad/Papers

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[   ]05_Ferreiros_Chap05.pdf2021-10-17 14:07 185K 
[   ]AAFRR-algorithmic-ba..>2021-10-17 14:07 219K 
[   ]PhilMath.pdf 2021-10-17 14:07 154K 
[   ]admissible.pdf 2021-10-17 14:07 259K 
[   ]alpha1.pdf 2021-10-17 14:07 260K 
[   ]alpha2.pdf 2021-10-17 14:07 247K 
[   ]arwm_notes.pdf 2021-10-17 14:07 205K 
[   ]atridn.pdf 2021-10-17 14:07 344K 
[   ]atridn_old.pdf 2021-10-17 14:07 201K 
[   ]bigo.pdf 2021-10-17 14:07 172K 
[   ]bigo.sml 2021-10-17 14:07 20K 
[   ]bigo2.pdf 2021-10-17 14:07 202K 
[   ]cacm.pdf 2021-10-17 14:07 2.1M 
[   ]chapter11.pdf 2021-10-17 14:07 113K 
[   ]chapter12.pdf 2021-10-17 14:07 227K 
[   ]character_and_object..>2021-10-17 14:07 496K 
[   ]character_and_object..>2021-10-17 14:07 240K 
[   ]computers.pdf 2021-10-17 14:07 132K 
[   ]constr.pdf 2021-10-17 14:07 137K 
[   ]cutelim.pdf 2021-10-17 14:07 207K 
[   ]dedekind.pdf 2021-10-17 14:07 244K 
[   ]definitions.pdf 2021-10-17 14:07 210K 
[   ]dialect.pdf 2021-10-17 14:07 436K 
[   ]dominated_randomness..>2021-10-17 14:07 389K 
[   ]doubleneg.pdf 2021-10-17 14:07 121K 
[   ]elementary.pdf 2021-10-17 14:07 250K 
[   ]ergodic.pdf 2021-10-17 14:07 249K 
[DIR]euclid/ 2021-10-17 14:07 -  
[TXT]euclid_notes.htm 2021-10-17 14:07 6.0K 
[   ]forcing.pdf 2021-10-17 14:07 259K 
[TXT]forcing_erratum.htm 2021-10-17 14:07 706  
[   ]formal_epistemology.pdf2021-10-17 14:07 208K 
[   ]formal_system_for_eu..>2021-10-17 14:07 468K 
[   ]fundamental.pdf 2021-10-17 14:07 361K 
[   ]goedel.pdf 2021-10-17 14:07 161K 
[   ]hardtaut.pdf 2021-10-17 14:07 177K 
[   ]herbrand.pdf 2021-10-17 14:07 198K 
[   ]ideals71.pdf 2021-10-17 14:07 319K 
[   ]ideals71orig.pdf 2021-10-17 14:07 2.0M 
[   ]idinterp.pdf 2021-10-17 14:07 312K 
[   ]infinite.pdf 2021-10-17 14:07 310K 
[   ]interp.pdf 2021-10-17 14:07 271K 
[   ]lean_system.pdf 2021-10-17 14:07 104K 
[   ]learning_logic_and_p..>2021-10-17 14:07 284K 
[   ]method.pdf 2021-10-17 14:07 329K 
[   ]milestones_intro.pdf 2021-10-17 14:07 101K 
[DIR]mkm/ 2021-10-17 14:07 -  
[   ]modularity.pdf 2021-10-17 14:07 375K 
[   ]mutilated.pdf 2021-10-17 14:07 323K 
[   ]nonstandard.pdf 2021-10-17 14:07 252K 
[   ]nonstandard2.pdf 2021-10-17 14:07 296K 
[   ]omegasubmodels.pdf 2021-10-17 14:07 160K 
[   ]ontology.pdf 2021-10-17 14:07 246K 
[   ]openram.pdf 2021-10-17 14:07 96K 
[   ]ordinals.pdf 2021-10-17 14:07 347K 
[   ]pntnotes.pdf 2021-10-17 14:07 126K 
[   ]polya.pdf 2021-10-17 14:07 309K 
[   ]polya_itp.pdf 2021-10-17 14:07 293K 
[   ]qpf.pdf 2021-10-17 14:07 500K 
[   ]questionnaire.pdf 2021-10-17 14:07 86K 
[   ]realize.pdf 2021-10-17 14:07 244K 
[   ]thoughts.pdf 2021-10-17 14:07 37K 
[   ]tran4814.pdf 2021-10-17 14:07 365K 
[   ]understanding.pdf 2021-10-17 14:07 270K 
[   ]understanding2.pdf 2021-10-17 14:07 367K 
[   ]uniform_distribution..>2021-10-17 14:07 101K 
[   ]uniform_distribution..>2021-10-17 14:07 132K 
[   ]update.pdf 2021-10-17 14:07 190K 
[   ]verified_optimizatio..>2021-10-17 14:07 237K 
[   ]wkl.pdf 2021-10-17 14:07 256K 
[   ]zen.pdf 2021-10-17 14:07 144K