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/mlq56.bht:"
download as .bib file
@article{DBLP:journals/mlq/AbadCV10,
author = {Manuel Abad and
Diego Nicol{\'{a}}s Casta{\~{n}}o and
J. Patricio D{\'{\i}}az Varela},
title = {Zariski-type topology for implication algebras},
journal = {Math. Log. Q.},
volume = {56},
number = {3},
pages = {299--309},
year = {2010},
url = {https://doi.org/10.1002/malq.200910012},
doi = {10.1002/MALQ.200910012},
timestamp = {Sun, 19 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mlq/AbadCV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/AdamowiczK10,
author = {Zofia Adamowicz and
Leszek Aleksander Kolodziejczyk},
title = {A note on the Sigma\({}_{\mbox{1}}\) collection scheme and fragments
of bounded arithmetic},
journal = {Math. Log. Q.},
volume = {56},
number = {2},
pages = {126--130},
year = {2010},
url = {https://doi.org/10.1002/malq.200810043},
doi = {10.1002/MALQ.200810043},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/AdamowiczK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Ahmed10,
author = {Tarek Sayed Ahmed},
title = {The class of polyadic algebras has the super amalgamation property},
journal = {Math. Log. Q.},
volume = {56},
number = {1},
pages = {103--112},
year = {2010},
url = {https://doi.org/10.1002/malq.200810040},
doi = {10.1002/MALQ.200810040},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Ahmed10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Almeida10,
author = {Ricardo Almeida},
title = {Connectedness and compactness on standard sets},
journal = {Math. Log. Q.},
volume = {56},
number = {1},
pages = {63--66},
year = {2010},
url = {https://doi.org/10.1002/malq.200810036},
doi = {10.1002/MALQ.200810036},
timestamp = {Tue, 15 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mlq/Almeida10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/AnboI10,
author = {Yuki Anbo and
Koichiro Ikeda},
title = {A note on stability spectrum of generic structures},
journal = {Math. Log. Q.},
volume = {56},
number = {3},
pages = {257--261},
year = {2010},
url = {https://doi.org/10.1002/malq.200810051},
doi = {10.1002/MALQ.200810051},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/AnboI10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Apter10,
author = {Arthur W. Apter},
title = {Tallness and level by level equivalence and inequivalence},
journal = {Math. Log. Q.},
volume = {56},
number = {1},
pages = {4--12},
year = {2010},
url = {https://doi.org/10.1002/malq.200810039},
doi = {10.1002/MALQ.200810039},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Apter10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Apter10a,
author = {Arthur W. Apter},
title = {How many normal measures can Alef},
journal = {Math. Log. Q.},
volume = {56},
number = {2},
pages = {164--170},
year = {2010},
url = {https://doi.org/10.1002/malq.200910003},
doi = {10.1002/MALQ.200910003},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Apter10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/BagariaK10,
author = {Joan Bagaria and
Vladimir Kanovei},
title = {On coding uncountable sets by reals},
journal = {Math. Log. Q.},
volume = {56},
number = {4},
pages = {409--424},
year = {2010},
url = {https://doi.org/10.1002/malq.200910056},
doi = {10.1002/MALQ.200910056},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/BagariaK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Bagheri10,
author = {Seyed Mohammad Bagheri},
title = {A Los type theorem for linear metric formulas},
journal = {Math. Log. Q.},
volume = {56},
number = {1},
pages = {78--84},
year = {2010},
url = {https://doi.org/10.1002/malq.200810037},
doi = {10.1002/MALQ.200810037},
timestamp = {Wed, 23 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mlq/Bagheri10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/BridgesD10,
author = {Douglas S. Bridges and
Hannes Diener},
title = {The anti-Specker property, positivity, and total boundedness},
journal = {Math. Log. Q.},
volume = {56},
number = {4},
pages = {434--441},
year = {2010},
url = {https://doi.org/10.1002/malq.200910017},
doi = {10.1002/MALQ.200910017},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/BridgesD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/BridgesH10,
author = {Douglas S. Bridges and
Matthew Hendtlass},
title = {Continuous homomorphisms of {R} onto a compact group},
journal = {Math. Log. Q.},
volume = {56},
number = {2},
pages = {191--197},
year = {2010},
url = {https://doi.org/10.1002/malq.200810048},
doi = {10.1002/MALQ.200810048},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/BridgesH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/BurriezaGM10,
author = {Alfredo Burrieza and
Inmaculada Perez de Guzm{\'{a}}n and
Emilio Mu{\~{n}}oz{-}Velasco},
title = {Analyzing completeness of axiomatic functional systems for temporal
{\texttimes} modal logics},
journal = {Math. Log. Q.},
volume = {56},
number = {1},
pages = {89--102},
year = {2010},
url = {https://doi.org/10.1002/malq.200810038},
doi = {10.1002/MALQ.200810038},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/BurriezaGM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/BussJ10,
author = {Samuel R. Buss and
Alan S. Johnson},
title = {The quantifier complexity of polynomial-size iterated definitions
in first-order logic},
journal = {Math. Log. Q.},
volume = {56},
number = {6},
pages = {573--590},
year = {2010},
url = {https://doi.org/10.1002/malq.200910111},
doi = {10.1002/MALQ.200910111},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/BussJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/CichonS10,
author = {Jacek Cichon and
Przemyslaw Szczepaniak},
title = {Hamel-isomorphic images of the unit ball},
journal = {Math. Log. Q.},
volume = {56},
number = {6},
pages = {625--630},
year = {2010},
url = {https://doi.org/10.1002/malq.200910113},
doi = {10.1002/MALQ.200910113},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/CichonS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/CsimaK10,
author = {Barbara F. Csima and
Iskander Sh. Kalimullin},
title = {Degree spectra and immunity properties},
journal = {Math. Log. Q.},
volume = {56},
number = {1},
pages = {67--77},
year = {2010},
url = {https://doi.org/10.1002/malq.200910001},
doi = {10.1002/MALQ.200910001},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/CsimaK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Curi10,
author = {Giovanni Curi},
title = {On some peculiar aspects of the constructive theory of point-free
spaces},
journal = {Math. Log. Q.},
volume = {56},
number = {4},
pages = {375--387},
year = {2010},
url = {https://doi.org/10.1002/malq.200910037},
doi = {10.1002/MALQ.200910037},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Curi10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/FerreiraO10,
author = {Gilda Ferreira and
Paulo Oliva},
title = {Confined modified realizability},
journal = {Math. Log. Q.},
volume = {56},
number = {1},
pages = {13--28},
year = {2010},
url = {https://doi.org/10.1002/malq.200810029},
doi = {10.1002/MALQ.200810029},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/FerreiraO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Finkel10,
author = {Olivier Finkel},
title = {On some sets of dictionaries whose \emph{omega} -powers have a given},
journal = {Math. Log. Q.},
volume = {56},
number = {5},
pages = {452--460},
year = {2010},
url = {https://doi.org/10.1002/malq.200810154},
doi = {10.1002/MALQ.200810154},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Finkel10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/FournierGGZ10,
author = {Herv{\'{e}} Fournier and
Dani{\`{e}}le Gardy and
Antoine Genitrini and
Marek Zaionc},
title = {Tautologies over implication with negative literals},
journal = {Math. Log. Q.},
volume = {56},
number = {4},
pages = {388--396},
year = {2010},
url = {https://doi.org/10.1002/malq.200810053},
doi = {10.1002/MALQ.200810053},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mlq/FournierGGZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/GarciaMPZ10,
author = {Javier Guti{\'{e}}rrez Garc{\'{\i}}a and
Iraide Mardones{-}P{\'{e}}rez and
Mar{\'{\i}}a Angeles de Prada{-}Vicente and
Dexue Zhang},
title = {Fuzzy Galois connections categorically},
journal = {Math. Log. Q.},
volume = {56},
number = {2},
pages = {131--147},
year = {2010},
url = {https://doi.org/10.1002/malq.200810044},
doi = {10.1002/MALQ.200810044},
timestamp = {Sat, 24 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mlq/GarciaMPZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/GasparO10,
author = {Jaime Gaspar and
Paulo Oliva},
title = {Proof interpretations with truth},
journal = {Math. Log. Q.},
volume = {56},
number = {6},
pages = {591--610},
year = {2010},
url = {https://doi.org/10.1002/malq.200910112},
doi = {10.1002/MALQ.200910112},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/GasparO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Gutierres10,
author = {Gon{\c{c}}alo Gutierres},
title = {The Ultrafilter Closure in {ZF}},
journal = {Math. Log. Q.},
volume = {56},
number = {3},
pages = {331--336},
year = {2010},
url = {https://doi.org/10.1002/malq.200910014},
doi = {10.1002/MALQ.200910014},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Gutierres10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Hajek10,
author = {Petr H{\'{a}}jek},
title = {On witnessed models in fuzzy logic {III} - witnessed G{\"{o}}del
logics},
journal = {Math. Log. Q.},
volume = {56},
number = {2},
pages = {171--174},
year = {2010},
url = {https://doi.org/10.1002/malq.200810047},
doi = {10.1002/MALQ.200810047},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Hajek10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/HerrlichT10,
author = {Horst Herrlich and
Eleftherios Tachtsis},
title = {Odd-sized partitions of Russell-sets},
journal = {Math. Log. Q.},
volume = {56},
number = {2},
pages = {185--190},
year = {2010},
url = {https://doi.org/10.1002/malq.200810049},
doi = {10.1002/MALQ.200810049},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/HerrlichT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Jerabek10,
author = {Emil Jer{\'{a}}bek},
title = {Abelian groups and quadratic residues in weak arithmetic},
journal = {Math. Log. Q.},
volume = {56},
number = {3},
pages = {262--278},
year = {2010},
url = {https://doi.org/10.1002/malq.200910009},
doi = {10.1002/MALQ.200910009},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Jerabek10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/JunKK10,
author = {Young Bae Jun and
Min Su Kang and
Hee Sik Kim},
title = {New types of hyper MV-deductive systems in hyper MV-algebras},
journal = {Math. Log. Q.},
volume = {56},
number = {4},
pages = {400--405},
year = {2010},
url = {https://doi.org/10.1002/malq.200910011},
doi = {10.1002/MALQ.200910011},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/JunKK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/JunLK10,
author = {Young Bae Jun and
Kyoung Ja Lee and
Asghar Khan},
title = {Soft ordered semigroups},
journal = {Math. Log. Q.},
volume = {56},
number = {1},
pages = {42--50},
year = {2010},
url = {https://doi.org/10.1002/malq.200810030},
doi = {10.1002/MALQ.200810030},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/JunLK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Kanckos10,
author = {Annika Kanckos},
title = {Consistency of Heyting arithmetic in natural deduction},
journal = {Math. Log. Q.},
volume = {56},
number = {6},
pages = {611--624},
year = {2010},
url = {https://doi.org/10.1002/malq.200910118},
doi = {10.1002/MALQ.200910118},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Kanckos10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Keremedis10,
author = {Kyriakos Keremedis},
title = {Tychonoff products of compact spaces in {ZF} and closed ultrafilters},
journal = {Math. Log. Q.},
volume = {56},
number = {5},
pages = {475--487},
year = {2010},
url = {https://doi.org/10.1002/malq.200910103},
doi = {10.1002/MALQ.200910103},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Keremedis10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Kirby10,
author = {Laurence Kirby},
title = {Substandard models of finite set theory},
journal = {Math. Log. Q.},
volume = {56},
number = {6},
pages = {631--642},
year = {2010},
url = {https://doi.org/10.1002/malq.200910114},
doi = {10.1002/MALQ.200910114},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Kirby10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/KraszewskiRSZ10,
author = {Jan Kraszewski and
Robert Ralowski and
Przemyslaw Szczepaniak and
Szymon Zeberski},
title = {Bernstein sets and \emph{kappa} -coverings},
journal = {Math. Log. Q.},
volume = {56},
number = {2},
pages = {216--224},
year = {2010},
url = {https://doi.org/10.1002/malq.200910008},
doi = {10.1002/MALQ.200910008},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mlq/KraszewskiRSZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/LewinM10,
author = {Renato A. Lewin and
Irene F. Mikenberg},
title = {First order theory for literal-paraconsistent and literal-paracomplete
matrices},
journal = {Math. Log. Q.},
volume = {56},
number = {4},
pages = {425--433},
year = {2010},
url = {https://doi.org/10.1002/malq.200810062},
doi = {10.1002/MALQ.200810062},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/LewinM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Lipparini10,
author = {Paolo Lipparini},
title = {More on regular and decomposable ultrafilters in {ZFC}},
journal = {Math. Log. Q.},
volume = {56},
number = {4},
pages = {340--374},
year = {2010},
url = {https://doi.org/10.1002/malq.200910013},
doi = {10.1002/MALQ.200910013},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Lipparini10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/McLaughlin10,
author = {Thomas G. McLaughlin},
title = {Some observations on the substructure lattice of a Delta\({}_{\mbox{1}}\)
ultrapower},
journal = {Math. Log. Q.},
volume = {56},
number = {3},
pages = {323--330},
year = {2010},
url = {https://doi.org/10.1002/malq.200810052},
doi = {10.1002/MALQ.200810052},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/McLaughlin10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Monk10,
author = {J. Donald Monk},
title = {Special subalgebras of Boolean algebras},
journal = {Math. Log. Q.},
volume = {56},
number = {2},
pages = {148--158},
year = {2010},
url = {https://doi.org/10.1002/malq.200910002},
doi = {10.1002/MALQ.200910002},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Monk10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Moschovakis10,
author = {Joan Rand Moschovakis},
title = {Unavoidable sequences in constructive analysis},
journal = {Math. Log. Q.},
volume = {56},
number = {2},
pages = {205--215},
year = {2010},
url = {https://doi.org/10.1002/malq.200810046},
doi = {10.1002/MALQ.200810046},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Moschovakis10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Moser10,
author = {Philippe Moser},
title = {On the convergence of Fourier series of computable Lebesgue integrable
functions},
journal = {Math. Log. Q.},
volume = {56},
number = {5},
pages = {461--469},
year = {2010},
url = {https://doi.org/10.1002/malq.200910101},
doi = {10.1002/MALQ.200910101},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Moser10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/MwesigyeT10,
author = {Feresiano Mwesigye and
John Kenneth Truss},
title = {Countably categorical coloured linear orders},
journal = {Math. Log. Q.},
volume = {56},
number = {2},
pages = {159--163},
year = {2010},
url = {https://doi.org/10.1002/malq.200910005},
doi = {10.1002/MALQ.200910005},
timestamp = {Sun, 10 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/MwesigyeT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Ng10,
author = {Siu{-}Ah Ng},
title = {L{\'{e}}vy processes on a first order model},
journal = {Math. Log. Q.},
volume = {56},
number = {3},
pages = {310--322},
year = {2010},
url = {https://doi.org/10.1002/malq.200910015},
doi = {10.1002/MALQ.200910015},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Ng10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/NolaGS10,
author = {Antonio Di Nola and
Revaz Grigolia and
Luca Spada},
title = {A discrete representation of free MV-algebras},
journal = {Math. Log. Q.},
volume = {56},
number = {3},
pages = {279--288},
year = {2010},
url = {https://doi.org/10.1002/malq.200910036},
doi = {10.1002/MALQ.200910036},
timestamp = {Fri, 05 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/NolaGS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Nurkhaidarov10,
author = {Ermek S. Nurkhaidarov},
title = {Interstitial and pseudo gaps in models of Peano Arithmetic},
journal = {Math. Log. Q.},
volume = {56},
number = {2},
pages = {198--204},
year = {2010},
url = {https://doi.org/10.1002/malq.200810045},
doi = {10.1002/MALQ.200810045},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Nurkhaidarov10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Pambuccian10,
author = {Victor Pambuccian},
title = {Forms of the Pasch axiom in ordered geometry},
journal = {Math. Log. Q.},
volume = {56},
number = {1},
pages = {29--34},
year = {2010},
url = {https://doi.org/10.1002/malq.200810032},
doi = {10.1002/MALQ.200810032},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Pambuccian10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Pauly10,
author = {Arno Pauly},
title = {On the (semi)lattices induced by continuous reducibilities},
journal = {Math. Log. Q.},
volume = {56},
number = {5},
pages = {488--502},
year = {2010},
url = {https://doi.org/10.1002/malq.200910104},
doi = {10.1002/MALQ.200910104},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Pauly10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/PintoO10,
author = {Sandra Marques Pinto and
M. Teresa Oliveira{-}Martins},
title = {Subdirectly irreducible separable dynamic algebras},
journal = {Math. Log. Q.},
volume = {56},
number = {4},
pages = {442--448},
year = {2010},
url = {https://doi.org/10.1002/malq.200910033},
doi = {10.1002/MALQ.200910033},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/PintoO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Point10,
author = {Fran{\c{c}}oise Point},
title = {Existentially closed ordered difference fields and rings},
journal = {Math. Log. Q.},
volume = {56},
number = {3},
pages = {239--256},
year = {2010},
url = {https://doi.org/10.1002/malq.200910007},
doi = {10.1002/MALQ.200910007},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Point10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Pynko10,
author = {Alexej P. Pynko},
title = {Subquasivarieties of implicative locally-finite quasivarieties},
journal = {Math. Log. Q.},
volume = {56},
number = {6},
pages = {643--658},
year = {2010},
url = {https://doi.org/10.1002/malq.200810161},
doi = {10.1002/MALQ.200810161},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Pynko10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Ramakrishnan10,
author = {Janak Ramakrishnan},
title = {Uniform bounds on growth in o-minimal structures},
journal = {Math. Log. Q.},
volume = {56},
number = {4},
pages = {406--408},
year = {2010},
url = {https://doi.org/10.1002/malq.200910031},
doi = {10.1002/MALQ.200910031},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Ramakrishnan10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Ramakrishnan10a,
author = {Janak Ramakrishnan},
title = {Maximal small extensions of o-minimal structures},
journal = {Math. Log. Q.},
volume = {56},
number = {5},
pages = {470--474},
year = {2010},
url = {https://doi.org/10.1002/malq.200910102},
doi = {10.1002/MALQ.200910102},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Ramakrishnan10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/SafarikK10,
author = {Pavol Safarik and
Ulrich Kohlenbach},
title = {On the computational content of the Bolzano-Weierstra{\ss} Principle},
journal = {Math. Log. Q.},
volume = {56},
number = {5},
pages = {508--532},
year = {2010},
url = {https://doi.org/10.1002/malq.200910106},
doi = {10.1002/MALQ.200910106},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/SafarikK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Sanders10,
author = {Sam Sanders},
title = {Relative arithmetic},
journal = {Math. Log. Q.},
volume = {56},
number = {6},
pages = {564--572},
year = {2010},
url = {https://doi.org/10.1002/malq.200910110},
doi = {10.1002/MALQ.200910110},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Sanders10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Schlindwein10,
author = {Chaz Schlindwein},
title = {Understanding preservation theorems, {II}},
journal = {Math. Log. Q.},
volume = {56},
number = {5},
pages = {549--560},
year = {2010},
url = {https://doi.org/10.1002/malq.200910109},
doi = {10.1002/MALQ.200910109},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Schlindwein10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Schmerl10,
author = {James H. Schmerl},
title = {Reverse Mathematics and Grundy colorings of graphs},
journal = {Math. Log. Q.},
volume = {56},
number = {5},
pages = {541--548},
year = {2010},
url = {https://doi.org/10.1002/malq.200910108},
doi = {10.1002/MALQ.200910108},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Schmerl10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Sfouli10,
author = {Hassan Sfouli},
title = {Definability and nondefinability results for certain o-minimal structures},
journal = {Math. Log. Q.},
volume = {56},
number = {5},
pages = {503--507},
year = {2010},
url = {https://doi.org/10.1002/malq.200910105},
doi = {10.1002/MALQ.200910105},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Sfouli10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Shelah10,
author = {Saharon Shelah},
title = {On long increasing chains modulo flat ideals},
journal = {Math. Log. Q.},
volume = {56},
number = {4},
pages = {397--399},
year = {2010},
url = {https://doi.org/10.1002/malq.200910010},
doi = {10.1002/MALQ.200910010},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Shelah10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Shochat10,
author = {Erez Shochat},
title = {A Galois correspondence for countable short recursively saturated
models of {PA}},
journal = {Math. Log. Q.},
volume = {56},
number = {3},
pages = {228--238},
year = {2010},
url = {https://doi.org/10.1002/malq.200810050},
doi = {10.1002/MALQ.200810050},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Shochat10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Taschner10,
author = {Rudolf Taschner},
title = {The swap of integral and limit in constructive mathematics},
journal = {Math. Log. Q.},
volume = {56},
number = {5},
pages = {533--540},
year = {2010},
url = {https://doi.org/10.1002/malq.200910107},
doi = {10.1002/MALQ.200910107},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Taschner10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/TorkzadehA10,
author = {Lida Torkzadeh and
Afsaneh Ahadpanah},
title = {Hyper \emph{MV}-ideals in hyper \emph{MV}-algebras},
journal = {Math. Log. Q.},
volume = {56},
number = {1},
pages = {51--62},
year = {2010},
url = {https://doi.org/10.1002/malq.200810035},
doi = {10.1002/MALQ.200810035},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/TorkzadehA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Tyszka10,
author = {Apoloniusz Tyszka},
title = {Two conjectures on the arithmetic in {R} and {C}},
journal = {Math. Log. Q.},
volume = {56},
number = {2},
pages = {175--184},
year = {2010},
url = {https://doi.org/10.1002/malq.200910004},
doi = {10.1002/MALQ.200910004},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Tyszka10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Vassiliev10,
author = {Evgueni Vassiliev},
title = {On pseudolinearity and generic pairs},
journal = {Math. Log. Q.},
volume = {56},
number = {1},
pages = {35--41},
year = {2010},
url = {https://doi.org/10.1002/malq.200810033},
doi = {10.1002/MALQ.200810033},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Vassiliev10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Weinert10,
author = {Thilo Weinert},
title = {The Bounded Axiom {A} Forcing Axiom},
journal = {Math. Log. Q.},
volume = {56},
number = {6},
pages = {659--665},
year = {2010},
url = {https://doi.org/10.1002/malq.200810163},
doi = {10.1002/MALQ.200810163},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Weinert10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Zapletal10,
author = {Jindrich Zapletal},
title = {Applications of the ergodic iteration theorem},
journal = {Math. Log. Q.},
volume = {56},
number = {2},
pages = {116--125},
year = {2010},
url = {https://doi.org/10.1002/malq.200810041},
doi = {10.1002/MALQ.200810041},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Zapletal10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/ZhouL10,
author = {Xiangnan Zhou and
Qingguo Li},
title = {Boolean products of \emph{R}\({}_{\mbox{0}}\)-algebras},
journal = {Math. Log. Q.},
volume = {56},
number = {3},
pages = {289--298},
year = {2010},
url = {https://doi.org/10.1002/malq.200910006},
doi = {10.1002/MALQ.200910006},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/ZhouL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Ziegler10,
author = {Albert Ziegler},
title = {Refinement is equivalent to Fullness},
journal = {Math. Log. Q.},
volume = {56},
number = {6},
pages = {666--669},
year = {2010},
url = {https://doi.org/10.1002/malq.200910115},
doi = {10.1002/MALQ.200910115},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Ziegler10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Zimmermann10,
author = {Ernst Zimmermann},
title = {Full Lambek Calculus in natural deduction},
journal = {Math. Log. Q.},
volume = {56},
number = {1},
pages = {85--88},
year = {2010},
url = {https://doi.org/10.1002/malq.200810042},
doi = {10.1002/MALQ.200810042},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Zimmermann10.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-04-25 03:37 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:
