海量图书期刊资源,随时随地畅享阅读乐趣
A COMPUTABLE FUNCTOR FROM GRAPHS TO FIELDSMILLER, RUSSELL; POONEN, BJORN; SCHOUTENS, HANS; SHLAPENTOKH, ALEXANDRA · The Journal of Symbolic Logic · 2018
Domatic partitions of computable graphsJura, Matthew; Levin, Oscar; Markkanen, Tyler · Archive for Mathematical Logic · 2014
Computability of the ergodic decompositionHoyrup, Mathieu · Annals of Pure and Applied Logic · 2013
Reverse-engineering Reverse MathematicsSanders, Sam · Annals of Pure and Applied Logic · 2013
Highness, locally noncappability and nonboundingsStephan, Frank; Wu, Guohua · Annals of Pure and Applied Logic · 2013
Computability in Europe 2011Buss, Sam; Löwe, Benedikt; Normann, Dag; Soskov, Ivan · Annals of Pure and Applied Logic · 2013
About Goodmanʼs TheoremCoquand, Thierry · Annals of Pure and Applied Logic · 2013
Consistent amalgamation for þ-forkingEaly, Clifton; Onshuus, Alf · Annals of Pure and Applied Logic · 2014
Chain conditions in dependent groupsKaplan, Itay; Shelah, Saharon · Annals of Pure and Applied Logic · 2013
PrefaceAmbos-Spies, Klaus; Bagaria, Joan; Casanovas, Enrique; Kohlenbach, Ulrich · Annals of Pure and Applied Logic · 2013