« first day (27 days earlier)      last day (710 days later) » 

Martin Sleziak
Martin Sleziak
4:07 AM
@MartinSleziak David Roberts replaced this instance of the Hodes' paper. mathoverflow.net/posts/369026/revisions
5
Q: Number of models vs. complexity for SOL theories

Noah SchweberThis was previously asked at MSE without success. Suppose $T$ is a complete first-order theory with continuum-many countable models up to isomorphism. We define two sets of Turing degrees associated to $T$ via second-order logic: $SecTh(T)$ is the set of Turing degrees of second-order theories ...

set-theory lo.logic model-theory computability-theory
There are 8 more posts with the same link - the one on Computer Science has a comment with alternative links.
 

« first day (27 days earlier)      last day (710 days later) »