Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/journals/jsyml/jsyml68.bht:"
@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} }
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.