Noah Schweber
|
Noah Schweber
|
181
Owner of these rooms
♦ Logic
This room is meant for discussion about logic, including foundations, deductive systems, proof theory, computability theory, model theory, ...
15h ago – Jade Vanadium
Pointwise definable models discussion
Continuing thread at https://math.stackexchange.com/a/2571224/28111
2521d ago – user21820