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/jsyml68.bht:"
download as .bib file
@article{DBLP:journals/jsyml/ApterH03,
author = {Arthur W. Apter and
Joel David Hamkins},
title = {Exactly controlling the non-supercompact strongly compact cardinals},
journal = {J. Symb. Log.},
volume = {68},
number = {2},
pages = {669--688},
year = {2003},
url = {https://doi.org/10.2178/jsl/1052669070},
doi = {10.2178/JSL/1052669070},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ApterH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Baldwin03,
author = {John T. Baldwin},
title = {Expansions of geometries},
journal = {J. Symb. Log.},
volume = {68},
number = {3},
pages = {803--827},
year = {2003},
url = {https://doi.org/10.2178/jsl/1058448440},
doi = {10.2178/JSL/1058448440},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Baldwin03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Barmpalias03,
author = {George Barmpalias},
title = {The approximation structure of a computably approximable real},
journal = {J. Symb. Log.},
volume = {68},
number = {3},
pages = {885--922},
year = {2003},
url = {https://doi.org/10.2178/jsl/1058448447},
doi = {10.2178/JSL/1058448447},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Barmpalias03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Barney03,
author = {Christopher Barney},
title = {Ultrafilters on the natural numbers},
journal = {J. Symb. Log.},
volume = {68},
number = {3},
pages = {764--784},
year = {2003},
url = {https://doi.org/10.2178/jsl/1058448437},
doi = {10.2178/JSL/1058448437},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Barney03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BartoszynskiST03,
author = {Tomek Bartoszynski and
Saharon Shelah and
Boaz Tsaban},
title = {Additivity properties of topological diagonalizations},
journal = {J. Symb. Log.},
volume = {68},
number = {4},
pages = {1254--1260},
year = {2003},
url = {https://doi.org/10.2178/jsl/1067620185},
doi = {10.2178/JSL/1067620185},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BartoszynskiST03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Beklemishev03,
author = {Lev D. Beklemishev},
title = {On the induction schema for decidable predicates},
journal = {J. Symb. Log.},
volume = {68},
number = {1},
pages = {17--34},
year = {2003},
url = {https://doi.org/10.2178/jsl/1045861504},
doi = {10.2178/JSL/1045861504},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Beklemishev03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Ben-Yaacov03,
author = {Itay Ben{-}Yaacov},
title = {Discouraging results for ultraimaginary independence theory},
journal = {J. Symb. Log.},
volume = {68},
number = {3},
pages = {846--850},
year = {2003},
url = {https://doi.org/10.2178/jsl/1058448443},
doi = {10.2178/JSL/1058448443},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Ben-Yaacov03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BenediktK03,
author = {Michael Benedikt and
H. Jerome Keisler},
title = {Definability with a predicate for a semi-linear set},
journal = {J. Symb. Log.},
volume = {68},
number = {1},
pages = {319--351},
year = {2003},
url = {https://doi.org/10.2178/jsl/1045861516},
doi = {10.2178/JSL/1045861516},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BenediktK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BerarducciO03,
author = {Alessandro Berarducci and
Margarita Otero},
title = {Transfer methods for o-minimal topology},
journal = {J. Symb. Log.},
volume = {68},
number = {3},
pages = {785--794},
year = {2003},
url = {https://doi.org/10.2178/jsl/1058448438},
doi = {10.2178/JSL/1058448438},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BerarducciO03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Berenstein03,
author = {Alexander Berenstein},
title = {Simple stable homogeneous groups},
journal = {J. Symb. Log.},
volume = {68},
number = {4},
pages = {1145--1162},
year = {2003},
url = {https://doi.org/10.2178/jsl/1067620177},
doi = {10.2178/JSL/1067620177},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Berenstein03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Bimbo03,
author = {Katalin Bimb{\'{o}}},
title = {The Church-Rosser property in dual combinatory logic},
journal = {J. Symb. Log.},
volume = {68},
number = {1},
pages = {132--152},
year = {2003},
url = {https://doi.org/10.2178/jsl/1045861508},
doi = {10.2178/JSL/1045861508},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Bimbo03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BlackburnM03,
author = {Patrick Blackburn and
Maarten Marx},
title = {Constructive interpolation in hybrid logic},
journal = {J. Symb. Log.},
volume = {68},
number = {2},
pages = {463--480},
year = {2003},
url = {https://doi.org/10.2178/jsl/1052669059},
doi = {10.2178/JSL/1052669059},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BlackburnM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BlassG03,
author = {Andreas Blass and
Yuri Gurevich},
title = {Strong extension axioms and Shelah's zero-one law for choiceless polynomial
time},
journal = {J. Symb. Log.},
volume = {68},
number = {1},
pages = {65--131},
year = {2003},
url = {https://doi.org/10.2178/jsl/1045861507},
doi = {10.2178/JSL/1045861507},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BlassG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Blossier03,
author = {Thomas Blossier},
title = {Automorphism groups of trivial strongly minimal structures},
journal = {J. Symb. Log.},
volume = {68},
number = {2},
pages = {644--668},
year = {2003},
url = {https://doi.org/10.2178/jsl/1052669069},
doi = {10.2178/JSL/1052669069},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Blossier03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BrendleL03,
author = {J{\"{o}}rg Brendle and
Maria Losada},
title = {The cofinality of the infinite symmetric group and groupwise density},
journal = {J. Symb. Log.},
volume = {68},
number = {4},
pages = {1354--1361},
year = {2003},
url = {https://doi.org/10.2178/jsl/1067620191},
doi = {10.2178/JSL/1067620191},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BrendleL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BridgesV03,
author = {Douglas S. Bridges and
Luminita V{\^{\i}}ta},
title = {A proof-technique in uniform space theory},
journal = {J. Symb. Log.},
volume = {68},
number = {3},
pages = {795--802},
year = {2003},
url = {https://doi.org/10.2178/jsl/1058448439},
doi = {10.2178/JSL/1058448439},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BridgesV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Cantini03,
author = {Andrea Cantini},
title = {The axiom of choice and combinatory logic},
journal = {J. Symb. Log.},
volume = {68},
number = {4},
pages = {1091--1108},
year = {2003},
url = {https://doi.org/10.2178/jsl/1067620175},
doi = {10.2178/JSL/1067620175},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Cantini03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Carlson03,
author = {Timothy J. Carlson},
title = {Ranked partial structures},
journal = {J. Symb. Log.},
volume = {68},
number = {4},
pages = {1109--1144},
year = {2003},
url = {https://doi.org/10.2178/jsl/1067620176},
doi = {10.2178/JSL/1067620176},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Carlson03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CholakH03,
author = {Peter Cholak and
Leo Harrington},
title = {Isomorphisms of splits of computably enumerable sets},
journal = {J. Symb. Log.},
volume = {68},
number = {3},
pages = {1044--1064},
year = {2003},
url = {https://doi.org/10.2178/jsl/1058448453},
doi = {10.2178/JSL/1058448453},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/CholakH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Cluckers03,
author = {Raf Cluckers},
title = {Presburger sets and p-minimal fields},
journal = {J. Symb. Log.},
volume = {68},
number = {1},
pages = {153--162},
year = {2003},
url = {https://doi.org/10.2178/jsl/1045861509},
doi = {10.2178/JSL/1045861509},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Cluckers03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CummingsFM03,
author = {James Cummings and
Matthew Foreman and
Menachem Magidor},
title = {The non-compactness of square},
journal = {J. Symb. Log.},
volume = {68},
number = {2},
pages = {637--643},
year = {2003},
url = {https://doi.org/10.2178/jsl/1052669068},
doi = {10.2178/JSL/1052669068},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/CummingsFM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DavidN03,
author = {Ren{\'{e}} David and
Karim Nour},
title = {A short proof of the strong normalization of classical natural deduction
with disjunction},
journal = {J. Symb. Log.},
volume = {68},
number = {4},
pages = {1277--1288},
year = {2003},
url = {https://doi.org/10.2178/jsl/1067620187},
doi = {10.2178/JSL/1067620187},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/DavidN03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DeiserD03,
author = {Oliver Deiser and
Dieter Donder},
title = {Canonical functions, non-regular ultrafilters and Ulam's problem on
omega\({}_{\mbox{1}}\)},
journal = {J. Symb. Log.},
volume = {68},
number = {3},
pages = {713--739},
year = {2003},
url = {https://doi.org/10.2178/jsl/1058448434},
doi = {10.2178/JSL/1058448434},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/DeiserD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DickmannM03,
author = {Max A. Dickmann and
Francisco Miraglia},
title = {Elementary properties of the Boolean hull and reduced quotient functors},
journal = {J. Symb. Log.},
volume = {68},
number = {3},
pages = {946--971},
year = {2003},
url = {https://doi.org/10.2178/jsl/1058448449},
doi = {10.2178/JSL/1058448449},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/DickmannM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DosenP03,
author = {Kosta Dosen and
Zoran Petric},
title = {Generality of proofs and its Brauerian representation},
journal = {J. Symb. Log.},
volume = {68},
number = {3},
pages = {740--750},
year = {2003},
url = {https://doi.org/10.2178/jsl/1058448435},
doi = {10.2178/JSL/1058448435},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/DosenP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DowekW03,
author = {Gilles Dowek and
Benjamin Werner},
title = {Proof normalization modulo},
journal = {J. Symb. Log.},
volume = {68},
number = {4},
pages = {1289--1316},
year = {2003},
url = {https://doi.org/10.2178/jsl/1067620188},
doi = {10.2178/JSL/1067620188},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/DowekW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DowneyLS03,
author = {Rodney G. Downey and
Geoffrey LaForte and
Richard A. Shore},
title = {Decomposition and infima in the computably enumerable degrees},
journal = {J. Symb. Log.},
volume = {68},
number = {2},
pages = {551--579},
year = {2003},
url = {https://doi.org/10.2178/jsl/1052669063},
doi = {10.2178/JSL/1052669063},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/DowneyLS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DriesW03,
author = {Lou van den Dries and
A. J. Wilkie},
title = {The laws of integer divisibility, and solution sets of linear divisibility
conditions},
journal = {J. Symb. Log.},
volume = {68},
number = {2},
pages = {503--526},
year = {2003},
url = {https://doi.org/10.2178/jsl/1052669061},
doi = {10.2178/JSL/1052669061},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/DriesW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Duparc03,
author = {Jacques Duparc},
title = {The Steel hierarchy of ordinal valued Borel mappings},
journal = {J. Symb. Log.},
volume = {68},
number = {1},
pages = {187--234},
year = {2003},
url = {https://doi.org/10.2178/jsl/1045861511},
doi = {10.2178/JSL/1045861511},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Duparc03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DzamonjaS03,
author = {Mirna Dzamonja and
Saharon Shelah},
title = {Universal graphs at the successor of a singular cardinal},
journal = {J. Symb. Log.},
volume = {68},
number = {2},
pages = {366--388},
year = {2003},
url = {https://doi.org/10.2178/jsl/1052669056},
doi = {10.2178/JSL/1052669056},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/DzamonjaS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Evans03,
author = {David M. Evans},
title = {Ample dividing},
journal = {J. Symb. Log.},
volume = {68},
number = {4},
pages = {1385--1402},
year = {2003},
url = {https://doi.org/10.2178/jsl/1067620194},
doi = {10.2178/JSL/1067620194},
timestamp = {Tue, 13 Mar 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Evans03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/FerreiraH03,
author = {Salvador Garc{\'{\i}}a Ferreira and
Michael Hrus{\'{a}}k},
title = {Ordering {MAD} families a la Katetov},
journal = {J. Symb. Log.},
volume = {68},
number = {4},
pages = {1337--1353},
year = {2003},
url = {https://doi.org/10.2178/jsl/1067620190},
doi = {10.2178/JSL/1067620190},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/FerreiraH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Forster03,
author = {Thomas Forster},
title = {{ZF} + 'Every set is the same size as a wellfounded set'},
journal = {J. Symb. Log.},
volume = {68},
number = {1},
pages = {1--4},
year = {2003},
url = {https://doi.org/10.2178/jsl/1045861502},
doi = {10.2178/JSL/1045861502},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Forster03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Forster03a,
author = {Thomas Forster},
title = {Finite-to-one maps},
journal = {J. Symb. Log.},
volume = {68},
number = {4},
pages = {1251--1253},
year = {2003},
url = {https://doi.org/10.2178/jsl/1067620184},
doi = {10.2178/JSL/1067620184},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Forster03a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ForsterT03,
author = {Thomas E. Forster and
John Kenneth Truss},
title = {Non-well-foundedness of well-orderable power sets},
journal = {J. Symb. Log.},
volume = {68},
number = {3},
pages = {879--884},
year = {2003},
url = {https://doi.org/10.2178/jsl/1058448446},
doi = {10.2178/JSL/1058448446},
timestamp = {Sun, 10 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ForsterT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Friedman03,
author = {Sy D. Friedman},
title = {Cardinal-preserving extensions},
journal = {J. Symb. Log.},
volume = {68},
number = {4},
pages = {1163--1170},
year = {2003},
url = {https://doi.org/10.2178/jsl/1067620178},
doi = {10.2178/JSL/1067620178},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Friedman03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/FriedmanHR03,
author = {Sy D. Friedman and
Tapani Hyttinen and
Mika Rautila},
title = {Classification theory and 0\({}^{\mbox{{\#}}}\)},
journal = {J. Symb. Log.},
volume = {68},
number = {2},
pages = {580--588},
year = {2003},
url = {https://doi.org/10.2178/jsl/1052669064},
doi = {10.2178/JSL/1052669064},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/FriedmanHR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/FriedmanS03,
author = {Sy D. Friedman and
Ralf Schindler},
title = {Universally Baire sets and definable well-orderings of the reals},
journal = {J. Symb. Log.},
volume = {68},
number = {4},
pages = {1065--1081},
year = {2003},
url = {https://doi.org/10.2178/jsl/1067620173},
doi = {10.2178/JSL/1067620173},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/FriedmanS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/GiraudetT03,
author = {M. Giraudet and
John Kenneth Truss},
title = {Recovering ordered structures from quotients of their automorphism
groups},
journal = {J. Symb. Log.},
volume = {68},
number = {4},
pages = {1189--1198},
year = {2003},
url = {https://doi.org/10.2178/jsl/1067620181},
doi = {10.2178/JSL/1067620181},
timestamp = {Sun, 10 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/GiraudetT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Givant03,
author = {Steven Givant},
title = {Inequivalent representations of geometric relation algebras},
journal = {J. Symb. Log.},
volume = {68},
number = {1},
pages = {267--310},
year = {2003},
url = {https://doi.org/10.2178/jsl/1045861514},
doi = {10.2178/JSL/1045861514},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Givant03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/GoguadzePV03,
author = {George Goguadze and
Carla Piazza and
Yde Venema},
title = {Simulating polyadic modal logics by monadic ones},
journal = {J. Symb. Log.},
volume = {68},
number = {2},
pages = {419--462},
year = {2003},
url = {https://doi.org/10.2178/jsl/1052669058},
doi = {10.2178/JSL/1052669058},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/GoguadzePV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Hamkins03,
author = {Joel David Hamkins},
title = {A simple maximality principle},
journal = {J. Symb. Log.},
volume = {68},
number = {2},
pages = {527--550},
year = {2003},
url = {https://doi.org/10.2178/jsl/1052669062},
doi = {10.2178/JSL/1052669062},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Hamkins03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/HinnionL03,
author = {Roland Hinnion and
Thierry Libert},
title = {Positive abstraction and extensionality},
journal = {J. Symb. Log.},
volume = {68},
number = {3},
pages = {828--836},
year = {2003},
url = {https://doi.org/10.2178/jsl/1058448441},
doi = {10.2178/JSL/1058448441},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/HinnionL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/HirschfeldtKS03,
author = {Denis R. Hirschfeldt and
Bakhadyr Khoussainov and
Richard A. Shore},
title = {A computably categorical structure whose expansion by a constant has
infinite computable dimension},
journal = {J. Symb. Log.},
volume = {68},
number = {4},
pages = {1199--1241},
year = {2003},
url = {https://doi.org/10.2178/jsl/1067620182},
doi = {10.2178/JSL/1067620182},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/HirschfeldtKS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Ishmukhametov03,
author = {Shamil Ishmukhametov},
title = {On a problem of Cooper and Epstein},
journal = {J. Symb. Log.},
volume = {68},
number = {1},
pages = {52--64},
year = {2003},
url = {https://doi.org/10.2178/jsl/1045861506},
doi = {10.2178/JSL/1045861506},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Ishmukhametov03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/KanekoS03,
author = {Mamoru Kaneko and
Nobu{-}Yuki Suzuki},
title = {Epistemic models of shallow depths and decision making in games: Horticulture},
journal = {J. Symb. Log.},
volume = {68},
number = {1},
pages = {163--186},
year = {2003},
url = {https://doi.org/10.2178/jsl/1045861510},
doi = {10.2178/JSL/1045861510},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/KanekoS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Koiran03,
author = {Pascal Koiran},
title = {The theory of Liouville functions},
journal = {J. Symb. Log.},
volume = {68},
number = {2},
pages = {353--365},
year = {2003},
url = {https://doi.org/10.2178/jsl/1052669055},
doi = {10.2178/JSL/1052669055},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Koiran03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Krueger03,
author = {John Krueger},
title = {Fat sets and saturated ideals},
journal = {J. Symb. Log.},
volume = {68},
number = {3},
pages = {837--845},
year = {2003},
url = {https://doi.org/10.2178/jsl/1058448442},
doi = {10.2178/JSL/1058448442},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Krueger03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/KushidaO03,
author = {Hirohiko Kushida and
Mitsu Okada},
title = {A proof-theoretic study of the correspondence of classical logic and
modal logic},
journal = {J. Symb. Log.},
volume = {68},
number = {4},
pages = {1403--1414},
year = {2003},
url = {https://doi.org/10.2178/jsl/1067620195},
doi = {10.2178/JSL/1067620195},
timestamp = {Wed, 29 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/KushidaO03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Laskowski03,
author = {Michael C. Laskowski},
title = {An application of Kochen's theorem},
journal = {J. Symb. Log.},
volume = {68},
number = {4},
pages = {1181--1188},
year = {2003},
url = {https://doi.org/10.2178/jsl/1067620180},
doi = {10.2178/JSL/1067620180},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Laskowski03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Lessmann03,
author = {Olivier Lessmann},
title = {Categoricity and U-rank in excellent classes},
journal = {J. Symb. Log.},
volume = {68},
number = {4},
pages = {1317--1336},
year = {2003},
url = {https://doi.org/10.2178/jsl/1067620189},
doi = {10.2178/JSL/1067620189},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Lessmann03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/MartinNV03,
author = {Donald A. Martin and
Itay Neeman and
Marco Vervoort},
title = {The strength of Blackwell determinacy},
journal = {J. Symb. Log.},
volume = {68},
number = {2},
pages = {615--636},
year = {2003},
url = {https://doi.org/10.2178/jsl/1052669067},
doi = {10.2178/JSL/1052669067},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/MartinNV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/MatetP03,
author = {Pierre Matet and
Janusz Pawlikowski},
title = {Q-pointness, P-pointness and feebleness of ideals},
journal = {J. Symb. Log.},
volume = {68},
number = {1},
pages = {235--261},
year = {2003},
url = {https://doi.org/10.2178/jsl/1045861512},
doi = {10.2178/JSL/1045861512},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/MatetP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Merkle03,
author = {Wolfgang Merkle},
title = {The Kolmogorov-Loveland stochastic sequences are not closed under
selecting subsequences},
journal = {J. Symb. Log.},
volume = {68},
number = {4},
pages = {1362--1376},
year = {2003},
url = {https://doi.org/10.2178/jsl/1067620192},
doi = {10.2178/JSL/1067620192},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Merkle03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Mitchell03,
author = {William J. Mitchell},
title = {A Gitik iteration with nearly Easton factoring},
journal = {J. Symb. Log.},
volume = {68},
number = {2},
pages = {481--502},
year = {2003},
url = {https://doi.org/10.2178/jsl/1052669060},
doi = {10.2178/JSL/1052669060},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Mitchell03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Montalban03,
author = {Antonio Montalb{\'{a}}n},
title = {Embedding jump upper semilattices into the Turing degrees},
journal = {J. Symb. Log.},
volume = {68},
number = {3},
pages = {989--1014},
year = {2003},
url = {https://doi.org/10.2178/jsl/1058448451},
doi = {10.2178/JSL/1058448451},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Montalban03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Moschovakis03,
author = {Joan Rand Moschovakis},
title = {Classical and constructive hierarchies in extended intuitionistic
analysis},
journal = {J. Symb. Log.},
volume = {68},
number = {3},
pages = {1015--1043},
year = {2003},
url = {https://doi.org/10.2178/jsl/1058448452},
doi = {10.2178/JSL/1058448452},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Moschovakis03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/NakazawaT03,
author = {Koji Nakazawa and
Makoto Tatsuta},
title = {Strong normalization proof with CPS-translation for second order classical
natural deduction},
journal = {J. Symb. Log.},
volume = {68},
number = {3},
pages = {851--859},
year = {2003},
url = {https://doi.org/10.2178/jsl/1058448444},
doi = {10.2178/JSL/1058448444},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/NakazawaT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/NakazawaT03a,
author = {Koji Nakazawa and
Makoto Tatsuta},
title = {Corrigendum to "Strong normalization proof with CPS-translation for
second order classical natural deduction"},
journal = {J. Symb. Log.},
volume = {68},
number = {4},
pages = {1415--1416},
year = {2003},
url = {https://doi.org/10.2178/jsl/1067620196},
doi = {10.2178/JSL/1067620196},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/NakazawaT03a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Pierce03,
author = {David Pierce},
title = {Differential forms in the model theory of differential fields},
journal = {J. Symb. Log.},
volume = {68},
number = {3},
pages = {923--945},
year = {2003},
url = {https://doi.org/10.2178/jsl/1058448448},
doi = {10.2178/JSL/1058448448},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Pierce03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Pillay03,
author = {Anand Pillay},
title = {On countable simple unidimensional theories},
journal = {J. Symb. Log.},
volume = {68},
number = {4},
pages = {1377--1384},
year = {2003},
url = {https://doi.org/10.2178/jsl/1067620193},
doi = {10.2178/JSL/1067620193},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Pillay03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Pollett03,
author = {Chris Pollett},
title = {A theory for Log-Space and {NLIN} versus coNLIN},
journal = {J. Symb. Log.},
volume = {68},
number = {4},
pages = {1082--1090},
year = {2003},
url = {https://doi.org/10.2178/jsl/1067620174},
doi = {10.2178/JSL/1067620174},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Pollett03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Pudlak03,
author = {Pavel Pudl{\'{a}}k},
title = {Parallel strategies},
journal = {J. Symb. Log.},
volume = {68},
number = {4},
pages = {1242--1250},
year = {2003},
url = {https://doi.org/10.2178/jsl/1067620183},
doi = {10.2178/JSL/1067620183},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Pudlak03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Raatikainen03,
author = {Panu Raatikainen},
title = {Some strongly undecidable natural arithmetical problems, with an application
to intuitionistic theories},
journal = {J. Symb. Log.},
volume = {68},
number = {1},
pages = {262--266},
year = {2003},
url = {https://doi.org/10.2178/jsl/1045861513},
doi = {10.2178/JSL/1045861513},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Raatikainen03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Schmerl03,
author = {James H. Schmerl},
title = {Partitioning large vector spaces},
journal = {J. Symb. Log.},
volume = {68},
number = {4},
pages = {1171--1180},
year = {2003},
url = {https://doi.org/10.2178/jsl/1067620179},
doi = {10.2178/JSL/1067620179},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Schmerl03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Shlapentokh03,
author = {Alexandra Shlapentokh},
title = {Existential definability with bounds on archimedean valuations},
journal = {J. Symb. Log.},
volume = {68},
number = {3},
pages = {860--878},
year = {2003},
url = {https://doi.org/10.2178/jsl/1058448445},
doi = {10.2178/JSL/1058448445},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Shlapentokh03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Stanley03,
author = {M. C. Stanley},
title = {Outer models and genericity},
journal = {J. Symb. Log.},
volume = {68},
number = {2},
pages = {389--418},
year = {2003},
url = {https://doi.org/10.2178/jsl/1052669057},
doi = {10.2178/JSL/1052669057},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Stanley03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Tait03,
author = {William W. Tait},
title = {The completeness of Heyting first-order logic},
journal = {J. Symb. Log.},
volume = {68},
number = {3},
pages = {751--763},
year = {2003},
url = {https://doi.org/10.2178/jsl/1058448436},
doi = {10.2178/JSL/1058448436},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Tait03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Venema03,
author = {Yde Venema},
title = {Atomless varieties},
journal = {J. Symb. Log.},
volume = {68},
number = {2},
pages = {607--614},
year = {2003},
url = {https://doi.org/10.2178/jsl/1052669066},
doi = {10.2178/JSL/1052669066},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Venema03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/WangL03,
author = {Yong Wang and
Angsheng Li},
title = {A hierarchy for the plus cupping Turing degrees},
journal = {J. Symb. Log.},
volume = {68},
number = {3},
pages = {972--988},
year = {2003},
url = {https://doi.org/10.2178/jsl/1058448450},
doi = {10.2178/JSL/1058448450},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/WangL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Weiermann03,
author = {Andreas Weiermann},
title = {An application of graphical enumeration to PA*},
journal = {J. Symb. Log.},
volume = {68},
number = {1},
pages = {5--16},
year = {2003},
url = {https://doi.org/10.1017/S0022481200008896},
doi = {10.1017/S0022481200008896},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Weiermann03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Welch03,
author = {Philip D. Welch},
title = {On revision operators},
journal = {J. Symb. Log.},
volume = {68},
number = {2},
pages = {689--711},
year = {2003},
url = {https://doi.org/10.2178/jsl/1052669071},
doi = {10.2178/JSL/1052669071},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Welch03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Wencel03,
author = {Roman Wencel},
title = {Definable sets in Boolean ordered o-minimal structures. {II}},
journal = {J. Symb. Log.},
volume = {68},
number = {1},
pages = {35--51},
year = {2003},
url = {https://doi.org/10.2178/jsl/1045861505},
doi = {10.2178/JSL/1045861505},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Wencel03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Yorioka03,
author = {Teruyuki Yorioka},
title = {Distinguishing types of gaps in (omega)/fin},
journal = {J. Symb. Log.},
volume = {68},
number = {4},
pages = {1261--1276},
year = {2003},
url = {https://doi.org/10.2178/jsl/1067620186},
doi = {10.2178/JSL/1067620186},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Yorioka03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Yoshinobu03,
author = {Yasuo Yoshinobu},
title = {Approachability and games on posets},
journal = {J. Symb. Log.},
volume = {68},
number = {2},
pages = {589--606},
year = {2003},
url = {https://doi.org/10.2178/jsl/1052669065},
doi = {10.2178/JSL/1052669065},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Yoshinobu03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Ziegler03,
author = {Martin Ziegler},
title = {Separably closed fields with Hasse derivations},
journal = {J. Symb. Log.},
volume = {68},
number = {1},
pages = {311--318},
year = {2003},
url = {https://doi.org/10.2178/jsl/1045861515},
doi = {10.2178/JSL/1045861515},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Ziegler03.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-28 19:14 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:
