en-de
en-es
en-fr
en-sl
en
en-zh
0.25
0.5
0.75
1.25
1.5
1.75
2
Comparing Peano Arithmetic, Basic Law V, and Hume's Principle
Published on May 20, 20113797 Views
Related categories
Chapter list
Comparing Peano Arithmetic, Basic Law V, and Hume's Principle: Models of Hume's Principle00:00
Hume's Principle00:27
Frege's Theorem - 101:42
Frege's Theorem - 202:30
Outline04:14
Grundlagen - 105:00
Grundlagen - 206:48
The Logicist Template08:00
Main Question09:17
Main Answer11:18
De nition (Uniformly De nable Maps)12:43
Metatheorem (Generalized Barwise-Schlipf/Ferreira-Wehmeier) - 114:03
Metatheorem (Generalized Barwise-Schlipf/Ferreira-Wehmeier) - 215:03
Recall - 116:58
Recall - 218:38
There is no interpretation21:11
Predicative arithmetic24:01
Main Question, Main Answer25:40
Abstraction principles26:07