Idealized Models for Free CK's Cold Dive

Topics
* Generic groups.
* A trio of interesting papers:
* To Label, or Not To Label (in Generic Groups)
* The Algebraic Group Model
* An Analysis of the Algebraic Group Model
I should also mention that Léo Ducas had some similar ideas way back in 2009
If you enjoyed this episode, and want to get notified when the next one arrives, feel free to subscribe:
If you want even more updates, feel free to check out my blog, and you can even follow me on Twitter. (Or on Mastodon).


This is a public episode. If you would like to discuss this with other subscribers or get access to bonus episodes, visit cronokirby.substack.com