Lorenzo Galeotti : Order types of models of arithmetic without induction

New channel NYLogic: title sample judged 'whole' (Nearly all uploads are full recorded academic seminar talks on mathematical logic/set theory by researchers, a genuine p); passed a second screen for sellers/exam-prep/re-uploads; 2 of 3 sampled transcripts showed teaching, 0 not; every title checked strictly; oEmbed verified.

A 56-minute video from NYLogic: “Lorenzo Galeotti : Order types of models of arithmetic without induction”.

Video by NYLogic, played through YouTube's embedded player.