![]() Music |
![]() Video |
![]() Movies |
![]() Chart |
![]() Show |
![]() |
Mathematical Logic, part 7: standard and non-standard models (Marco Benini) View |
![]() |
Non-Standard Models of Arithmetic; The Hypernatural Numbers (Mathematics with Simon) View |
![]() |
Non-standard model of arithmetic (WikiAudio) View |
![]() |
Examples of Non-standard Arithmetic (RiggX) View |
![]() |
Finite model theory (WikiAudio) View |
![]() |
Non-standard Analysis (Divine's DIY) View |
![]() |
The True Power of Model Theory – Compactness, Infinitesimals and Ax's theorem (Blaxapate) View |
![]() |
Math 557 – Peano Arithmetic (Jan Reimann) View |
![]() |
Video 1 of Explaining Arithmetic Models (Arden Howard) View |
![]() |
Gödel's Incompleteness Theorems - Ep. 6.5: Genzen's Proof of the Consistency of Arithmetic (UFBA Philosophy Lectures) View |