Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/jsyml/jsyml69.bht:"
download as .bib file
@article{DBLP:journals/jsyml/AbrahamS04,
author = {Uri Abraham and
Saharon Shelah},
title = {Ladder gaps over stationary sets},
journal = {J. Symb. Log.},
volume = {69},
number = {2},
pages = {518--532},
year = {2004},
url = {https://doi.org/10.2178/jsl/1082418541},
doi = {10.2178/JSL/1082418541},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/AbrahamS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/AmbainisCJS04,
author = {Andris Ambainis and
John Case and
Sanjay Jain and
Mandayam Suraj},
title = {Parsimony hierarchies for inductive inference},
journal = {J. Symb. Log.},
volume = {69},
number = {1},
pages = {287--327},
year = {2004},
url = {https://doi.org/10.2178/jsl/1080938842},
doi = {10.2178/JSL/1080938842},
timestamp = {Wed, 16 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/AmbainisCJS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Ambos-SpiesKLS04,
author = {Klaus Ambos{-}Spies and
Bj{\o}rn Kjos{-}Hanssen and
Steffen Lempp and
Theodore A. Slaman},
title = {Comparing {DNR} and {WWKL}},
journal = {J. Symb. Log.},
volume = {69},
number = {4},
pages = {1089--1104},
year = {2004},
url = {https://doi.org/10.2178/jsl/1102022212},
doi = {10.2178/JSL/1102022212},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Ambos-SpiesKLS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/AndreevH04,
author = {Petr Andreev and
Karel Hrbacek},
title = {Standard sets in nonstandard set theory},
journal = {J. Symb. Log.},
volume = {69},
number = {1},
pages = {165--182},
year = {2004},
url = {https://doi.org/10.2178/jsl/1080938835},
doi = {10.2178/JSL/1080938835},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/AndreevH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ApterS04,
author = {Arthur W. Apter and
Grigor Sargsyan},
title = {Jonsson-like partition relations and j: {V} -{\textgreater} {V}},
journal = {J. Symb. Log.},
volume = {69},
number = {4},
pages = {1267--1281},
year = {2004},
url = {https://doi.org/10.2178/jsl/1102022223},
doi = {10.2178/JSL/1102022223},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ApterS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Arai04,
author = {Toshiyasu Arai},
title = {Wellfoundedness proofs by means of non-monotonic inductive definitions
{I:} Pi \({}^{\mbox{0}}\)\({}_{\mbox{2}}\)-operators},
journal = {J. Symb. Log.},
volume = {69},
number = {3},
pages = {830--850},
year = {2004},
url = {https://doi.org/10.2178/jsl/1096901770},
doi = {10.2178/JSL/1096901770},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Arai04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Arana04,
author = {Andrew P. Arana},
title = {Arithmetical independence results using higher recursion theory},
journal = {J. Symb. Log.},
volume = {69},
number = {1},
pages = {1--8},
year = {2004},
url = {https://doi.org/10.2178/jsl/1080938820},
doi = {10.2178/JSL/1080938820},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Arana04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Aubrey04,
author = {Jason Aubrey},
title = {Combinatorics for the dominating and unsplitting numbers},
journal = {J. Symb. Log.},
volume = {69},
number = {2},
pages = {482--498},
year = {2004},
url = {https://doi.org/10.2178/jsl/1082418539},
doi = {10.2178/JSL/1082418539},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Aubrey04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BagariaB04,
author = {Joan Bagaria and
Roger Bosch},
title = {Solovay models and forcing extensions},
journal = {J. Symb. Log.},
volume = {69},
number = {3},
pages = {742--766},
year = {2004},
url = {https://doi.org/10.2178/jsl/1096901764},
doi = {10.2178/JSL/1096901764},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BagariaB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BaizhanovB04,
author = {Bektur Sembiuly Baizhanov and
John T. Baldwin},
title = {Local homogeneity},
journal = {J. Symb. Log.},
volume = {69},
number = {4},
pages = {1243--1260},
year = {2004},
url = {https://doi.org/10.2178/jsl/1102022221},
doi = {10.2178/JSL/1102022221},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BaizhanovB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Beke04,
author = {Tibor Beke},
title = {Theories of presheaf type},
journal = {J. Symb. Log.},
volume = {69},
number = {3},
pages = {923--934},
year = {2004},
url = {https://doi.org/10.2178/jsl/1096901776},
doi = {10.2178/JSL/1096901776},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Beke04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Belegradek04,
author = {Oleg V. Belegradek},
title = {Semi-bounded relations in ordered modules},
journal = {J. Symb. Log.},
volume = {69},
number = {2},
pages = {499--517},
year = {2004},
url = {https://doi.org/10.2178/jsl/1082418540},
doi = {10.2178/JSL/1082418540},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Belegradek04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Ben-Yaacov04,
author = {Itay Ben{-}Yaacov},
title = {Lovely pairs of models: the non first order case},
journal = {J. Symb. Log.},
volume = {69},
number = {3},
pages = {641--662},
year = {2004},
url = {https://doi.org/10.2178/jsl/1096901759},
doi = {10.2178/JSL/1096901759},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Ben-Yaacov04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Ben-YaacovW04,
author = {Itay Ben{-}Yaacov and
Frank O. Wagner},
title = {On almost orthogonality in simple theories},
journal = {J. Symb. Log.},
volume = {69},
number = {2},
pages = {398--408},
year = {2004},
url = {https://doi.org/10.2178/jsl/1082418533},
doi = {10.2178/JSL/1082418533},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Ben-YaacovW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BenzmullerBK04,
author = {Christoph Benzm{\"{u}}ller and
Chad E. Brown and
Michael Kohlhase},
title = {Higher-order semantics and extensionality},
journal = {J. Symb. Log.},
volume = {69},
number = {4},
pages = {1027--1088},
year = {2004},
url = {https://doi.org/10.2178/jsl/1102022211},
doi = {10.2178/JSL/1102022211},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BenzmullerBK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Berenstein04,
author = {Alexander Berenstein},
title = {Dividing in the algebra of compact operators},
journal = {J. Symb. Log.},
volume = {69},
number = {3},
pages = {817--829},
year = {2004},
url = {https://doi.org/10.2178/jsl/1096901769},
doi = {10.2178/JSL/1096901769},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Berenstein04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BridgesV04,
author = {Douglas S. Bridges and
Luminita V{\^{\i}}ta},
title = {Corrigendum to "A proof - technique in uniform space theory"},
journal = {J. Symb. Log.},
volume = {69},
number = {1},
pages = {328},
year = {2004},
url = {https://doi.org/10.2178/jsl/1080938843},
doi = {10.2178/JSL/1080938843},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BridgesV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CholakMS04,
author = {Peter Cholak and
Alberto Marcone and
Reed Solomon},
title = {Reverse mathematics and the equivalence of definitions for well and
better quasi-orders},
journal = {J. Symb. Log.},
volume = {69},
number = {3},
pages = {683--712},
year = {2004},
url = {https://doi.org/10.2178/jsl/1096901762},
doi = {10.2178/JSL/1096901762},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/CholakMS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Cook04,
author = {Roy T. Cook},
title = {Patterns of paradox},
journal = {J. Symb. Log.},
volume = {69},
number = {3},
pages = {767--774},
year = {2004},
url = {https://doi.org/10.2178/jsl/1096901765},
doi = {10.2178/JSL/1096901765},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Cook04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CriveiPR04,
author = {Septimiu Crivei and
Mike Prest and
Geert Reynders},
title = {Model theory of comodules},
journal = {J. Symb. Log.},
volume = {69},
number = {1},
pages = {137--142},
year = {2004},
url = {https://doi.org/10.2178/jsl/1080938832},
doi = {10.2178/JSL/1080938832},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/CriveiPR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Csima04,
author = {Barbara F. Csima},
title = {Degree spectra of prime models},
journal = {J. Symb. Log.},
volume = {69},
number = {2},
pages = {430--442},
year = {2004},
url = {https://doi.org/10.2178/jsl/1082418536},
doi = {10.2178/JSL/1082418536},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Csima04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CsimaHKS04,
author = {Barbara F. Csima and
Denis R. Hirschfeldt and
Julia F. Knight and
Robert I. Soare},
title = {Bounding prime models},
journal = {J. Symb. Log.},
volume = {69},
number = {4},
pages = {1117--1142},
year = {2004},
url = {https://doi.org/10.2178/jsl/1102022214},
doi = {10.2178/JSL/1102022214},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/CsimaHKS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DingY04,
author = {Decheng Ding and
Liang Yu},
title = {There is no \emph{SW}-complete c.e. real},
journal = {J. Symb. Log.},
volume = {69},
number = {4},
pages = {1163--1170},
year = {2004},
url = {https://doi.org/10.2178/jsl/1102022216},
doi = {10.2178/JSL/1102022216},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/DingY04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Djordjevic04,
author = {Marko Djordjevic},
title = {On first-order sentences without finite models},
journal = {J. Symb. Log.},
volume = {69},
number = {2},
pages = {329--339},
year = {2004},
url = {https://doi.org/10.2178/jsl/1082418529},
doi = {10.2178/JSL/1082418529},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Djordjevic04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DobrinenS04,
author = {Natasha Dobrinen and
Stephen G. Simpson},
title = {Almost everywhere domination},
journal = {J. Symb. Log.},
volume = {69},
number = {3},
pages = {914--922},
year = {2004},
url = {https://doi.org/10.2178/jsl/1096901775},
doi = {10.2178/JSL/1096901775},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/DobrinenS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Dolich04,
author = {Alfred Dolich},
title = {Forking and independence in o-minimal theories},
journal = {J. Symb. Log.},
volume = {69},
number = {1},
pages = {215--240},
year = {2004},
url = {https://doi.org/10.2178/jsl/1080938838},
doi = {10.2178/JSL/1080938838},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Dolich04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DowneyG04,
author = {Rodney G. Downey and
Evan J. Griffiths},
title = {Schnorr randomness},
journal = {J. Symb. Log.},
volume = {69},
number = {2},
pages = {533--554},
year = {2004},
url = {https://doi.org/10.2178/jsl/1082418542},
doi = {10.2178/JSL/1082418542},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/DowneyG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DzamonjaKM04,
author = {Mirna Dzamonja and
P{\'{e}}ter Komj{\'{a}}th and
Charles Morgan},
title = {Wild edge colourings of graphs},
journal = {J. Symb. Log.},
volume = {69},
number = {1},
pages = {255--264},
year = {2004},
url = {https://doi.org/10.2178/jsl/1080938840},
doi = {10.2178/JSL/1080938840},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/DzamonjaKM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Ehrhard04,
author = {Thomas Ehrhard},
title = {A completeness theorem for symmetric product phase spaces},
journal = {J. Symb. Log.},
volume = {69},
number = {2},
pages = {340--370},
year = {2004},
url = {https://doi.org/10.2178/jsl/1082418530},
doi = {10.2178/JSL/1082418530},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Ehrhard04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Enayat04,
author = {Ali Enayat},
title = {Leibnizian models of set theory},
journal = {J. Symb. Log.},
volume = {69},
number = {3},
pages = {775--789},
year = {2004},
url = {https://doi.org/10.2178/jsl/1096901766},
doi = {10.2178/JSL/1096901766},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Enayat04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/FennerKR04,
author = {Stephen A. Fenner and
Stuart A. Kurtz and
James S. Royer},
title = {Every polynomial-time 1-degree collapses if and only if {P} = {PSPACE}},
journal = {J. Symb. Log.},
volume = {69},
number = {3},
pages = {713--741},
year = {2004},
url = {https://doi.org/10.2178/jsl/1096901763},
doi = {10.2178/JSL/1096901763},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/FennerKR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/FischerM04,
author = {Eldar Fischer and
Johann A. Makowsky},
title = {On spectra of sentences of monadic second order logic with counting},
journal = {J. Symb. Log.},
volume = {69},
number = {3},
pages = {617--640},
year = {2004},
url = {https://doi.org/10.2178/jsl/1096901758},
doi = {10.2178/JSL/1096901758},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/FischerM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Frecon04,
author = {Olivier Fr{\'{e}}con},
title = {Sous-groupes de Carter dans les groupes de rang de Morley fini},
journal = {J. Symb. Log.},
volume = {69},
number = {1},
pages = {23--33},
year = {2004},
url = {https://doi.org/10.2178/jsl/1080938822},
doi = {10.2178/JSL/1080938822},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Frecon04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Friedman04,
author = {Sy D. Friedman},
title = {Generic Sigma\({}^{\mbox{1}}\)\({}_{\mbox{3}}\) absoluteness},
journal = {J. Symb. Log.},
volume = {69},
number = {1},
pages = {73--80},
year = {2004},
url = {https://doi.org/10.2178/jsl/1080938826},
doi = {10.2178/JSL/1080938826},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Friedman04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/GhilardiS04,
author = {Silvio Ghilardi and
Lorenzo Sacchetti},
title = {Filtering unification and most general unifiers in modal logic},
journal = {J. Symb. Log.},
volume = {69},
number = {3},
pages = {879--906},
year = {2004},
url = {https://doi.org/10.2178/jsl/1096901773},
doi = {10.2178/JSL/1096901773},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/GhilardiS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/GoncharovHKS04,
author = {Sergei S. Goncharov and
Valentina S. Harizanov and
Julia F. Knight and
Richard A. Shore},
title = {Pi\({}_{\mbox{1}}\)\({}^{\mbox{1}}\) relations and paths through},
journal = {J. Symb. Log.},
volume = {69},
number = {2},
pages = {585--611},
year = {2004},
url = {https://doi.org/10.2178/jsl/1082418544},
doi = {10.2178/JSL/1082418544},
timestamp = {Thu, 31 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/GoncharovHKS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/GreenbergMS04,
author = {Noam Greenberg and
Antonio Montalb{\'{a}}n and
Richard A. Shore},
title = {Generalized high degrees have the complementation property},
journal = {J. Symb. Log.},
volume = {69},
number = {4},
pages = {1200--1220},
year = {2004},
url = {https://doi.org/10.2178/jsl/1102022219},
doi = {10.2178/JSL/1102022219},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/GreenbergMS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Hansen04,
author = {Lars Hansen},
title = {Formalized token models and duality in semantics: an algebraic approach},
journal = {J. Symb. Log.},
volume = {69},
number = {2},
pages = {443--477},
year = {2004},
url = {https://doi.org/10.2178/jsl/1082418537},
doi = {10.2178/JSL/1082418537},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Hansen04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Hirst04,
author = {Jeffry L. Hirst},
title = {Hindman's theorem, ultrafilters, and reverse mathematics},
journal = {J. Symb. Log.},
volume = {69},
number = {1},
pages = {65--72},
year = {2004},
url = {https://doi.org/10.2178/jsl/1080938825},
doi = {10.2178/JSL/1080938825},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Hirst04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ItaiTW04,
author = {Masanori Itai and
Akito Tsuboi and
Kentaro Wakai},
title = {Construction of saturated quasi-minimal structure},
journal = {J. Symb. Log.},
volume = {69},
number = {1},
pages = {9--22},
year = {2004},
url = {https://doi.org/10.2178/jsl/1080938821},
doi = {10.2178/JSL/1080938821},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ItaiTW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/KanoveiS04,
author = {Vladimir Kanovei and
Saharon Shelah},
title = {A definable nonstandard model of the reals},
journal = {J. Symb. Log.},
volume = {69},
number = {1},
pages = {159--164},
year = {2004},
url = {https://doi.org/10.2178/jsl/1080938834},
doi = {10.2178/JSL/1080938834},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/KanoveiS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/KeislerL04,
author = {H. Jerome Keisler and
Wafik Boulos Lotfallah},
title = {First order quantifiers in{\textasciitilde}monadic second order logic},
journal = {J. Symb. Log.},
volume = {69},
number = {1},
pages = {118--136},
year = {2004},
url = {https://doi.org/10.2178/jsl/1080938831},
doi = {10.2178/JSL/1080938831},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/KeislerL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/KennedyS04,
author = {Juliette Kennedy and
Saharon Shelah},
title = {More on regular reduced products},
journal = {J. Symb. Log.},
volume = {69},
number = {4},
pages = {1261--1266},
year = {2004},
url = {https://doi.org/10.2178/jsl/1102022222},
doi = {10.2178/JSL/1102022222},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/KennedyS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Kolodziejczyk04,
author = {Leszek Aleksander Kolodziejczyk},
title = {Truth definitions in finite models},
journal = {J. Symb. Log.},
volume = {69},
number = {1},
pages = {183--200},
year = {2004},
url = {https://doi.org/10.2178/jsl/1080938836},
doi = {10.2178/JSL/1080938836},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Kolodziejczyk04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Kolodziejczyk04a,
author = {Leszek Aleksander Kolodziejczyk},
title = {A finite model-theoretical proof of a property of bounded query classes
within {PH}},
journal = {J. Symb. Log.},
volume = {69},
number = {4},
pages = {1105--1116},
year = {2004},
url = {https://doi.org/10.2178/jsl/1102022213},
doi = {10.2178/JSL/1102022213},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Kolodziejczyk04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Kowalski04,
title = {Retraction note for "PDL has interpolation"},
journal = {J. Symb. Log.},
volume = {69},
number = {3},
pages = {935},
year = {2004},
url = {https://doi.org/10.2178/jsl/1096901777},
doi = {10.2178/JSL/1096901777},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Kowalski04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Krajicek04,
author = {Jan Kraj{\'{\i}}cek},
title = {Approximate Euler characteristic, dimension, and weak pigeonhole principles},
journal = {J. Symb. Log.},
volume = {69},
number = {1},
pages = {201--214},
year = {2004},
url = {https://doi.org/10.2178/jsl/1080938837},
doi = {10.2178/JSL/1080938837},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Krajicek04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Krajicek04a,
author = {Jan Kraj{\'{\i}}cek},
title = {Dual weak pigeonhole principle, pseudo-surjective functions, and provability
of circuit lower bounds},
journal = {J. Symb. Log.},
volume = {69},
number = {1},
pages = {265--286},
year = {2004},
url = {https://doi.org/10.2178/jsl/1080938841},
doi = {10.2178/JSL/1080938841},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Krajicek04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Krajicek04b,
author = {Jan Kraj{\'{\i}}cek},
title = {Implicit proofs},
journal = {J. Symb. Log.},
volume = {69},
number = {2},
pages = {387--397},
year = {2004},
url = {https://doi.org/10.2178/jsl/1082418532},
doi = {10.2178/JSL/1082418532},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Krajicek04b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Lewis04,
author = {Andrew Lewis},
title = {Minimal complements for degrees below 0'},
journal = {J. Symb. Log.},
volume = {69},
number = {4},
pages = {937--966},
year = {2004},
url = {https://doi.org/10.2178/jsl/1102022208},
doi = {10.2178/JSL/1102022208},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Lewis04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/MaiettiV04,
author = {Maria Emilia Maietti and
Silvio Valentini},
title = {A structural investigation on formal topology: coreflection of formal
covers and exponentiability},
journal = {J. Symb. Log.},
volume = {69},
number = {4},
pages = {967--1005},
year = {2004},
url = {https://doi.org/10.2178/jsl/1102022209},
doi = {10.2178/JSL/1102022209},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/MaiettiV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Mainhardt04,
author = {Gunther Mainhardt},
title = {\emph{P} versus \emph{NP} and computability theoretic constructions
in complexity theory over algebraic structures},
journal = {J. Symb. Log.},
volume = {69},
number = {1},
pages = {39--64},
year = {2004},
url = {https://doi.org/10.2178/jsl/1080938824},
doi = {10.2178/JSL/1080938824},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Mainhardt04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/MarconeR04,
author = {Alberto Marcone and
Christian Rosendal},
title = {The complexity of continuous embeddability between dendrites},
journal = {J. Symb. Log.},
volume = {69},
number = {3},
pages = {663--673},
year = {2004},
url = {https://doi.org/10.2178/jsl/1096901760},
doi = {10.2178/JSL/1096901760},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/MarconeR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/McKenzieM04,
author = {Ralph McKenzie and
J. Donald Monk},
title = {On some small cardinals for Boolean algebras},
journal = {J. Symb. Log.},
volume = {69},
number = {3},
pages = {674--682},
year = {2004},
url = {https://doi.org/10.2178/jsl/1096901761},
doi = {10.2178/JSL/1096901761},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/McKenzieM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/MerkleM04,
author = {Wolfgang Merkle and
Nenad Mihailovic},
title = {On the construction of effectively random sets},
journal = {J. Symb. Log.},
volume = {69},
number = {3},
pages = {862--878},
year = {2004},
url = {https://doi.org/10.2178/jsl/1096901772},
doi = {10.2178/JSL/1096901772},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/MerkleM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Miller04,
author = {Joseph S. Miller},
title = {Degrees of unsolvability of continuous functions},
journal = {J. Symb. Log.},
volume = {69},
number = {2},
pages = {555--584},
year = {2004},
url = {https://doi.org/10.2178/jsl/1082418543},
doi = {10.2178/JSL/1082418543},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Miller04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Miller04a,
author = {Joseph S. Miller},
title = {Every 2-random real is Kolmogorov random},
journal = {J. Symb. Log.},
volume = {69},
number = {3},
pages = {907--913},
year = {2004},
url = {https://doi.org/10.2178/jsl/1096901774},
doi = {10.2178/JSL/1096901774},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Miller04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Mitchell04,
author = {William J. Mitchell},
title = {A weak variation of Shelah's I[omega\({}_{\mbox{2}}\)]},
journal = {J. Symb. Log.},
volume = {69},
number = {1},
pages = {94--100},
year = {2004},
url = {https://doi.org/10.2178/jsl/1080938829},
doi = {10.2178/JSL/1080938829},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Mitchell04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/MitchellS04,
author = {William J. Mitchell and
Ralf Schindler},
title = {A universal extender model without large cardinals in \emph{V}},
journal = {J. Symb. Log.},
volume = {69},
number = {2},
pages = {371--386},
year = {2004},
url = {https://doi.org/10.2178/jsl/1082418531},
doi = {10.2178/JSL/1082418531},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/MitchellS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/MummertS04,
author = {Carl Mummert and
Stephen G. Simpson},
title = {An incompleteness theorem for gamma\({}_{\mbox{n}}\)-models},
journal = {J. Symb. Log.},
volume = {69},
number = {2},
pages = {612--616},
year = {2004},
url = {https://doi.org/10.2178/jsl/1082418545},
doi = {10.2178/JSL/1082418545},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/MummertS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Neeman04,
author = {Itay Neeman},
title = {The Mitchell order below rank-to-rank},
journal = {J. Symb. Log.},
volume = {69},
number = {4},
pages = {1143--1162},
year = {2004},
url = {https://doi.org/10.2178/jsl/1102022215},
doi = {10.2178/JSL/1102022215},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Neeman04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Oliver04,
author = {Michael Ray Oliver},
title = {Continuum-many Boolean algebras of the form (omega )/\emph{I}, \emph{I}
Borel},
journal = {J. Symb. Log.},
volume = {69},
number = {3},
pages = {799--816},
year = {2004},
url = {https://doi.org/10.2178/jsl/1096901768},
doi = {10.2178/JSL/1096901768},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Oliver04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Omanadze04,
author = {Roland Sh. Omanadze},
title = {Splittings of effectively speedable sets and effectively levelable
sets},
journal = {J. Symb. Log.},
volume = {69},
number = {1},
pages = {143--158},
year = {2004},
url = {https://doi.org/10.2178/jsl/1080938833},
doi = {10.2178/JSL/1080938833},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Omanadze04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Oosten04,
author = {Jaap van Oosten},
title = {A partial analysis of modified realizability},
journal = {J. Symb. Log.},
volume = {69},
number = {2},
pages = {421--429},
year = {2004},
url = {https://doi.org/10.2178/jsl/1082418535},
doi = {10.2178/JSL/1082418535},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Oosten04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/PheidasZ04,
author = {Thanases Pheidas and
Karim Zahidi},
title = {Elimination theory for addition and the Frobenius map in polynomial
rings},
journal = {J. Symb. Log.},
volume = {69},
number = {4},
pages = {1006--1026},
year = {2004},
url = {https://doi.org/10.2178/jsl/1102022210},
doi = {10.2178/JSL/1102022210},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/PheidasZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/PillayZ04,
author = {Anand Pillay and
Martin Ziegler},
title = {On a question of Herzog and Rothmaler},
journal = {J. Symb. Log.},
volume = {69},
number = {2},
pages = {478--481},
year = {2004},
url = {https://doi.org/10.2178/jsl/1082418538},
doi = {10.2178/JSL/1082418538},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/PillayZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/PrestPR04,
author = {Mike Prest and
Vera Puninskaya and
Alexandra Ralph},
title = {Some model theory of sheaves of modules},
journal = {J. Symb. Log.},
volume = {69},
number = {4},
pages = {1187--1199},
year = {2004},
url = {https://doi.org/10.2178/jsl/1102022218},
doi = {10.2178/JSL/1102022218},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/PrestPR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Radin04,
author = {Dale Radin},
title = {A definability result for compact complex spaces},
journal = {J. Symb. Log.},
volume = {69},
number = {1},
pages = {241--254},
year = {2004},
url = {https://doi.org/10.2178/jsl/1080938839},
doi = {10.2178/JSL/1080938839},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Radin04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Shami04,
author = {Ziv Shami},
title = {Coordinatisation by binding groups and unidimensionality in simple
theories},
journal = {J. Symb. Log.},
volume = {69},
number = {4},
pages = {1221--1242},
year = {2004},
url = {https://doi.org/10.2178/jsl/1102022220},
doi = {10.2178/JSL/1102022220},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Shami04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Spinas04,
author = {Otmar Spinas},
title = {Analytic countably splitting families},
journal = {J. Symb. Log.},
volume = {69},
number = {1},
pages = {101--117},
year = {2004},
url = {https://doi.org/10.2178/jsl/1080938830},
doi = {10.2178/JSL/1080938830},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Spinas04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Tressl04,
author = {Marcus Tressl},
title = {Valuation theoretic content of the Marker-Steinhorn theorem},
journal = {J. Symb. Log.},
volume = {69},
number = {1},
pages = {91--93},
year = {2004},
url = {https://doi.org/10.2178/jsl/1080938828},
doi = {10.2178/JSL/1080938828},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Tressl04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Tupailo04,
author = {Sergei Tupailo},
title = {On the intuitionistic strength of monotone inductive definitions},
journal = {J. Symb. Log.},
volume = {69},
number = {3},
pages = {790--798},
year = {2004},
url = {https://doi.org/10.2178/jsl/1096901767},
doi = {10.2178/JSL/1096901767},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Tupailo04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Vaughan04,
author = {Jerry E. Vaughan},
title = {Two step iteration of almost disjoint families},
journal = {J. Symb. Log.},
volume = {69},
number = {1},
pages = {81--90},
year = {2004},
url = {https://doi.org/10.2178/jsl/1080938827},
doi = {10.2178/JSL/1080938827},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Vaughan04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Wagner04,
author = {Frank O. Wagner},
title = {Some remarks on one-basedness},
journal = {J. Symb. Log.},
volume = {69},
number = {1},
pages = {34--38},
year = {2004},
url = {https://doi.org/10.2178/jsl/1080938823},
doi = {10.2178/JSL/1080938823},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Wagner04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Wilkie04,
author = {A. J. Wilkie},
title = {Diophantine properties of sets definable in o-minimal structures},
journal = {J. Symb. Log.},
volume = {69},
number = {3},
pages = {851--861},
year = {2004},
url = {https://doi.org/10.2178/jsl/1096901771},
doi = {10.2178/JSL/1096901771},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Wilkie04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Wu04,
author = {Guohua Wu},
title = {Bi-isolation in the d.c.e. degrees},
journal = {J. Symb. Log.},
volume = {69},
number = {2},
pages = {409--420},
year = {2004},
url = {https://doi.org/10.2178/jsl/1082418534},
doi = {10.2178/JSL/1082418534},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Wu04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Zilber04,
author = {Boris Zilber},
title = {Bi-coloured fields on the complex numbers},
journal = {J. Symb. Log.},
volume = {69},
number = {4},
pages = {1171--1186},
year = {2004},
url = {https://doi.org/10.2178/jsl/1102022217},
doi = {10.2178/JSL/1102022217},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Zilber04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-04 02:22 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
