Explore >> Select a destination
|
You are here 
|
jdh.hamkins.org | ||
| | | | |
kpknudson.com
|
|
| | | | | ||
| | | | |
richardzach.org
|
|
| | | | | Paolo Mancosu, Sergio Galvan, and Richard Zach. An Introduction to Proof Theory: Normalization, Cut-elimination, and Consistency Proofs. Oxford: Oxford University Press, 2021. DOI: 10.1093/oso/9780... | |
| | | | |
www.logicmatters.net
|
|
| | | | | Kirby: An Invitation to Model Theory The blurb of Jonathan Kirby's An Invitation to Model Theory(CUP, 2019) describes the book's aim like this: "[T]raditional introductions to model theory assume a graduate-level background of the reader. In this innovative textbook, [the author] brings model theory to an undergraduate audience. The highlights of basic model theory are [...] | |
| | | | |
theorydish.blog
|
|
| | | In this blog post, we will talk about some recent advances in algorithms for approximately solving Shapley Games. What is a Shapley Game? At an intuitive level, Shapley games capture the idea of extending one-shot 2-player games to be occurring over multiple stages. Explicitly, Shapley games are played on an underlying state space $latex V$.... | ||
