Jean-Yves Girard, of Linear Logic fame, has a very recent paper, Normativity in logic, pursuing his line of thought about what he calls the “semantic aporia” (the meaningless dichotomy between syntax and semantics, in particular between standard integers and nonstandard ones).
Didn’t have time to read in depth yet but looks interesting, with a concept of logspace integers. That’s another one for the summer.
episodic thoughts 