Posts

Showing posts with the label Arithmetic
Show All
Posted by

Validity and Truth-Preservation

2 comments
Posted by

More on the Validity Predicate

11 comments
Image
Posted by

2 Become 1

7 comments
Posted by

Yablo's Paradox

9 comments
Posted by

On Adding a Validity Predicate to PA

19 comments
Posted by

The Completeness of PA with the $\omega$-rule

9 comments