logoalt Hacker News

egorelikyesterday at 10:49 PM0 repliesview on HN

I believe the author does talk about the first-order model theoretic perspective at one point, but yes, I was referring to that notion.