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/mlq/mlq50.bht:"
download as .bib file
@article{DBLP:journals/mlq/AlizadehA04,
author = {Majid Alizadeh and
Mohammad Ardeshir},
title = {On the linear Lindenbaum algebra of Basic Propositional Logic},
journal = {Math. Log. Q.},
volume = {50},
number = {1},
pages = {65--70},
year = {2004},
url = {https://doi.org/10.1002/malq.200310077},
doi = {10.1002/MALQ.200310077},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/AlizadehA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Apter04,
author = {Arthur W. Apter},
title = {Level by level equivalence and strong compactness},
journal = {Math. Log. Q.},
volume = {50},
number = {1},
pages = {51--64},
year = {2004},
url = {https://doi.org/10.1002/malq.200310076},
doi = {10.1002/MALQ.200310076},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Apter04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/ArslanovCL04,
author = {Marat M. Arslanov and
S. Barry Cooper and
Angsheng Li},
title = {There is no low maximal d. c. e. degree - Corrigendum},
journal = {Math. Log. Q.},
volume = {50},
number = {6},
pages = {628--636},
year = {2004},
url = {https://doi.org/10.1002/malq.200410006},
doi = {10.1002/MALQ.200410006},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/ArslanovCL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Asatryan04,
author = {Gurgen Asatryan},
title = {A solution to identities problem in 2-element HSI-algebras},
journal = {Math. Log. Q.},
volume = {50},
number = {2},
pages = {175--178},
year = {2004},
url = {https://doi.org/10.1002/malq.200310087},
doi = {10.1002/MALQ.200310087},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Asatryan04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/BaratellaM04,
author = {Stefano Baratella and
Andrea Masini},
title = {An infinitary variant of Metric Temporal Logic over dense time domains},
journal = {Math. Log. Q.},
volume = {50},
number = {3},
pages = {249--257},
year = {2004},
url = {https://doi.org/10.1002/malq.200310096},
doi = {10.1002/MALQ.200310096},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/BaratellaM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Barmpalias04,
author = {George Barmpalias},
title = {Approximation representations for reals and their wtt-degrees},
journal = {Math. Log. Q.},
volume = {50},
number = {4-5},
pages = {370--380},
year = {2004},
url = {https://doi.org/10.1002/malq.200310105},
doi = {10.1002/MALQ.200310105},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Barmpalias04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/BauerS04,
author = {Andrej Bauer and
Alex Simpson},
title = {Two constructive embedding-extension theorems with applications to
continuity principles and to Banach-Mazur computability},
journal = {Math. Log. Q.},
volume = {50},
number = {4-5},
pages = {351--369},
year = {2004},
url = {https://doi.org/10.1002/malq.200310104},
doi = {10.1002/MALQ.200310104},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/BauerS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Berardi04,
author = {Stefano Berardi},
title = {A generalization of a conservativity theorem for classical versus
intuitionistic arithmetic},
journal = {Math. Log. Q.},
volume = {50},
number = {1},
pages = {41--46},
year = {2004},
url = {https://doi.org/10.1002/malq.200310074},
doi = {10.1002/MALQ.200310074},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Berardi04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/BouFL04,
author = {F{\'{e}}lix Bou and
Josep Maria Font and
Jos{\'{e}} Luis Garc{\'{\i}}a{-}Lapresta},
title = {On weakening the Deduction Theorem and strengthening Modus Ponens},
journal = {Math. Log. Q.},
volume = {50},
number = {3},
pages = {303--324},
year = {2004},
url = {https://doi.org/10.1002/malq.200410001},
doi = {10.1002/MALQ.200410001},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/BouFL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/BrattkaHKZ04,
author = {Vasco Brattka and
Peter Hertling and
Ker{-}I Ko and
Ning Zhong},
title = {Preface: {MLQ} - Math. Log. Quart. 4-5/2004},
journal = {Math. Log. Q.},
volume = {50},
number = {4-5},
pages = {327--328},
year = {2004},
url = {https://doi.org/10.1002/malq.200490000},
doi = {10.1002/MALQ.200490000},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/BrattkaHKZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/BreutzmannJL04,
author = {Josef M. Breutzmann and
David W. Juedes and
Jack H. Lutz},
title = {Baire category and nowhere differentiability for feasible real functions},
journal = {Math. Log. Q.},
volume = {50},
number = {4-5},
pages = {460--472},
year = {2004},
url = {https://doi.org/10.1002/malq.200310112},
doi = {10.1002/MALQ.200310112},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/BreutzmannJL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Bridges04,
author = {Douglas S. Bridges},
title = {Constructive complements of unions of two closed sets},
journal = {Math. Log. Q.},
volume = {50},
number = {3},
pages = {293--294},
year = {2004},
url = {https://doi.org/10.1002/malq.200410093},
doi = {10.1002/MALQ.200410093},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Bridges04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Bridges04a,
author = {Douglas S. Bridges},
title = {First steps in constructive game theory},
journal = {Math. Log. Q.},
volume = {50},
number = {4-5},
pages = {501--506},
year = {2004},
url = {https://doi.org/10.1002/malq.200310115},
doi = {10.1002/MALQ.200310115},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Bridges04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Carlstrom04,
author = {Jesper Carlstr{\"{o}}m},
title = {{EM} + Ext- + ACint is equivalent to ACext},
journal = {Math. Log. Q.},
volume = {50},
number = {3},
pages = {236--240},
year = {2004},
url = {https://doi.org/10.1002/malq.200410100},
doi = {10.1002/MALQ.200410100},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Carlstrom04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/CasanovasF04,
author = {Enrique Casanovas and
Rafel Farr{\'{e}}},
title = {Weak forms of elimination of imaginaries},
journal = {Math. Log. Q.},
volume = {50},
number = {2},
pages = {126--140},
year = {2004},
url = {https://doi.org/10.1002/malq.200310083},
doi = {10.1002/MALQ.200310083},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/CasanovasF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/CenzerR04,
author = {Douglas Cenzer and
Jeffrey B. Remmel},
title = {Index sets for computable differential equations},
journal = {Math. Log. Q.},
volume = {50},
number = {4-5},
pages = {329--344},
year = {2004},
url = {https://doi.org/10.1002/malq.200310102},
doi = {10.1002/MALQ.200310102},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/CenzerR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/ChouK04,
author = {Arthur W. Chou and
Ker{-}I Ko},
title = {On the complexity of finding paths in a two-dimensional domain {I:}
Shortest paths},
journal = {Math. Log. Q.},
volume = {50},
number = {6},
pages = {551--572},
year = {2004},
url = {https://doi.org/10.1002/malq.200310120},
doi = {10.1002/MALQ.200310120},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/ChouK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/CignoliT04,
author = {Roberto Cignoli and
Antoni Torrens},
title = {Glivenko like theorems in natural expansions of BCK-logic},
journal = {Math. Log. Q.},
volume = {50},
number = {2},
pages = {111--125},
year = {2004},
url = {https://doi.org/10.1002/malq.200310082},
doi = {10.1002/MALQ.200310082},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/CignoliT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Dahlgren04,
author = {Fredrik Dahlgren},
title = {Computability and continuity in metric partial algebras equipped with
computability structures},
journal = {Math. Log. Q.},
volume = {50},
number = {4-5},
pages = {486--500},
year = {2004},
url = {https://doi.org/10.1002/malq.200310114},
doi = {10.1002/MALQ.200310114},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Dahlgren04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/DowneyGL04,
author = {Rod Downey and
Evan J. Griffiths and
Geoffrey LaForte},
title = {On Schnorr and computable randomness, martingales, and machines},
journal = {Math. Log. Q.},
volume = {50},
number = {6},
pages = {613--627},
year = {2004},
url = {https://doi.org/10.1002/malq.200310121},
doi = {10.1002/MALQ.200310121},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/DowneyGL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/DowneyWZ04,
author = {Rod Downey and
Guohua Wu and
Xizhong Zheng},
title = {Degrees of d. c. e. reals},
journal = {Math. Log. Q.},
volume = {50},
number = {4-5},
pages = {345--350},
year = {2004},
url = {https://doi.org/10.1002/malq.200310103},
doi = {10.1002/MALQ.200310103},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/DowneyWZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/FerrariFF04,
author = {Mauro Ferrari and
Camillo Fiorentini and
Guido Fiorino},
title = {A secondary semantics for Second Order Intuitionistic Propositional
Logic},
journal = {Math. Log. Q.},
volume = {50},
number = {2},
pages = {202--210},
year = {2004},
url = {https://doi.org/10.1002/malq.200310090},
doi = {10.1002/MALQ.200310090},
timestamp = {Wed, 30 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mlq/FerrariFF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Graca04,
author = {Daniel Silva Gra{\c{c}}a},
title = {Some recent developments on Shannon's General Purpose Analog Computer},
journal = {Math. Log. Q.},
volume = {50},
number = {4-5},
pages = {473--485},
year = {2004},
url = {https://doi.org/10.1002/malq.200310113},
doi = {10.1002/MALQ.200310113},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Graca04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Hanika04,
author = {Jir{\'{\i}} Hanika},
title = {Herbrandizing search problems in Bounded Arithmetic},
journal = {Math. Log. Q.},
volume = {50},
number = {6},
pages = {577--586},
year = {2004},
url = {https://doi.org/10.1002/malq.200410005},
doi = {10.1002/MALQ.200410005},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Hanika04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Hemmerling04,
author = {Armin Hemmerling},
title = {Characterizations of the class Delta\({}^{\mbox{ta}}\)\({}_{\mbox{2}}\)
over Euclidean spaces},
journal = {Math. Log. Q.},
volume = {50},
number = {4-5},
pages = {507--519},
year = {2004},
url = {https://doi.org/10.1002/malq.200310108},
doi = {10.1002/MALQ.200310108},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Hemmerling04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Hirst04,
author = {Jeffry L. Hirst},
title = {Minima of initial segments of infinite sequences of reals},
journal = {Math. Log. Q.},
volume = {50},
number = {1},
pages = {47--50},
year = {2004},
url = {https://doi.org/10.1002/malq.200310075},
doi = {10.1002/MALQ.200310075},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Hirst04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Hyttinen04,
author = {Tapani Hyttinen},
title = {Finitely generated submodels of an uncountably categorical homogeneous
structure},
journal = {Math. Log. Q.},
volume = {50},
number = {1},
pages = {77--98},
year = {2004},
url = {https://doi.org/10.1002/malq.200310079},
doi = {10.1002/MALQ.200310079},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Hyttinen04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/IshiharaS04,
author = {Hajime Ishihara and
Peter Schuster},
title = {Compactness under constructive scrutiny},
journal = {Math. Log. Q.},
volume = {50},
number = {6},
pages = {540--550},
year = {2004},
url = {https://doi.org/10.1002/malq.200310119},
doi = {10.1002/MALQ.200310119},
timestamp = {Fri, 08 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/IshiharaS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/IvanovK04,
author = {Aleksander Ivanov and
Roman Kossak},
title = {Automorphism group actions on trees},
journal = {Math. Log. Q.},
volume = {50},
number = {1},
pages = {71--76},
year = {2004},
url = {https://doi.org/10.1002/malq.200310078},
doi = {10.1002/MALQ.200310078},
timestamp = {Sat, 01 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/IvanovK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/JacksonM04,
author = {Steve Jackson and
Russell May},
title = {The strong partition relation on omega\({}_{\mbox{1}}\) revisited},
journal = {Math. Log. Q.},
volume = {50},
number = {1},
pages = {33--40},
year = {2004},
url = {https://doi.org/10.1002/malq.200310073},
doi = {10.1002/MALQ.200310073},
timestamp = {Mon, 26 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/JacksonM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/JagerP04,
author = {Gerhard J{\"{a}}ger and
Dieter Probst},
title = {Variation on a theme of Sch{\"{u}}tte},
journal = {Math. Log. Q.},
volume = {50},
number = {3},
pages = {258--264},
year = {2004},
url = {https://doi.org/10.1002/malq.200310097},
doi = {10.1002/MALQ.200310097},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/JagerP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Jeabek04,
author = {Emil Jer{\'{a}}bek},
title = {A note on Grzegorczyk's logic},
journal = {Math. Log. Q.},
volume = {50},
number = {3},
pages = {295--296},
year = {2004},
url = {https://doi.org/10.1002/malq.200310094},
doi = {10.1002/MALQ.200310094},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Jeabek04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Jorgensen04,
author = {Klaus Frovin J{\o}rgensen},
title = {Functional interpretation and the existence property},
journal = {Math. Log. Q.},
volume = {50},
number = {6},
pages = {573--576},
year = {2004},
url = {https://doi.org/10.1002/malq.200410004},
doi = {10.1002/MALQ.200410004},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Jorgensen04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/KalantariW04,
author = {Iraj Kalantari and
Larry Welch},
title = {Density and Baire category in recursive topology},
journal = {Math. Log. Q.},
volume = {50},
number = {4-5},
pages = {381--391},
year = {2004},
url = {https://doi.org/10.1002/malq.200310106},
doi = {10.1002/MALQ.200310106},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/KalantariW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/KellnerP04,
author = {Jakob Kellner and
Hans Ploss},
title = {F-products and nonstandard hulls for semigroups},
journal = {Math. Log. Q.},
volume = {50},
number = {1},
pages = {18--28},
year = {2004},
url = {https://doi.org/10.1002/malq.200310071},
doi = {10.1002/MALQ.200310071},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/KellnerP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Keremedis04,
author = {Kyriakos Keremedis},
title = {Consequences of the failure of the axiom of choice in the theory of
Lindel{\"{o}}f metric spaces},
journal = {Math. Log. Q.},
volume = {50},
number = {2},
pages = {141--151},
year = {2004},
url = {https://doi.org/10.1002/malq.200310084},
doi = {10.1002/MALQ.200310084},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Keremedis04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/KonigY04,
author = {Bernhard K{\"{o}}nig and
Yasuo Yoshinobu},
title = {Fragments of Martin's Maximum in generic extensions},
journal = {Math. Log. Q.},
volume = {50},
number = {3},
pages = {297--302},
year = {2004},
url = {https://doi.org/10.1002/malq.200410101},
doi = {10.1002/MALQ.200410101},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/KonigY04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/KreinovichL04,
author = {Vladik Kreinovich and
Luc Longpr{\'{e}}},
title = {Fast quantum algorithms for handling probabilistic and interval uncertainty},
journal = {Math. Log. Q.},
volume = {50},
number = {4-5},
pages = {405--416},
year = {2004},
url = {https://doi.org/10.1002/malq.200310116},
doi = {10.1002/MALQ.200310116},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/KreinovichL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Kunkle04,
author = {Daren Kunkle},
title = {Type-2 computability on spaces of integrable functions},
journal = {Math. Log. Q.},
volume = {50},
number = {4-5},
pages = {417--430},
year = {2004},
url = {https://doi.org/10.1002/malq.200310109},
doi = {10.1002/MALQ.200310109},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Kunkle04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Kurilic04,
author = {Milos S. Kurilic},
title = {Unsupported Boolean algebras and forcing},
journal = {Math. Log. Q.},
volume = {50},
number = {6},
pages = {594--602},
year = {2004},
url = {https://doi.org/10.1002/malq.200410003},
doi = {10.1002/MALQ.200410003},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Kurilic04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/LeonesiT04,
author = {Stefano Leonesi and
Carlo Toffalori},
title = {On the Boolean algebras of definable sets in weakly o-minimal theories},
journal = {Math. Log. Q.},
volume = {50},
number = {3},
pages = {241--248},
year = {2004},
url = {https://doi.org/10.1002/malq.200310095},
doi = {10.1002/MALQ.200310095},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/LeonesiT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Lotfallah04,
author = {Wafik Boulos Lotfallah},
title = {An Ehrenfeucht-Fra{\"{\i}}ss{\'{e}} class game},
journal = {Math. Log. Q.},
volume = {50},
number = {2},
pages = {179--188},
year = {2004},
url = {https://doi.org/10.1002/malq.200310088},
doi = {10.1002/MALQ.200310088},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Lotfallah04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Mazoyer04,
author = {Virginie Mazoyer},
title = {Polygones},
journal = {Math. Log. Q.},
volume = {50},
number = {2},
pages = {152--168},
year = {2004},
url = {https://doi.org/10.1002/malq.200310085},
doi = {10.1002/MALQ.200310085},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Mazoyer04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Moniri04,
author = {Morteza Moniri},
title = {Corrigendum to "Weak Arithmetics and Kripke Models"},
journal = {Math. Log. Q.},
volume = {50},
number = {6},
pages = {637--638},
year = {2004},
url = {https://doi.org/10.1002/malq.200410007},
doi = {10.1002/MALQ.200410007},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Moniri04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/MontagnaS04,
author = {Franco Montagna and
Lorenzo Sacchetti},
title = {Corrigendum to "Kripke-style semantics for many-valued logics"},
journal = {Math. Log. Q.},
volume = {50},
number = {1},
pages = {104--107},
year = {2004},
url = {https://doi.org/10.1002/malq.200310081},
doi = {10.1002/MALQ.200310081},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/MontagnaS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/MostowskiW04,
author = {Marcin Mostowski and
Anna Wasilewska},
title = {Arithmetic of divisibility in finite models},
journal = {Math. Log. Q.},
volume = {50},
number = {2},
pages = {169--174},
year = {2004},
url = {https://doi.org/10.1002/malq.200310086},
doi = {10.1002/MALQ.200310086},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/MostowskiW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Oitavem04,
author = {Isabel Oitavem},
title = {Characterizing \emph{NC} with tier 0 pointers},
journal = {Math. Log. Q.},
volume = {50},
number = {1},
pages = {9--17},
year = {2004},
url = {https://doi.org/10.1002/malq.200310070},
doi = {10.1002/MALQ.200310070},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Oitavem04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Popescu04,
author = {Andrei Popescu},
title = {A general approach to fuzzy concepts},
journal = {Math. Log. Q.},
volume = {50},
number = {3},
pages = {265--280},
year = {2004},
url = {https://doi.org/10.1002/malq.200310098},
doi = {10.1002/MALQ.200310098},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Popescu04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/SagiG04,
author = {G{\'{a}}bor S{\'{a}}gi and
J{\'{a}}nos Gerlits},
title = {Ultratopologies},
journal = {Math. Log. Q.},
volume = {50},
number = {6},
pages = {603--612},
year = {2004},
url = {https://doi.org/10.1002/malq.200310123},
doi = {10.1002/MALQ.200310123},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/SagiG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/SakamotoY04,
author = {Nobuyuki Sakamoto and
Takeshi Yamazaki},
title = {Uniform versions of some axioms of second order arithmetic},
journal = {Math. Log. Q.},
volume = {50},
number = {6},
pages = {587--593},
year = {2004},
url = {https://doi.org/10.1002/malq.200310122},
doi = {10.1002/MALQ.200310122},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/SakamotoY04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/SchimmerlingV04,
author = {Ernest Schimmerling and
Boban Velickovic},
title = {Collapsing functions},
journal = {Math. Log. Q.},
volume = {50},
number = {1},
pages = {3--8},
year = {2004},
url = {https://doi.org/10.1002/malq.200310069},
doi = {10.1002/MALQ.200310069},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/SchimmerlingV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Schindler04,
author = {Ralf Schindler},
title = {Semi-proper forcing, remarkable cardinals, and Bounded Martin's Maximum},
journal = {Math. Log. Q.},
volume = {50},
number = {6},
pages = {527--532},
year = {2004},
url = {https://doi.org/10.1002/malq.200410002},
doi = {10.1002/MALQ.200410002},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Schindler04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Schlindwein04,
author = {Chaz Schlindwein},
title = {A short proof of the preservation of the omega\({}^{\mbox{omega}}\)-bounding
property},
journal = {Math. Log. Q.},
volume = {50},
number = {1},
pages = {29--32},
year = {2004},
url = {https://doi.org/10.1002/malq.200310072},
doi = {10.1002/MALQ.200310072},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Schlindwein04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Schmerl04,
author = {James H. Schmerl},
title = {Substructure lattices and almost minimal end extensions of models
of Peano arithmetic},
journal = {Math. Log. Q.},
volume = {50},
number = {6},
pages = {533--539},
year = {2004},
url = {https://doi.org/10.1002/malq.200310118},
doi = {10.1002/MALQ.200310118},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Schmerl04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Schroder04,
author = {Matthias Schr{\"{o}}der},
title = {Spaces allowing Type-2 Complexity Theory revisited},
journal = {Math. Log. Q.},
volume = {50},
number = {4-5},
pages = {443--459},
year = {2004},
url = {https://doi.org/10.1002/malq.200310111},
doi = {10.1002/MALQ.200310111},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Schroder04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Sereny04,
author = {Gy{\"{o}}rgy Ser{\'{e}}ny},
title = {Boolos-style proofs of limitative theorems},
journal = {Math. Log. Q.},
volume = {50},
number = {2},
pages = {211--216},
year = {2004},
url = {https://doi.org/10.1002/malq.200310091},
doi = {10.1002/MALQ.200310091},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Sereny04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Skordev04,
author = {Dimiter Skordev},
title = {Some subrecursive versions of Grzegorczyk's Uniformity Theorem},
journal = {Math. Log. Q.},
volume = {50},
number = {4-5},
pages = {520--524},
year = {2004},
url = {https://doi.org/10.1002/malq.200310117},
doi = {10.1002/MALQ.200310117},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mlq/Skordev04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Subramani04,
author = {K. Subramani},
title = {On deciding the non-emptiness of 2SAT polytopes with respect to First
Order Queries},
journal = {Math. Log. Q.},
volume = {50},
number = {3},
pages = {281--292},
year = {2004},
url = {https://doi.org/10.1002/malq.200310099},
doi = {10.1002/MALQ.200310099},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mlq/Subramani04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Viale04,
author = {Matteo Viale},
title = {The cumulative hierarchy and the constructible universe of {ZFA}},
journal = {Math. Log. Q.},
volume = {50},
number = {1},
pages = {99--103},
year = {2004},
url = {https://doi.org/10.1002/malq.200310080},
doi = {10.1002/MALQ.200310080},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Viale04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Walk04,
author = {Stephen M. Walk},
title = {Lattice embeddings and array noncomputable degrees},
journal = {Math. Log. Q.},
volume = {50},
number = {3},
pages = {219--235},
year = {2004},
url = {https://doi.org/10.1002/malq.200310092},
doi = {10.1002/MALQ.200310092},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Walk04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Wu04,
author = {Guohua Wu},
title = {Quasi-complements of the cappable degrees},
journal = {Math. Log. Q.},
volume = {50},
number = {2},
pages = {189--201},
year = {2004},
url = {https://doi.org/10.1002/malq.200310089},
doi = {10.1002/MALQ.200310089},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Wu04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/ZhengR04,
author = {Xizhong Zheng and
Robert Rettinger},
title = {Weak computability and representation of reals},
journal = {Math. Log. Q.},
volume = {50},
number = {4-5},
pages = {431--442},
year = {2004},
url = {https://doi.org/10.1002/malq.200310110},
doi = {10.1002/MALQ.200310110},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/ZhengR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Ziegler04,
author = {Martin Ziegler},
title = {Computable operators on regular sets},
journal = {Math. Log. Q.},
volume = {50},
number = {4-5},
pages = {392--404},
year = {2004},
url = {https://doi.org/10.1002/malq.200310107},
doi = {10.1002/MALQ.200310107},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mlq/Ziegler04.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 08:07 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:
