callback( { "result":{ "query":":facetid:toc:\"db/journals/bsl/bsl6.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"203.35" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"14", "@dc":"14", "@oc":"14", "@id":"43425907", "text":":facetid:toc:db/journals/bsl/bsl6.bht" } }, "hits":{ "@total":"14", "@computed":"14", "@sent":"14", "@first":"0", "hit":[{ "@score":"1", "@id":"6404185", "info":{"authors":{"author":{"@pid":"73/4207","text":"Jean-Marie Le Bars"}},"title":"Counterexamples of the 0-1 law for fragments of existential second-order logic: an overview.","venue":"Bull. Symb. Log.","volume":"6","number":"1","pages":"67-82","year":"2000","type":"Journal Articles","access":"closed","key":"journals/bsl/Bars00","doi":"10.2307/421076","ee":"https://doi.org/10.2307/421076","url":"https://dblp.org/rec/journals/bsl/Bars00"}, "url":"URL#6404185" }, { "@score":"1", "@id":"6404186", "info":{"authors":{"author":[{"@pid":"11/375","text":"Peter Cholak"},{"@pid":"01/1981","text":"Leo Harrington"}]},"title":"Definable encodings in the computably enumerable sets.","venue":"Bull. Symb. Log.","volume":"6","number":"2","pages":"185-196","year":"2000","type":"Journal Articles","access":"closed","key":"journals/bsl/CholakH00","doi":"10.2307/421206","ee":"https://doi.org/10.2307/421206","url":"https://dblp.org/rec/journals/bsl/CholakH00"}, "url":"URL#6404186" }, { "@score":"1", "@id":"6404187", "info":{"authors":{"author":{"@pid":"41/6977","text":"Dirk van Dalen"}},"title":"Brouwer and Fraenkel on intuitionism.","venue":"Bull. Symb. Log.","volume":"6","number":"3","pages":"284-310","year":"2000","type":"Journal Articles","access":"closed","key":"journals/bsl/Dalen00","doi":"10.2307/421057","ee":"https://doi.org/10.2307/421057","url":"https://dblp.org/rec/journals/bsl/Dalen00"}, "url":"URL#6404187" }, { "@score":"1", "@id":"6404188", "info":{"authors":{"author":[{"@pid":"41/6977","text":"Dirk van Dalen"},{"@pid":"e/HDEbbinghaus","text":"Heinz-Dieter Ebbinghaus"}]},"title":"Zermelo and the Skolem paradox.","venue":"Bull. Symb. Log.","volume":"6","number":"2","pages":"145-161","year":"2000","type":"Journal Articles","access":"closed","key":"journals/bsl/DalenE00","doi":"10.2307/421203","ee":"https://doi.org/10.2307/421203","url":"https://dblp.org/rec/journals/bsl/DalenE00"}, "url":"URL#6404188" }, { "@score":"1", "@id":"6404189", "info":{"authors":{"author":[{"@pid":"31/3204","text":"David Deutsch"},{"@pid":"59/6869","text":"Artur Ekert"},{"@pid":"02/3205","text":"Rossella Lupacchini"}]},"title":"Machines, logic and quantum physics.","venue":"Bull. Symb. Log.","volume":"6","number":"3","pages":"265-283","year":"2000","type":"Journal Articles","access":"closed","key":"journals/bsl/DeutschEL00","doi":"10.2307/421056","ee":"https://doi.org/10.2307/421056","url":"https://dblp.org/rec/journals/bsl/DeutschEL00"}, "url":"URL#6404189" }, { "@score":"1", "@id":"6404190", "info":{"authors":{"author":[{"@pid":"27/4592","text":"Solomon Feferman"},{"@pid":"f/HarveyMFriedman","text":"Harvey M. Friedman"},{"@pid":"54/3602","text":"Penelope Maddy"},{"@pid":"03/4385","text":"John R. Steel"}]},"title":"Does mathematics need new axioms?","venue":"Bull. Symb. Log.","volume":"6","number":"4","pages":"401-446","year":"2000","type":"Journal Articles","access":"closed","key":"journals/bsl/FefermanFMS00","doi":"10.2307/420965","ee":"https://doi.org/10.2307/420965","url":"https://dblp.org/rec/journals/bsl/FefermanFMS00"}, "url":"URL#6404190" }, { "@score":"1", "@id":"6404191", "info":{"authors":{"author":{"@pid":"25/4633","text":"Miriam Franchella"}},"title":"Towards a re-evaluation of Julius Köonig's contribution to logic.","venue":"Bull. Symb. Log.","volume":"6","number":"1","pages":"45-66","year":"2000","type":"Journal Articles","access":"closed","key":"journals/bsl/Franchella00","doi":"10.2307/421075","ee":"https://doi.org/10.2307/421075","url":"https://dblp.org/rec/journals/bsl/Franchella00"}, "url":"URL#6404191" }, { "@score":"1", "@id":"6404192", "info":{"authors":{"author":{"@pid":"h/SvenOveHansson","text":"Sven Ove Hansson"}},"title":"Formalization in philosophy.","venue":"Bull. Symb. Log.","volume":"6","number":"2","pages":"162-175","year":"2000","type":"Journal Articles","access":"closed","key":"journals/bsl/Hansson00","doi":"10.2307/421204","ee":"https://doi.org/10.2307/421204","url":"https://dblp.org/rec/journals/bsl/Hansson00"}, "url":"URL#6404192" }, { "@score":"1", "@id":"6404193", "info":{"authors":{"author":{"@pid":"47/5632","text":"Denis R. Hirschfeldt"}},"title":"Degree spectra of relations on computable structures.","venue":"Bull. Symb. Log.","volume":"6","number":"2","pages":"197-212","year":"2000","type":"Journal Articles","access":"closed","key":"journals/bsl/Hirschfeldt00","doi":"10.2307/421207","ee":"https://doi.org/10.2307/421207","url":"https://dblp.org/rec/journals/bsl/Hirschfeldt00"}, "url":"URL#6404193" }, { "@score":"1", "@id":"6404194", "info":{"authors":{"author":{"@pid":"38/4440","text":"Renling Jin"}},"title":"Applications of nonstandard analysis in additive number theory.","venue":"Bull. Symb. Log.","volume":"6","number":"3","pages":"331-341","year":"2000","type":"Journal Articles","access":"closed","key":"journals/bsl/Jin00","doi":"10.2307/421059","ee":"https://doi.org/10.2307/421059","url":"https://dblp.org/rec/journals/bsl/Jin00"}, "url":"URL#6404194" }, { "@score":"1", "@id":"6404195", "info":{"authors":{"author":[{"@pid":"60/455","text":"Jan Krajícek"},{"@pid":"41/5238","text":"Thomas Scanlon"}]},"title":"Combinatorics with definable sets: Euler characteristics and Grothendieck rings.","venue":"Bull. Symb. Log.","volume":"6","number":"3","pages":"311-330","year":"2000","type":"Journal Articles","access":"closed","key":"journals/bsl/KrajicekS00","doi":"10.2307/421058","ee":"https://doi.org/10.2307/421058","url":"https://dblp.org/rec/journals/bsl/KrajicekS00"}, "url":"URL#6404195" }, { "@score":"1", "@id":"6404196", "info":{"authors":{"author":{"@pid":"o/MartinOtto","text":"Martin Otto 0001"}},"title":"An interpolation theorem.","venue":"Bull. Symb. Log.","volume":"6","number":"4","pages":"447-462","year":"2000","type":"Journal Articles","access":"closed","key":"journals/bsl/Otto00","doi":"10.2307/420966","ee":"https://doi.org/10.2307/420966","url":"https://dblp.org/rec/journals/bsl/Otto00"}, "url":"URL#6404196" }, { "@score":"1", "@id":"6404197", "info":{"authors":{"author":{"@pid":"77/2571","text":"Ralf-Dieter Schindler"}},"title":"Proper forcing and remarkable cardinals.","venue":"Bull. Symb. Log.","volume":"6","number":"2","pages":"176-184","year":"2000","type":"Journal Articles","access":"closed","key":"journals/bsl/Schindler00","doi":"10.2307/421205","ee":"https://doi.org/10.2307/421205","url":"https://dblp.org/rec/journals/bsl/Schindler00"}, "url":"URL#6404197" }, { "@score":"1", "@id":"6404198", "info":{"authors":{"author":{"@pid":"32/3600","text":"Hourya Sinaceur"}},"title":"Address at the Princeton University bicentennial conference on problems of mathematics (December 17-19, 1946), by Alfred Tarski.","venue":"Bull. Symb. Log.","volume":"6","number":"1","pages":"1-44","year":"2000","type":"Journal Articles","access":"closed","key":"journals/bsl/Sinaceur00","doi":"10.2307/421074","ee":"https://doi.org/10.2307/421074","url":"https://dblp.org/rec/journals/bsl/Sinaceur00"}, "url":"URL#6404198" } ] } } } )