callback( { "result":{ "query":":facetid:toc:\"db/journals/jsyml/jsyml64.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"206.25" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"111", "@dc":"111", "@oc":"111", "@id":"43459432", "text":":facetid:toc:db/journals/jsyml/jsyml64.bht" } }, "hits":{ "@total":"111", "@computed":"111", "@sent":"111", "@first":"0", "hit":[{ "@score":"1", "@id":"6499773", "info":{"authors":{"author":[{"@pid":"19/1475","text":"Tuna Altinel"},{"@pid":"10/1745","text":"Gregory L. Cherlin"}]},"title":"On Central Extensions of Algebraic Groups.","venue":"J. Symb. Log.","volume":"64","number":"1","pages":"68-74","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/AltinelC99","doi":"10.2307/2586751","ee":"https://doi.org/10.2307/2586751","url":"https://dblp.org/rec/journals/jsyml/AltinelC99"}, "url":"URL#6499773" }, { "@score":"1", "@id":"6499774", "info":{"authors":{"author":[{"@pid":"92/736","text":"Hajnal Andréka"},{"@pid":"25/2012","text":"Ian M. Hodkinson"},{"@pid":"68/6521","text":"István Németi"}]},"title":"Finite Algebras of Relations Are Representable on Finite Sets.","venue":"J. Symb. Log.","volume":"64","number":"1","pages":"243-267","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/AndrekaHN99","doi":"10.2307/2586762","ee":"https://doi.org/10.2307/2586762","url":"https://dblp.org/rec/journals/jsyml/AndrekaHN99"}, "url":"URL#6499774" }, { "@score":"1", "@id":"6499775", "info":{"authors":{"author":{"@pid":"73/1745","text":"Gian Aldo Antonelli"}},"title":"Free Set Algebras Satisfying Systems of Equations.","venue":"J. Symb. Log.","volume":"64","number":"4","pages":"1656-1674","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Antonelli99","doi":"10.2307/2586804","ee":"https://doi.org/10.2307/2586804","url":"https://dblp.org/rec/journals/jsyml/Antonelli99"}, "url":"URL#6499775" }, { "@score":"1", "@id":"6499776", "info":{"authors":{"author":{"@pid":"51/1702","text":"Arthur W. Apter"}},"title":"On Measurable Limits of Compact Cardinals.","venue":"J. Symb. Log.","volume":"64","number":"4","pages":"1675-1688","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Apter99","doi":"10.2307/2586805","ee":"https://doi.org/10.2307/2586805","url":"https://dblp.org/rec/journals/jsyml/Apter99"}, "url":"URL#6499776" }, { "@score":"1", "@id":"6499777", "info":{"authors":{"author":[{"@pid":"68/1217","text":"Roman D. Arefev"},{"@pid":"91/5070-1","text":"John T. Baldwin 0001"},{"@pid":"70/4009","text":"Marco Mazzucco"}]},"title":"Classification of delta-Invariant Amalgamation Classes.","venue":"J. Symb. Log.","volume":"64","number":"4","pages":"1743-1750","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/ArefevBM99","doi":"10.2307/2586809","ee":"https://doi.org/10.2307/2586809","url":"https://dblp.org/rec/journals/jsyml/ArefevBM99"}, "url":"URL#6499777" }, { "@score":"1", "@id":"6499778", "info":{"authors":{"author":[{"@pid":"60/1535","text":"Jeremy Avigad"},{"@pid":"88/647","text":"Richard Sommer"}]},"title":"The Model-Theoretic Ordinal Analysis of Theories of Predicative Strength.","venue":"J. Symb. Log.","volume":"64","number":"1","pages":"327-349","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/AvigadS99","doi":"10.2307/2586768","ee":"https://doi.org/10.2307/2586768","url":"https://dblp.org/rec/journals/jsyml/AvigadS99"}, "url":"URL#6499778" }, { "@score":"1", "@id":"6499779", "info":{"authors":{"author":{"@pid":"59/209","text":"Seyed Mohammad Bagheri"}},"title":"Ordre Fondamental D'Une Théorie 1-Basée.","venue":"J. Symb. Log.","volume":"64","number":"4","pages":"1426-1438","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Bagheri99","doi":"10.2307/2586788","ee":"https://doi.org/10.2307/2586788","url":"https://dblp.org/rec/journals/jsyml/Bagheri99"}, "url":"URL#6499779" }, { "@score":"1", "@id":"6499780", "info":{"authors":{"author":[{"@pid":"91/5070-1","text":"John T. Baldwin 0001"},{"@pid":"g/RamiPGrossberg","text":"Rami P. Grossberg"},{"@pid":"s/SaharonShelah","text":"Saharon Shelah"}]},"title":"Transfering Saturation, The Finite Cover Property, and Stability.","venue":"J. Symb. Log.","volume":"64","number":"2","pages":"678-684","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/BaldwinGS99","doi":"10.2307/2586492","ee":"https://doi.org/10.2307/2586492","url":"https://dblp.org/rec/journals/jsyml/BaldwinGS99"}, "url":"URL#6499780" }, { "@score":"1", "@id":"6499781", "info":{"authors":{"author":{"@pid":"11/3696","text":"Alexandru Baltag"}},"title":"Interpolation and Preservation for Pebble Logics.","venue":"J. Symb. Log.","volume":"64","number":"2","pages":"846-858","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Baltag99","doi":"10.2307/2586505","ee":"https://doi.org/10.2307/2586505","url":"https://dblp.org/rec/journals/jsyml/Baltag99"}, "url":"URL#6499781" }, { "@score":"1", "@id":"6499782", "info":{"authors":{"author":{"@pid":"10/3786","text":"Paul Bankston"}},"title":"A Hierarchy of Maps Between Compacta.","venue":"J. Symb. Log.","volume":"64","number":"4","pages":"1628-1644","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Bankston99","doi":"10.2307/2586802","ee":"https://doi.org/10.2307/2586802","url":"https://dblp.org/rec/journals/jsyml/Bankston99"}, "url":"URL#6499782" }, { "@score":"1", "@id":"6499783", "info":{"authors":{"author":[{"@pid":"b/KJBarwise","text":"Jon Barwise"},{"@pid":"b/JvBenthem","text":"Johan van Benthem"}]},"title":"Interpolation, Preservation, and Pebble Games.","venue":"J. Symb. Log.","volume":"64","number":"2","pages":"881-903","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/BarwiseB99","doi":"10.2307/2586507","ee":"https://doi.org/10.2307/2586507","url":"https://dblp.org/rec/journals/jsyml/BarwiseB99"}, "url":"URL#6499783" }, { "@score":"1", "@id":"6499784", "info":{"authors":{"author":{"@pid":"70/1923","text":"Ferenc Beleznay"}},"title":"The Complexity of The Collection of Countable Linear Orders of The Form I + I.","venue":"J. Symb. Log.","volume":"64","number":"4","pages":"1519-1526","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Beleznay99","doi":"10.2307/2586793","ee":"https://doi.org/10.2307/2586793","url":"https://dblp.org/rec/journals/jsyml/Beleznay99"}, "url":"URL#6499784" }, { "@score":"1", "@id":"6499785", "info":{"authors":{"author":{"@pid":"99/1965","text":"John L. Bell"}},"title":"Frege's Theorem in A Constructive Setting.","venue":"J. Symb. Log.","volume":"64","number":"2","pages":"486-488","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Bell99","doi":"10.2307/2586481","ee":"https://doi.org/10.2307/2586481","url":"https://dblp.org/rec/journals/jsyml/Bell99"}, "url":"URL#6499785" }, { "@score":"1", "@id":"6499786", "info":{"authors":{"author":{"@pid":"99/1965","text":"John L. Bell"}},"title":"Finite Sets and Frege Structures.","venue":"J. Symb. Log.","volume":"64","number":"4","pages":"1552-1556","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Bell99a","doi":"10.2307/2586795","ee":"https://doi.org/10.2307/2586795","url":"https://dblp.org/rec/journals/jsyml/Bell99a"}, "url":"URL#6499786" }, { "@score":"1", "@id":"6499787", "info":{"authors":{"author":{"@pid":"19/451","text":"Stefano Berardi"}},"title":"Intuitionistic Completeness for First Order Classical Logic.","venue":"J. Symb. Log.","volume":"64","number":"1","pages":"304-312","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Berardi99","doi":"10.2307/2586766","ee":"https://doi.org/10.2307/2586766","url":"https://dblp.org/rec/journals/jsyml/Berardi99"}, "url":"URL#6499787" }, { "@score":"1", "@id":"6499788", "info":{"authors":{"author":[{"@pid":"19/5179","text":"Andreas Blass"},{"@pid":"50/4582","text":"Heike Mildenberger"}]},"title":"On The Confinality of Ultrapowers.","venue":"J. Symb. Log.","volume":"64","number":"2","pages":"727-736","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/BlassM99","doi":"10.2307/2586495","ee":"https://doi.org/10.2307/2586495","url":"https://dblp.org/rec/journals/jsyml/BlassM99"}, "url":"URL#6499788" }, { "@score":"1", "@id":"6499789", "info":{"authors":{"author":[{"@pid":"99/1202","text":"Jörg Brendle"},{"@pid":"47/6904","text":"Benedikt Löwe"}]},"title":"Solovay-Type Characterizations for Forcing-Algebras.","venue":"J. Symb. Log.","volume":"64","number":"3","pages":"1307-1323","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/BrendleL99","doi":"10.2307/2586632","ee":"https://doi.org/10.2307/2586632","url":"https://dblp.org/rec/journals/jsyml/BrendleL99"}, "url":"URL#6499789" }, { "@score":"1", "@id":"6499790", "info":{"authors":{"author":{"@pid":"21/5067","text":"Steven Buechler"}},"title":"Lascar Strong Types in Some Simple Theories.","venue":"J. Symb. Log.","volume":"64","number":"2","pages":"817-824","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Buechler99","doi":"10.2307/2586503","ee":"https://doi.org/10.2307/2586503","url":"https://dblp.org/rec/journals/jsyml/Buechler99"}, "url":"URL#6499790" }, { "@score":"1", "@id":"6499791", "info":{"authors":{"author":[{"@pid":"19/4424","text":"Carsten Butz"},{"@pid":"55/5899","text":"Ieke Moerdijk"}]},"title":"An Elementary Definability Theorem for First Order Logic.","venue":"J. Symb. Log.","volume":"64","number":"3","pages":"1028-1036","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/ButzM99","doi":"10.2307/2586617","ee":"https://doi.org/10.2307/2586617","url":"https://dblp.org/rec/journals/jsyml/ButzM99"}, "url":"URL#6499791" }, { "@score":"1", "@id":"6499792", "info":{"authors":{"author":[{"@pid":"82/73","text":"Andrea Cantini"},{"@pid":"94/2366","text":"Pierluigi Minari"}]},"title":"Uniform Inseparability in Explicit Mathematics.","venue":"J. Symb. Log.","volume":"64","number":"1","pages":"313-326","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/CantiniM99","doi":"10.2307/2586767","ee":"https://doi.org/10.2307/2586767","url":"https://dblp.org/rec/journals/jsyml/CantiniM99"}, "url":"URL#6499792" }, { "@score":"1", "@id":"6499793", "info":{"authors":{"author":{"@pid":"10/1745","text":"Gregory L. Cherlin"}},"title":"Infinite Imprimitive Homogeneous 3-Edge-Colored Complete Graphs.","venue":"J. Symb. Log.","volume":"64","number":"1","pages":"159-179","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Cherlin99","doi":"10.2307/2586757","ee":"https://doi.org/10.2307/2586757","url":"https://dblp.org/rec/journals/jsyml/Cherlin99"}, "url":"URL#6499793" }, { "@score":"1", "@id":"6499794", "info":{"authors":{"author":[{"@pid":"11/375","text":"Peter Cholak"},{"@pid":"g/SergeyGoncharov2","text":"Sergei S. Goncharov"},{"@pid":"59/1434","text":"Bakhadyr Khoussainov"},{"@pid":"47/6645","text":"Richard A. Shore"}]},"title":"Computably Categorical Structures and Expansions by Constants.","venue":"J. Symb. Log.","volume":"64","number":"1","pages":"13-37","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/CholakGKS99","doi":"10.2307/2586747","ee":"https://doi.org/10.2307/2586747","url":"https://dblp.org/rec/journals/jsyml/CholakGKS99"}, "url":"URL#6499794" }, { "@score":"1", "@id":"6499795", "info":{"authors":{"author":[{"@pid":"10/5674","text":"Krzysztof Ciesielski"},{"@pid":"s/SaharonShelah","text":"Saharon Shelah"}]},"title":"A Model With No Magic Set.","venue":"J. Symb. Log.","volume":"64","number":"4","pages":"1467-1490","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/CiesielskiS99","doi":"10.2307/2586790","ee":"https://doi.org/10.2307/2586790","url":"https://dblp.org/rec/journals/jsyml/CiesielskiS99"}, "url":"URL#6499795" }, { "@score":"1", "@id":"6499796", "info":{"authors":{"author":{"@pid":"38/6923","text":"Paul Corazza"}},"title":"Laver Sequences for Extendible and Super-Almost-Huge Cardinals.","venue":"J. Symb. Log.","volume":"64","number":"3","pages":"963-983","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Corazza99","doi":"10.2307/2586614","ee":"https://doi.org/10.2307/2586614","url":"https://dblp.org/rec/journals/jsyml/Corazza99"}, "url":"URL#6499796" }, { "@score":"1", "@id":"6499797", "info":{"authors":{"author":[{"@pid":"69/770","text":"Felipe Cucker"},{"@pid":"m/KlausMeer","text":"Klaus Meer"}]},"title":"Logics Which Capture Complexity Classes Over The Reals.","venue":"J. Symb. Log.","volume":"64","number":"1","pages":"363-390","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/CuckerM99","doi":"10.2307/2586770","ee":"https://doi.org/10.2307/2586770","url":"https://dblp.org/rec/journals/jsyml/CuckerM99"}, "url":"URL#6499797" }, { "@score":"1", "@id":"6499798", "info":{"authors":{"author":[{"@pid":"83/330","text":"Janusz Czelakowski"},{"@pid":"67/5730","text":"Wieslaw Dziobiak"}]},"title":"Deduction Theorems Within RM and Its Extensions.","venue":"J. Symb. Log.","volume":"64","number":"1","pages":"279-290","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/CzelakowskiD99","doi":"10.2307/2586764","ee":"https://doi.org/10.2307/2586764","url":"https://dblp.org/rec/journals/jsyml/CzelakowskiD99"}, "url":"URL#6499798" }, { "@score":"1", "@id":"6499799", "info":{"authors":{"author":[{"@pid":"44/6659","text":"Françoise Delon"},{"@pid":"92/6494","text":"Patrick Simonetta"}]},"title":"Un Principe D'Ax-Kochen-Ershov Pour Des Structures Intermédiaires Entre Groupes Et Corps Valués.","venue":"J. Symb. Log.","volume":"64","number":"3","pages":"991-1027","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/DelonS99","doi":"10.2307/2586616","ee":"https://doi.org/10.2307/2586616","url":"https://dblp.org/rec/journals/jsyml/DelonS99"}, "url":"URL#6499799" }, { "@score":"1", "@id":"6499800", "info":{"authors":{"author":[{"@pid":"76/1350","text":"Kosta Dosen"},{"@pid":"63/3557","text":"Zoran Petric"}]},"title":"Cartesian Isomorphisms Are Symmetric Monoidal: A Justification of Linear Logic.","venue":"J. Symb. Log.","volume":"64","number":"1","pages":"227-242","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/DosenP99","doi":"10.2307/2586761","ee":"https://doi.org/10.2307/2586761","url":"https://dblp.org/rec/journals/jsyml/DosenP99"}, "url":"URL#6499800" }, { "@score":"1", "@id":"6499801", "info":{"authors":{"author":[{"@pid":"d/RodneyGDowney","text":"Rodney G. Downey"},{"@pid":"68/5248","text":"Carl G. Jockusch Jr."}]},"title":"Effective Presentability of Boolean Algebras of Cantor-Bendixson Rank 1.","venue":"J. Symb. Log.","volume":"64","number":"1","pages":"45-52","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/DowneyJ99","doi":"10.2307/2586749","ee":"https://doi.org/10.2307/2586749","url":"https://dblp.org/rec/journals/jsyml/DowneyJ99"}, "url":"URL#6499801" }, { "@score":"1", "@id":"6499802", "info":{"authors":{"author":[{"@pid":"d/RodneyGDowney","text":"Rodney G. Downey"},{"@pid":"22/5485","text":"Geoffrey LaForte"},{"@pid":"81/6401","text":"Steffen Lempp"}]},"title":"A Delta02 Set With Barely Sigma02 Degree.","venue":"J. Symb. Log.","volume":"64","number":"4","pages":"1700-1718","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/DowneyLL99","doi":"10.2307/2586807","ee":"https://doi.org/10.2307/2586807","url":"https://dblp.org/rec/journals/jsyml/DowneyLL99"}, "url":"URL#6499802" }, { "@score":"1", "@id":"6499803", "info":{"authors":{"author":[{"@pid":"92/746","text":"Mirna Dzamonja"},{"@pid":"s/SaharonShelah","text":"Saharon Shelah"}]},"title":"Similar But Not The Same: Various Versions of Clubs Do Not Coincide.","venue":"J. Symb. Log.","volume":"64","number":"1","pages":"180-198","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/DzamonjaS99","doi":"10.2307/2586758","ee":"https://doi.org/10.2307/2586758","url":"https://dblp.org/rec/journals/jsyml/DzamonjaS99"}, "url":"URL#6499803" }, { "@score":"1", "@id":"6499804", "info":{"authors":{"author":{"@pid":"32/2974","text":"Raimon Elgueta"}},"title":"Freeness in Classes Without Equality.","venue":"J. Symb. Log.","volume":"64","number":"3","pages":"1159-1194","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Elgueta99","doi":"10.2307/2586624","ee":"https://doi.org/10.2307/2586624","url":"https://dblp.org/rec/journals/jsyml/Elgueta99"}, "url":"URL#6499804" }, { "@score":"1", "@id":"6499805", "info":{"authors":{"author":[{"@pid":"15/6843","text":"Ulrich Felgner"},{"@pid":"01/2845","text":"John Kenneth Truss"}]},"title":"The Independence of The Prime Ideal Theorem From The Order-Extension Principle.","venue":"J. Symb. Log.","volume":"64","number":"1","pages":"199-215","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/FelgnerT99","doi":"10.2307/2586759","ee":"https://doi.org/10.2307/2586759","url":"https://dblp.org/rec/journals/jsyml/FelgnerT99"}, "url":"URL#6499805" }, { "@score":"1", "@id":"6499806", "info":{"authors":{"author":{"@pid":"77/6263-1","text":"Qi Feng 0001"}},"title":"Rado's Conjecture and Presaturation of The Nonstationary Ideal on Omega1.","venue":"J. Symb. Log.","volume":"64","number":"1","pages":"38-44","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Feng99","doi":"10.2307/2586748","ee":"https://doi.org/10.2307/2586748","url":"https://dblp.org/rec/journals/jsyml/Feng99"}, "url":"URL#6499806" }, { "@score":"1", "@id":"6499807", "info":{"authors":{"author":[{"@pid":"55/2850","text":"Jörg Flum"},{"@pid":"z/MartinZiegler2","text":"Martin Ziegler 0002"}]},"title":"Pseudo-Finite Homogeneity and Saturation.","venue":"J. Symb. Log.","volume":"64","number":"4","pages":"1689-1699","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/FlumZ99","doi":"10.2307/2586806","ee":"https://doi.org/10.2307/2586806","url":"https://dblp.org/rec/journals/jsyml/FlumZ99"}, "url":"URL#6499807" }, { "@score":"1", "@id":"6499808", "info":{"authors":{"author":{"@pid":"39/922","text":"Silvio Ghilardi"}},"title":"Unification in Intuitionistic Logic.","venue":"J. Symb. Log.","volume":"64","number":"2","pages":"859-880","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Ghilardi99","doi":"10.2307/2586506","ee":"https://doi.org/10.2307/2586506","url":"https://dblp.org/rec/journals/jsyml/Ghilardi99"}, "url":"URL#6499808" }, { "@score":"1", "@id":"6499809", "info":{"authors":{"author":{"@pid":"39/891","text":"Moti Gitik"}},"title":"On Closed Unbounded Sets Consisting of Former Regulars.","venue":"J. Symb. Log.","volume":"64","number":"1","pages":"1-12","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Gitik99","doi":"10.2307/2586746","ee":"https://doi.org/10.2307/2586746","url":"https://dblp.org/rec/journals/jsyml/Gitik99"}, "url":"URL#6499809" }, { "@score":"1", "@id":"6499810", "info":{"authors":{"author":[{"@pid":"39/891","text":"Moti Gitik"},{"@pid":"s/SaharonShelah","text":"Saharon Shelah"}]},"title":"Cardinal Preserving Ideals.","venue":"J. Symb. Log.","volume":"64","number":"4","pages":"1527-1551","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/GitikS99","doi":"10.2307/2586794","ee":"https://doi.org/10.2307/2586794","url":"https://dblp.org/rec/journals/jsyml/GitikS99"}, "url":"URL#6499810" }, { "@score":"1", "@id":"6499811", "info":{"authors":{"author":{"@pid":"83/3641","text":"Steven Givant"}},"title":"Universal Classes of Simple Relation Algebras.","venue":"J. Symb. Log.","volume":"64","number":"2","pages":"575-589","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Givant99","doi":"10.2307/2586485","ee":"https://doi.org/10.2307/2586485","url":"https://dblp.org/rec/journals/jsyml/Givant99"}, "url":"URL#6499811" }, { "@score":"1", "@id":"6499812", "info":{"authors":{"author":{"@pid":"g/ErichGradel","text":"Erich Grädel"}},"title":"On The Restraining Power of Guards.","venue":"J. Symb. Log.","volume":"64","number":"4","pages":"1719-1742","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Gradel99","doi":"10.2307/2586808","ee":"https://doi.org/10.2307/2586808","url":"https://dblp.org/rec/journals/jsyml/Gradel99"}, "url":"URL#6499812" }, { "@score":"1", "@id":"6499813", "info":{"authors":{"author":{"@pid":"66/4078","text":"John Todd Hammond"}},"title":"Friedberg Splittings in Sigma 03 Quotient Lattices of Epsilon.","venue":"J. Symb. Log.","volume":"64","number":"4","pages":"1403-1406","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Hammond99","doi":"10.2307/2586786","ee":"https://doi.org/10.2307/2586786","url":"https://dblp.org/rec/journals/jsyml/Hammond99"}, "url":"URL#6499813" }, { "@score":"1", "@id":"6499814", "info":{"authors":{"author":[{"@pid":"46/2314","text":"Bradd Hart"},{"@pid":"21/5272","text":"Zeljko Sokolovic"},{"@pid":"66/4505","text":"Predrag Tanovic"}]},"title":"A Note On Alpha-Prime Models.","venue":"J. Symb. Log.","volume":"64","number":"4","pages":"1557-1562","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/HartST99","doi":"10.2307/2586796","ee":"https://doi.org/10.2307/2586796","url":"https://dblp.org/rec/journals/jsyml/HartST99"}, "url":"URL#6499814" }, { "@score":"1", "@id":"6499815", "info":{"authors":{"author":{"@pid":"36/3065","text":"Kai Hauser"}},"title":"A Minimal Counterexample To Universal Baireness.","venue":"J. Symb. Log.","volume":"64","number":"4","pages":"1601-1627","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Hauser99","doi":"10.2307/2586801","ee":"https://doi.org/10.2307/2586801","url":"https://dblp.org/rec/journals/jsyml/Hauser99"}, "url":"URL#6499815" }, { "@score":"1", "@id":"6499816", "info":{"authors":{"author":[{"@pid":"36/3065","text":"Kai Hauser"},{"@pid":"06/3218","text":"W. Hugh Woodin"}]},"title":"Pi13 Sets and Pi13 Singletons.","venue":"J. Symb. Log.","volume":"64","number":"2","pages":"590-616","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/HauserW99","doi":"10.2307/2586486","ee":"https://doi.org/10.2307/2586486","url":"https://dblp.org/rec/journals/jsyml/HauserW99"}, "url":"URL#6499816" }, { "@score":"1", "@id":"6499817", "info":{"authors":{"author":{"@pid":"12/3285","text":"A. J. Heaton"}},"title":"A Jump Operator for Subrecursion Theories.","venue":"J. Symb. Log.","volume":"64","number":"2","pages":"460-468","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Heaton99","doi":"10.2307/2586478","ee":"https://doi.org/10.2307/2586478","url":"https://dblp.org/rec/journals/jsyml/Heaton99"}, "url":"URL#6499817" }, { "@score":"1", "@id":"6499818", "info":{"authors":{"author":[{"@pid":"h/LauriHella","text":"Lauri Hella"},{"@pid":"l/LeonidLibkin","text":"Leonid Libkin"},{"@pid":"46/2083","text":"Juha Nurmonen"}]},"title":"Notions of Locality and Their Logical Characterizations over Finite Models.","venue":"J. Symb. Log.","volume":"64","number":"4","pages":"1751-1773","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/HellaLN99","doi":"10.2307/2586810","ee":"https://doi.org/10.2307/2586810","url":"https://dblp.org/rec/journals/jsyml/HellaLN99"}, "url":"URL#6499818" }, { "@score":"1", "@id":"6499819", "info":{"authors":{"author":{"@pid":"25/7040","text":"Jeffry L. Hirst"}},"title":"Ordinal Inequalities, Transfinite Induction, and Reverse Mathematics.","venue":"J. Symb. Log.","volume":"64","number":"2","pages":"769-774","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Hirst99","doi":"10.2307/2586499","ee":"https://doi.org/10.2307/2586499","url":"https://dblp.org/rec/journals/jsyml/Hirst99"}, "url":"URL#6499819" }, { "@score":"1", "@id":"6499820", "info":{"authors":{"author":{"@pid":"13/1358","text":"Kitty L. Holland"}},"title":"Model Completeness of The New Strongly Minimal Sets.","venue":"J. Symb. Log.","volume":"64","number":"3","pages":"946-962","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Holland99","doi":"10.2307/2586613","ee":"https://doi.org/10.2307/2586613","url":"https://dblp.org/rec/journals/jsyml/Holland99"}, "url":"URL#6499820" }, { "@score":"1", "@id":"6499821", "info":{"authors":{"author":[{"@pid":"76/6266","text":"Ehud Hrushovski"},{"@pid":"41/5238","text":"Thomas Scanlon"}]},"title":"Lascar and Morley Ranks Differ in Differentially Closed Fields.","venue":"J. Symb. Log.","volume":"64","number":"3","pages":"1280-1284","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/HrushovskiS99","doi":"10.2307/2586629","ee":"https://doi.org/10.2307/2586629","url":"https://dblp.org/rec/journals/jsyml/HrushovskiS99"}, "url":"URL#6499821" }, { "@score":"1", "@id":"6499822", "info":{"authors":{"author":[{"@pid":"70/5478","text":"Tamara Lakins Hummel"},{"@pid":"68/5248","text":"Carl G. Jockusch Jr."}]},"title":"Generalized Cohesiveness.","venue":"J. Symb. Log.","volume":"64","number":"2","pages":"489-516","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/HummelJ99","doi":"10.2307/2586482","ee":"https://doi.org/10.2307/2586482","url":"https://dblp.org/rec/journals/jsyml/HummelJ99"}, "url":"URL#6499822" }, { "@score":"1", "@id":"6499823", "info":{"authors":{"author":[{"@pid":"00/5005","text":"A. James Humphreys"},{"@pid":"22/1390","text":"Stephen G. Simpson"}]},"title":"Separation and Weak König's Lemma.","venue":"J. Symb. Log.","volume":"64","number":"1","pages":"268-278","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/HumphreysS99","doi":"10.2307/2586763","ee":"https://doi.org/10.2307/2586763","url":"https://dblp.org/rec/journals/jsyml/HumphreysS99"}, "url":"URL#6499823" }, { "@score":"1", "@id":"6499824", "info":{"authors":{"author":[{"@pid":"h/TapaniHyttinen","text":"Tapani Hyttinen"},{"@pid":"s/SaharonShelah","text":"Saharon Shelah"}]},"title":"Constructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories, Part C.","venue":"J. Symb. Log.","volume":"64","number":"2","pages":"634-642","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/HyttinenS99","doi":"10.2307/2586489","ee":"https://doi.org/10.2307/2586489","url":"https://dblp.org/rec/journals/jsyml/HyttinenS99"}, "url":"URL#6499824" }, { "@score":"1", "@id":"6499825", "info":{"authors":{"author":{"@pid":"80/3305","text":"José Iovino"}},"title":"Stable Models and Reflexive Banach Spaces.","venue":"J. Symb. Log.","volume":"64","number":"4","pages":"1595-1600","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Iovino99","doi":"10.2307/2586800","ee":"https://doi.org/10.2307/2586800","url":"https://dblp.org/rec/journals/jsyml/Iovino99"}, "url":"URL#6499825" }, { "@score":"1", "@id":"6499826", "info":{"authors":{"author":{"@pid":"19/2708","text":"Alexandre A. Ivanov"}},"title":"Generic Expansions of Omega-Categorical Structures and Semantics of Generalized Quantifiers.","venue":"J. Symb. Log.","volume":"64","number":"2","pages":"775-789","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Ivanov99","doi":"10.2307/2586500","ee":"https://doi.org/10.2307/2586500","url":"https://dblp.org/rec/journals/jsyml/Ivanov99"}, "url":"URL#6499826" }, { "@score":"1", "@id":"6499827", "info":{"authors":{"author":{"@pid":"54/5761","text":"Khaled Jaber"}},"title":"Équations Génériques Dans Un Groupe Stable Nilpotent.","venue":"J. Symb. Log.","volume":"64","number":"2","pages":"761-768","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Jaber99","doi":"10.2307/2586498","ee":"https://doi.org/10.2307/2586498","url":"https://dblp.org/rec/journals/jsyml/Jaber99"}, "url":"URL#6499827" }, { "@score":"1", "@id":"6499828", "info":{"authors":{"author":[{"@pid":"j/GerhardJager","text":"Gerhard Jäger"},{"@pid":"42/6631","text":"Reinhard Kahle"},{"@pid":"01/2499","text":"Anton Setzer"},{"@pid":"s/ThomasStrahm","text":"Thomas Strahm"}]},"title":"The Proof-Theoretic Analysis of Transfinitely Iterated Fixed Point Theories.","venue":"J. Symb. Log.","volume":"64","number":"1","pages":"53-67","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/JagerKSS99","doi":"10.2307/2586750","ee":"https://doi.org/10.2307/2586750","url":"https://dblp.org/rec/journals/jsyml/JagerKSS99"}, "url":"URL#6499828" }, { "@score":"1", "@id":"6499829", "info":{"authors":{"author":{"@pid":"54/3649","text":"Michael A. Jahn"}},"title":"Implicit Measurements of Dynamic Complexity Properties and Splittings of Speedable Sets.","venue":"J. Symb. Log.","volume":"64","number":"3","pages":"1037-1064","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Jahn99","doi":"10.2307/2586618","ee":"https://doi.org/10.2307/2586618","url":"https://dblp.org/rec/journals/jsyml/Jahn99"}, "url":"URL#6499829" }, { "@score":"1", "@id":"6499830", "info":{"authors":{"author":{"@pid":"95/6464","text":"Thomas Jech"}},"title":"Some Results on Combinators in The System TRC.","venue":"J. Symb. Log.","volume":"64","number":"4","pages":"1811-1819","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Jech99","doi":"10.2307/2586813","ee":"https://doi.org/10.2307/2586813","url":"https://dblp.org/rec/journals/jsyml/Jech99"}, "url":"URL#6499830" }, { "@score":"1", "@id":"6499831", "info":{"authors":{"author":{"@pid":"44/1741","text":"Joohee Jeong"}},"title":"A Decidable Variety That Is Finitely Undecidable.","venue":"J. Symb. Log.","volume":"64","number":"2","pages":"651-677","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Jeong99","doi":"10.2307/2586491","ee":"https://doi.org/10.2307/2586491","url":"https://dblp.org/rec/journals/jsyml/Jeong99"}, "url":"URL#6499831" }, { "@score":"1", "@id":"6499832", "info":{"authors":{"author":{"@pid":"65/574","text":"Mamoru Kaneko"}},"title":"Common Knowledge Logic and Game Logic.","venue":"J. Symb. Log.","volume":"64","number":"2","pages":"685-700","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Kaneko99","doi":"10.2307/2586493","ee":"https://doi.org/10.2307/2586493","url":"https://dblp.org/rec/journals/jsyml/Kaneko99"}, "url":"URL#6499832" }, { "@score":"1", "@id":"6499833", "info":{"authors":{"author":{"@pid":"29/3439","text":"Vladimir Kanovei"}},"title":"On Non-Wellfounded Iterations of The Perfect Set Forcing.","venue":"J. Symb. Log.","volume":"64","number":"2","pages":"551-574","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Kanovei99","doi":"10.2307/2586484","ee":"https://doi.org/10.2307/2586484","url":"https://dblp.org/rec/journals/jsyml/Kanovei99"}, "url":"URL#6499833" }, { "@score":"1", "@id":"6499834", "info":{"authors":{"author":{"@pid":"63/2811","text":"Ulrich Kohlenbach"}},"title":"On The No-Counterexample Interpretation.","venue":"J. Symb. Log.","volume":"64","number":"4","pages":"1491-1511","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Kohlenbach99","doi":"10.2307/2586791","ee":"https://doi.org/10.2307/2586791","url":"https://dblp.org/rec/journals/jsyml/Kohlenbach99"}, "url":"URL#6499834" }, { "@score":"1", "@id":"6499835", "info":{"authors":{"author":{"@pid":"75/1496","text":"Péter Komjáth"}},"title":"Some Remarks on the Partition Calculus of Ordinals.","venue":"J. Symb. Log.","volume":"64","number":"2","pages":"436-442","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Komjath99","doi":"10.2307/2586476","ee":"https://doi.org/10.2307/2586476","url":"https://dblp.org/rec/journals/jsyml/Komjath99"}, "url":"URL#6499835" }, { "@score":"1", "@id":"6499836", "info":{"authors":{"author":[{"@pid":"59/23","text":"Marcus Kracht"},{"@pid":"w/FrankWolter","text":"Frank Wolter"}]},"title":"Normal Monomodal Logics Can Simulate All Others.","venue":"J. Symb. Log.","volume":"64","number":"1","pages":"99-138","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/KrachtW99","doi":"10.2307/2586754","ee":"https://doi.org/10.2307/2586754","url":"https://dblp.org/rec/journals/jsyml/KrachtW99"}, "url":"URL#6499836" }, { "@score":"1", "@id":"6499837", "info":{"authors":{"author":[{"@pid":"k/AntoninKucera-2","text":"Antonín Kucera 0002"},{"@pid":"t/SebastiaanTerwijn","text":"Sebastiaan Terwijn"}]},"title":"Lowness for The Class of Random Sets.","venue":"J. Symb. Log.","volume":"64","number":"4","pages":"1396-1402","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/KuceraT99","doi":"10.2307/2586785","ee":"https://doi.org/10.2307/2586785","url":"https://dblp.org/rec/journals/jsyml/KuceraT99"}, "url":"URL#6499837" }, { "@score":"1", "@id":"6499838", "info":{"authors":{"author":{"@pid":"85/3296","text":"Salma Kuhlmann"}},"title":"Infinitary Properties of Valued and Ordered Vector Spaces.","venue":"J. Symb. Log.","volume":"64","number":"1","pages":"216-226","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Kuhlmann99","doi":"10.2307/2586760","ee":"https://doi.org/10.2307/2586760","url":"https://dblp.org/rec/journals/jsyml/Kuhlmann99"}, "url":"URL#6499838" }, { "@score":"1", "@id":"6499839", "info":{"authors":{"author":[{"@pid":"56/892","text":"Claude Laflamme"},{"@pid":"94/3827","text":"Marion Scheepers"}]},"title":"Combinatorial Properties of Filters and Open Covers for Sets of Real Numbers.","venue":"J. Symb. Log.","volume":"64","number":"3","pages":"1243-1260","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/LaflammeS99","doi":"10.2307/2586627","ee":"https://doi.org/10.2307/2586627","url":"https://dblp.org/rec/journals/jsyml/LaflammeS99"}, "url":"URL#6499839" }, { "@score":"1", "@id":"6499840", "info":{"authors":{"author":{"@pid":"l/PALarson","text":"Paul Larson"}},"title":"An Smax Variation for One Souslin Tree.","venue":"J. Symb. Log.","volume":"64","number":"1","pages":"81-98","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Larson99","doi":"10.2307/2586753","ee":"https://doi.org/10.2307/2586753","url":"https://dblp.org/rec/journals/jsyml/Larson99"}, "url":"URL#6499840" }, { "@score":"1", "@id":"6499841", "info":{"authors":{"author":[{"@pid":"12/2267","text":"Daniel Lascar"},{"@pid":"21/2176","text":"Anand Pillay"}]},"title":"Forking and Fundamental Order in Simple Theories.","venue":"J. Symb. Log.","volume":"64","number":"3","pages":"1155-1158","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/LascarP99","doi":"10.2307/2586623","ee":"https://doi.org/10.2307/2586623","url":"https://dblp.org/rec/journals/jsyml/LascarP99"}, "url":"URL#6499841" }, { "@score":"1", "@id":"6499842", "info":{"authors":{"author":[{"@pid":"84/3398","text":"Amir Leshem"},{"@pid":"98/146","text":"Menachem Magidor"}]},"title":"The Independence of delta1n.","venue":"J. Symb. Log.","volume":"64","number":"1","pages":"350-362","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/LeshemM99","doi":"10.2307/2586769","ee":"https://doi.org/10.2307/2586769","url":"https://dblp.org/rec/journals/jsyml/LeshemM99"}, "url":"URL#6499842" }, { "@score":"1", "@id":"6499843", "info":{"authors":{"author":{"@pid":"31/5041","text":"Jacob Lurie"}},"title":"Anti-Admissible Sets.","venue":"J. Symb. Log.","volume":"64","number":"2","pages":"407-435","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Lurie99","doi":"10.2307/2586475","ee":"https://doi.org/10.2307/2586475","url":"https://dblp.org/rec/journals/jsyml/Lurie99"}, "url":"URL#6499843" }, { "@score":"1", "@id":"6499844", "info":{"authors":{"author":[{"@pid":"m/MaartenMarx","text":"Maarten Marx"},{"@pid":"m/SzabolcsMikulas","text":"Szabolcs Mikulás"}]},"title":"Decidability of Cylindric Set Algebras of Dimension Two and First-Order Logic with Two Variables.","venue":"J. Symb. Log.","volume":"64","number":"4","pages":"1563-1572","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/MarxM99","doi":"10.2307/2586797","ee":"https://doi.org/10.2307/2586797","url":"https://dblp.org/rec/journals/jsyml/MarxM99"}, "url":"URL#6499844" }, { "@score":"1", "@id":"6499845", "info":{"authors":{"author":[{"@pid":"m/SzabolcsMikulas","text":"Szabolcs Mikulás"},{"@pid":"m/MaartenMarx","text":"Maarten Marx"}]},"title":"Undecidable Relativizations of Algebras of Relations.","venue":"J. Symb. Log.","volume":"64","number":"2","pages":"747-760","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/MikulasM99","doi":"10.2307/2586497","ee":"https://doi.org/10.2307/2586497","url":"https://dblp.org/rec/journals/jsyml/MikulasM99"}, "url":"URL#6499845" }, { "@score":"1", "@id":"6499846", "info":{"authors":{"author":{"@pid":"45/4945","text":"Grigori Mints"}},"title":"Cut-Elimination for Simple Type Theory with An Axiom of Choice.","venue":"J. Symb. Log.","volume":"64","number":"2","pages":"479-485","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Mints99","doi":"10.2307/2586480","ee":"https://doi.org/10.2307/2586480","url":"https://dblp.org/rec/journals/jsyml/Mints99"}, "url":"URL#6499846" }, { "@score":"1", "@id":"6499847", "info":{"authors":{"author":{"@pid":"51/2927j2","text":"William J. Mitchell 0002"}},"title":"Jónsson Cardinals, Erdös Cardinals, and The Core Model.","venue":"J. Symb. Log.","volume":"64","number":"3","pages":"1065-1086","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Mitchell99","doi":"10.2307/2586619","ee":"https://doi.org/10.2307/2586619","url":"https://dblp.org/rec/journals/jsyml/Mitchell99"}, "url":"URL#6499847" }, { "@score":"1", "@id":"6499848", "info":{"authors":{"author":{"@pid":"44/4671","text":"Masahiko Murakami"}},"title":"Standardization Principle of Nonstandard Universes.","venue":"J. Symb. Log.","volume":"64","number":"4","pages":"1645-1655","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Murakami99","doi":"10.2307/2586803","ee":"https://doi.org/10.2307/2586803","url":"https://dblp.org/rec/journals/jsyml/Murakami99"}, "url":"URL#6499848" }, { "@score":"1", "@id":"6499849", "info":{"authors":{"author":{"@pid":"06/207","text":"Hisato Muraki"}},"title":"Non-Distributive Upper Semilattice of Kleene Degrees.","venue":"J. Symb. Log.","volume":"64","number":"1","pages":"147-158","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Muraki99","doi":"10.2307/2586756","ee":"https://doi.org/10.2307/2586756","url":"https://dblp.org/rec/journals/jsyml/Muraki99"}, "url":"URL#6499849" }, { "@score":"1", "@id":"6499850", "info":{"authors":{"author":[{"@pid":"14/2835","text":"Itay Neeman"},{"@pid":"03/4385","text":"John R. Steel"}]},"title":"A Weak Dodd-Jensen Lemma.","venue":"J. Symb. Log.","volume":"64","number":"3","pages":"1285-1294","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/NeemanS99","doi":"10.2307/2586630","ee":"https://doi.org/10.2307/2586630","url":"https://dblp.org/rec/journals/jsyml/NeemanS99"}, "url":"URL#6499850" }, { "@score":"1", "@id":"6499851", "info":{"authors":{"author":{"@pid":"28/1250","text":"Ludomir Newelski"}},"title":"Flat Morley Sequences.","venue":"J. Symb. Log.","volume":"64","number":"3","pages":"1261-1279","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Newelski99","doi":"10.2307/2586628","ee":"https://doi.org/10.2307/2586628","url":"https://dblp.org/rec/journals/jsyml/Newelski99"}, "url":"URL#6499851" }, { "@score":"1", "@id":"6499852", "info":{"authors":{"author":{"@pid":"28/1250","text":"Ludomir Newelski"}},"title":"Geometry of *-Finite Types.","venue":"J. Symb. Log.","volume":"64","number":"4","pages":"1375-1395","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Newelski99a","doi":"10.2307/2586784","ee":"https://doi.org/10.2307/2586784","url":"https://dblp.org/rec/journals/jsyml/Newelski99a"}, "url":"URL#6499852" }, { "@score":"1", "@id":"6499853", "info":{"authors":{"author":[{"@pid":"n/DagNormann","text":"Dag Normann"},{"@pid":"07/5282","text":"Erik Palmgren"},{"@pid":"69/3272","text":"Viggo Stoltenberg-Hansen"}]},"title":"Hyperfinite Type Structures.","venue":"J. Symb. Log.","volume":"64","number":"3","pages":"1216-1242","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/NormannPS99","doi":"10.2307/2586626","ee":"https://doi.org/10.2307/2586626","url":"https://dblp.org/rec/journals/jsyml/NormannPS99"}, "url":"URL#6499853" }, { "@score":"1", "@id":"6499854", "info":{"authors":{"author":[{"@pid":"08/2686","text":"Mitsuhiro Okada"},{"@pid":"77/6631","text":"Kazushige Terui"}]},"title":"The Finite Model Property for Various Fragments of Intuitionistic Linear Logic.","venue":"J. Symb. Log.","volume":"64","number":"2","pages":"790-802","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/OkadaT99","doi":"10.2307/2586501","ee":"https://doi.org/10.2307/2586501","url":"https://dblp.org/rec/journals/jsyml/OkadaT99"}, "url":"URL#6499854" }, { "@score":"1", "@id":"6499855", "info":{"authors":{"author":{"@pid":"50/4494","text":"Bruno Poizat"}},"title":"Le Carre De L'Egalite.","venue":"J. Symb. Log.","volume":"64","number":"3","pages":"1339-1355","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Poizat99","doi":"10.2307/2586634","ee":"https://doi.org/10.2307/2586634","url":"https://dblp.org/rec/journals/jsyml/Poizat99"}, "url":"URL#6499855" }, { "@score":"1", "@id":"6499856", "info":{"authors":{"author":{"@pid":"33/6120","text":"Natacha Portier"}},"title":"Stabilité Polynômiale des Corps Différentiels.","venue":"J. Symb. Log.","volume":"64","number":"2","pages":"803-816","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Portier99","doi":"10.2307/2586502","ee":"https://doi.org/10.2307/2586502","url":"https://dblp.org/rec/journals/jsyml/Portier99"}, "url":"URL#6499856" }, { "@score":"1", "@id":"6499857", "info":{"authors":{"author":{"@pid":"46/3227","text":"Mike Prest"}},"title":"Tensor Product and Theories of Modules.","venue":"J. Symb. Log.","volume":"64","number":"2","pages":"617-628","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Prest99","doi":"10.2307/2586487","ee":"https://doi.org/10.2307/2586487","url":"https://dblp.org/rec/journals/jsyml/Prest99"}, "url":"URL#6499857" }, { "@score":"1", "@id":"6499858", "info":{"authors":{"author":{"@pid":"05/5263","text":"Gennadi Puninski"}},"title":"Cantor-Bendixson Rank of The Ziegler Spectrum Over A Commutative Valuation Domain.","venue":"J. Symb. Log.","volume":"64","number":"4","pages":"1512-1518","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Puninski99","doi":"10.2307/2586792","ee":"https://doi.org/10.2307/2586792","url":"https://dblp.org/rec/journals/jsyml/Puninski99"}, "url":"URL#6499858" }, { "@score":"1", "@id":"6499859", "info":{"authors":{"author":{"@pid":"93/4727","text":"William C. Purdy"}},"title":"Quine's 'Limits of Decision'.","venue":"J. Symb. Log.","volume":"64","number":"4","pages":"1439-1466","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Purdy99","doi":"10.2307/2586789","ee":"https://doi.org/10.2307/2586789","url":"https://dblp.org/rec/journals/jsyml/Purdy99"}, "url":"URL#6499859" }, { "@score":"1", "@id":"6499860", "info":{"authors":{"author":{"@pid":"39/5870","text":"Michael Rathjen"}},"title":"Explicit Mathematics with The Monotone Fixed Point Principle. II: Models.","venue":"J. Symb. Log.","volume":"64","number":"2","pages":"517-550","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Rathjen99","doi":"10.2307/2586483","ee":"https://doi.org/10.2307/2586483","url":"https://dblp.org/rec/journals/jsyml/Rathjen99"}, "url":"URL#6499860" }, { "@score":"1", "@id":"6499861", "info":{"authors":{"author":{"@pid":"22/3541","text":"Mitch Rudominer"}},"title":"The Largest Countable Inductive Set is A Mouse Set.","venue":"J. Symb. Log.","volume":"64","number":"2","pages":"443-459","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Rudominer99","doi":"10.2307/2586477","ee":"https://doi.org/10.2307/2586477","url":"https://dblp.org/rec/journals/jsyml/Rudominer99"}, "url":"URL#6499861" }, { "@score":"1", "@id":"6499862", "info":{"authors":{"author":{"@pid":"45/4694","text":"Dan Saracino"}},"title":"Prime E.C. Commutative Rings in Characteristic n bigger equal to 2.","venue":"J. Symb. Log.","volume":"64","number":"2","pages":"629-633","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Saracino99","doi":"10.2307/2586488","ee":"https://doi.org/10.2307/2586488","url":"https://dblp.org/rec/journals/jsyml/Saracino99"}, "url":"URL#6499862" }, { "@score":"1", "@id":"6499863", "info":{"authors":{"author":{"@pid":"94/3827","text":"Marion Scheepers"}},"title":"Finite Powers of Strong Measure Zero Sets.","venue":"J. Symb. Log.","volume":"64","number":"3","pages":"1295-1306","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Scheepers99","doi":"10.2307/2586631","ee":"https://doi.org/10.2307/2586631","url":"https://dblp.org/rec/journals/jsyml/Scheepers99"}, "url":"URL#6499863" }, { "@score":"1", "@id":"6499864", "info":{"authors":{"author":{"@pid":"81/3777","text":"Ernest Schimmerling"}},"title":"A Finite Family Weak Square Principle.","venue":"J. Symb. Log.","volume":"64","number":"3","pages":"1087-1110","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Schimmerling99","doi":"10.2307/2586620","ee":"https://doi.org/10.2307/2586620","url":"https://dblp.org/rec/journals/jsyml/Schimmerling99"}, "url":"URL#6499864" }, { "@score":"1", "@id":"6499865", "info":{"authors":{"author":{"@pid":"77/2571","text":"Ralf-Dieter Schindler"}},"title":"Successive Weakly Compact or Singular Cardinals.","venue":"J. Symb. Log.","volume":"64","number":"1","pages":"139-146","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Schindler99","doi":"10.2307/2586755","ee":"https://doi.org/10.2307/2586755","url":"https://dblp.org/rec/journals/jsyml/Schindler99"}, "url":"URL#6499865" }, { "@score":"1", "@id":"6499866", "info":{"authors":{"author":{"@pid":"94/4697","text":"Hans Schoutens"}},"title":"Existentially Closed Models of The Theory of Artinian Local Rings.","venue":"J. Symb. Log.","volume":"64","number":"2","pages":"825-845","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Schoutens99","doi":"10.2307/2586504","ee":"https://doi.org/10.2307/2586504","url":"https://dblp.org/rec/journals/jsyml/Schoutens99"}, "url":"URL#6499866" }, { "@score":"1", "@id":"6499867", "info":{"authors":{"author":[{"@pid":"85/2178","text":"Slawomir Solecki"},{"@pid":"24/2438","text":"Otmar Spinas"}]},"title":"Dominating and Unbounded Free Sets.","venue":"J. Symb. Log.","volume":"64","number":"1","pages":"75-80","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/SoleckiS99","doi":"10.2307/2586752","ee":"https://doi.org/10.2307/2586752","url":"https://dblp.org/rec/journals/jsyml/SoleckiS99"}, "url":"URL#6499867" }, { "@score":"1", "@id":"6499868", "info":{"authors":{"author":{"@pid":"24/2438","text":"Otmar Spinas"}},"title":"Countable Filters on Omega.","venue":"J. Symb. Log.","volume":"64","number":"2","pages":"469-478","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Spinas99","doi":"10.2307/2586479","ee":"https://doi.org/10.2307/2586479","url":"https://dblp.org/rec/journals/jsyml/Spinas99"}, "url":"URL#6499868" }, { "@score":"1", "@id":"6499869", "info":{"authors":{"author":{"@pid":"95/4688","text":"Juris Steprans"}},"title":"Unions of Rectifiable Curves in Euclidean Space and The Covering Number of The Meagre Ideal.","venue":"J. Symb. Log.","volume":"64","number":"2","pages":"701-726","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Steprans99","doi":"10.2307/2586494","ee":"https://doi.org/10.2307/2586494","url":"https://dblp.org/rec/journals/jsyml/Steprans99"}, "url":"URL#6499869" }, { "@score":"1", "@id":"6499870", "info":{"authors":{"author":{"@pid":"33/4624","text":"Claes Strannegård"}},"title":"Interpretability over Peano Arithmetic.","venue":"J. Symb. Log.","volume":"64","number":"4","pages":"1407-1425","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Strannegard99","doi":"10.2307/2586787","ee":"https://doi.org/10.2307/2586787","url":"https://dblp.org/rec/journals/jsyml/Strannegard99"}, "url":"URL#6499870" }, { "@score":"1", "@id":"6499871", "info":{"authors":{"author":{"@pid":"28/6655","text":"Akira Suzuki"}},"title":"No Elementary Embedding From V into V Is Definable From Parameters.","venue":"J. Symb. Log.","volume":"64","number":"4","pages":"1591-1594","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Suzuki99","doi":"10.2307/2586799","ee":"https://doi.org/10.2307/2586799","url":"https://dblp.org/rec/journals/jsyml/Suzuki99"}, "url":"URL#6499871" }, { "@score":"1", "@id":"6499872", "info":{"authors":{"author":{"@pid":"40/2252","text":"Kazimierz Swirydowicz"}},"title":"There Exist Exactly Two Maximal Strictly Relevant Extensions of The Relevant Logic R.","venue":"J. Symb. Log.","volume":"64","number":"3","pages":"1125-1154","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Swirydowicz99","doi":"10.2307/2586622","ee":"https://doi.org/10.2307/2586622","url":"https://dblp.org/rec/journals/jsyml/Swirydowicz99"}, "url":"URL#6499872" }, { "@score":"1", "@id":"6499873", "info":{"authors":{"author":{"@pid":"u/AlasdairUrquhart","text":"Alasdair Urquhart"}},"title":"The Complexity of Decision Procedures In Relevance Logic II.","venue":"J. Symb. Log.","volume":"64","number":"4","pages":"1774-1802","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Urquhart99","doi":"10.2307/2586811","ee":"https://doi.org/10.2307/2586811","url":"https://dblp.org/rec/journals/jsyml/Urquhart99"}, "url":"URL#6499873" }, { "@score":"1", "@id":"6499874", "info":{"authors":{"author":{"@pid":"u/PawelUrzyczyn","text":"Pawel Urzyczyn"}},"title":"The Emptiness Problem for Intersection Types.","venue":"J. Symb. Log.","volume":"64","number":"3","pages":"1195-1215","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Urzyczyn99","doi":"10.2307/2586625","ee":"https://doi.org/10.2307/2586625","url":"https://dblp.org/rec/journals/jsyml/Urzyczyn99"}, "url":"URL#6499874" }, { "@score":"1", "@id":"6499875", "info":{"authors":{"author":{"@pid":"30/1737","text":"Andrés Villaveces"}},"title":"Heights of Models of ZFC and The Existence of End Elementary Extensions II.","venue":"J. Symb. Log.","volume":"64","number":"3","pages":"1111-1124","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Villaveces99","doi":"10.2307/2586621","ee":"https://doi.org/10.2307/2586621","url":"https://dblp.org/rec/journals/jsyml/Villaveces99"}, "url":"URL#6499875" }, { "@score":"1", "@id":"6499876", "info":{"authors":{"author":{"@pid":"v/AndreiVoronkov","text":"Andrei Voronkov"}},"title":"The Ground-Negative Fragment of First-Order Logic Is Pip2-Complete.","venue":"J. Symb. Log.","volume":"64","number":"3","pages":"984-990","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Voronkov99","doi":"10.2307/2586615","ee":"https://doi.org/10.2307/2586615","url":"https://dblp.org/rec/journals/jsyml/Voronkov99"}, "url":"URL#6499876" }, { "@score":"1", "@id":"6499877", "info":{"authors":{"author":{"@pid":"53/5721","text":"Heinrich Wansing"}},"title":"Displaying The Modal Logic of Consistency.","venue":"J. Symb. Log.","volume":"64","number":"4","pages":"1573-1590","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Wansing99","doi":"10.2307/2586798","ee":"https://doi.org/10.2307/2586798","url":"https://dblp.org/rec/journals/jsyml/Wansing99"}, "url":"URL#6499877" }, { "@score":"1", "@id":"6499878", "info":{"authors":{"author":{"@pid":"08/3484","text":"Stephan Wehner"}},"title":"On Recursive Enumerability with Finite Repetitions.","venue":"J. Symb. Log.","volume":"64","number":"3","pages":"927-945","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Wehner99","doi":"10.2307/2586612","ee":"https://doi.org/10.2307/2586612","url":"https://dblp.org/rec/journals/jsyml/Wehner99"}, "url":"URL#6499878" }, { "@score":"1", "@id":"6499879", "info":{"authors":{"author":{"@pid":"x/HongweiXi","text":"Hongwei Xi"}},"title":"Upper Bounds for Standardizations and An Application.","venue":"J. Symb. Log.","volume":"64","number":"1","pages":"291-303","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Xi99","doi":"10.2307/2586765","ee":"https://doi.org/10.2307/2586765","url":"https://dblp.org/rec/journals/jsyml/Xi99"}, "url":"URL#6499879" }, { "@score":"1", "@id":"6499880", "info":{"authors":{"author":[{"@pid":"58/375","text":"Yuefei Sui"},{"@pid":"87/3175","text":"Zaiyue Zhang"}]},"title":"The Cupping Theorem in R/M.","venue":"J. Symb. Log.","volume":"64","number":"2","pages":"643-650","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/YuefeiZ99","doi":"10.2307/2586490","ee":"https://doi.org/10.2307/2586490","url":"https://dblp.org/rec/journals/jsyml/YuefeiZ99"}, "url":"URL#6499880" }, { "@score":"1", "@id":"6499881", "info":{"authors":{"author":{"@pid":"64/6544-8","text":"Yi Zhang 0008"}},"title":"On A Class of M.A.D. Families.","venue":"J. Symb. Log.","volume":"64","number":"2","pages":"737-746","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Zhang99","doi":"10.2307/2586496","ee":"https://doi.org/10.2307/2586496","url":"https://dblp.org/rec/journals/jsyml/Zhang99"}, "url":"URL#6499881" }, { "@score":"1", "@id":"6499882", "info":{"authors":{"author":{"@pid":"64/6544-8","text":"Yi Zhang 0008"}},"title":"Adjoining Cofinitary Permutations.","venue":"J. Symb. Log.","volume":"64","number":"4","pages":"1803-1810","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Zhang99a","doi":"10.2307/2586812","ee":"https://doi.org/10.2307/2586812","url":"https://dblp.org/rec/journals/jsyml/Zhang99a"}, "url":"URL#6499882" }, { "@score":"1", "@id":"6499883", "info":{"authors":{"author":{"@pid":"56/3503","text":"Beihai Zhou"}},"title":"Grafted Frames and S1-Completeness.","venue":"J. Symb. Log.","volume":"64","number":"3","pages":"1324-1338","year":"1999","type":"Journal Articles","access":"closed","key":"journals/jsyml/Zhou99","doi":"10.2307/2586633","ee":"https://doi.org/10.2307/2586633","url":"https://dblp.org/rec/journals/jsyml/Zhou99"}, "url":"URL#6499883" } ] } } } )