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/aml/aml51.bht:"
download as .bib file
@article{DBLP:journals/aml/AbeU12,
author = {Yoshihiro Abe and
Toshimichi Usuba},
title = {Notes on the partition property of P\({}_{\mbox{{\(\kappa\)}{\(\lambda\)}}}\)},
journal = {Arch. Math. Log.},
volume = {51},
number = {5-6},
pages = {575--589},
year = {2012},
url = {https://doi.org/10.1007/s00153-012-0283-x},
doi = {10.1007/S00153-012-0283-X},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/AbeU12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Apter12,
author = {Arthur W. Apter},
title = {On some questions concerning strong compactness},
journal = {Arch. Math. Log.},
volume = {51},
number = {7-8},
pages = {819--829},
year = {2012},
url = {https://doi.org/10.1007/s00153-012-0300-0},
doi = {10.1007/S00153-012-0300-0},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Apter12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/ApterGH12,
author = {Arthur W. Apter and
Victoria Gitman and
Joel David Hamkins},
title = {Inner models with large cardinal features usually obtained by forcing},
journal = {Arch. Math. Log.},
volume = {51},
number = {3-4},
pages = {257--283},
year = {2012},
url = {https://doi.org/10.1007/s00153-011-0264-5},
doi = {10.1007/S00153-011-0264-5},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/ApterGH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/AraujoK12,
author = {Jo{\~{a}}o Ara{\'{u}}jo and
Janusz Konieczny},
title = {A method for finding new sets of axioms for classes of semigroups},
journal = {Arch. Math. Log.},
volume = {51},
number = {5-6},
pages = {461--474},
year = {2012},
url = {https://doi.org/10.1007/s00153-012-0276-9},
doi = {10.1007/S00153-012-0276-9},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/AraujoK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Bagaria12,
author = {Joan Bagaria},
title = {C(n)-cardinals},
journal = {Arch. Math. Log.},
volume = {51},
number = {3-4},
pages = {213--240},
year = {2012},
url = {https://doi.org/10.1007/s00153-011-0261-8},
doi = {10.1007/S00153-011-0261-8},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Bagaria12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Belegradek12,
author = {Oleg V. Belegradek},
title = {Homogeneity in relatively free groups},
journal = {Arch. Math. Log.},
volume = {51},
number = {7-8},
pages = {781--787},
year = {2012},
url = {https://doi.org/10.1007/s00153-012-0298-3},
doi = {10.1007/S00153-012-0298-3},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Belegradek12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/BezhanishviliL12,
author = {Guram Bezhanishvili and
Joel Lucero{-}Bryan},
title = {Subspaces of {Q} whose d-logics do not have the {FMP}},
journal = {Arch. Math. Log.},
volume = {51},
number = {5-6},
pages = {661--670},
year = {2012},
url = {https://doi.org/10.1007/s00153-012-0290-y},
doi = {10.1007/S00153-012-0290-Y},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/BezhanishviliL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/BilinskyG12,
author = {Eilon Bilinsky and
Moti Gitik},
title = {A model with a measurable which does not carry a normal measure},
journal = {Arch. Math. Log.},
volume = {51},
number = {7-8},
pages = {863--876},
year = {2012},
url = {https://doi.org/10.1007/s00153-012-0302-y},
doi = {10.1007/S00153-012-0302-Y},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/BilinskyG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Borodulin-NadziejaF12,
author = {Piotr Borodulin{-}Nadzieja and
Barnab{\'{a}}s Farkas},
title = {Cardinal coefficients associated to certain orders on ideals},
journal = {Arch. Math. Log.},
volume = {51},
number = {1-2},
pages = {187--202},
year = {2012},
url = {https://doi.org/10.1007/s00153-011-0260-9},
doi = {10.1007/S00153-011-0260-9},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aml/Borodulin-NadziejaF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/BrendleM12,
author = {J{\"{o}}rg Brendle and
Diana Carolina Montoya},
title = {A base-matrix lemma for sets of rationals modulo nowhere dense sets},
journal = {Arch. Math. Log.},
volume = {51},
number = {3-4},
pages = {305--317},
year = {2012},
url = {https://doi.org/10.1007/s00153-012-0274-y},
doi = {10.1007/S00153-012-0274-Y},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/BrendleM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Bridges12,
author = {Douglas S. Bridges},
title = {Compactness notions for an apartness space},
journal = {Arch. Math. Log.},
volume = {51},
number = {5-6},
pages = {517--534},
year = {2012},
url = {https://doi.org/10.1007/s00153-012-0279-6},
doi = {10.1007/S00153-012-0279-6},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Bridges12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/ChenR12,
author = {Ray{-}Ming Chen and
Michael Rathjen},
title = {Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory},
journal = {Arch. Math. Log.},
volume = {51},
number = {7-8},
pages = {789--818},
year = {2012},
url = {https://doi.org/10.1007/s00153-012-0299-2},
doi = {10.1007/S00153-012-0299-2},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/ChenR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Citkin12,
author = {Alexander Citkin},
title = {A note on admissible rules and the disjunction property in intermediate
logics},
journal = {Arch. Math. Log.},
volume = {51},
number = {1-2},
pages = {1--14},
year = {2012},
url = {https://doi.org/10.1007/s00153-011-0250-y},
doi = {10.1007/S00153-011-0250-Y},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Citkin12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/CoxK12,
author = {Michael Cox and
Richard Kaye},
title = {Amphi-ZF : axioms for Conway games},
journal = {Arch. Math. Log.},
volume = {51},
number = {3-4},
pages = {353--371},
year = {2012},
url = {https://doi.org/10.1007/s00153-012-0275-x},
doi = {10.1007/S00153-012-0275-X},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/CoxK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Cunningham12,
author = {Daniel W. Cunningham},
title = {Scales of minimal complexity in {KR}},
journal = {Arch. Math. Log.},
volume = {51},
number = {3-4},
pages = {319--351},
year = {2012},
url = {https://doi.org/10.1007/s00153-012-0267-x},
doi = {10.1007/S00153-012-0267-X},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Cunningham12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Diener12,
author = {Hannes Diener},
title = {Reclassifying the antithesis of Specker's theorem},
journal = {Arch. Math. Log.},
volume = {51},
number = {7-8},
pages = {687--693},
year = {2012},
url = {https://doi.org/10.1007/s00153-012-0292-9},
doi = {10.1007/S00153-012-0292-9},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Diener12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Dorais12,
author = {Fran{\c{c}}ois G. Dorais},
title = {A variant of Mathias forcing that preserves {\textdollar}{\textdollar}\{{\textbackslash}mathsf\{ACA\}{\_}0\}{\textdollar}{\textdollar}},
journal = {Arch. Math. Log.},
volume = {51},
number = {7-8},
pages = {751--780},
year = {2012},
url = {https://doi.org/10.1007/s00153-012-0297-4},
doi = {10.1007/S00153-012-0297-4},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Dorais12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/DyckhoffN12,
author = {Roy Dyckhoff and
Sara Negri},
title = {Proof analysis in intermediate logics},
journal = {Arch. Math. Log.},
volume = {51},
number = {1-2},
pages = {71--92},
year = {2012},
url = {https://doi.org/10.1007/s00153-011-0254-7},
doi = {10.1007/S00153-011-0254-7},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/DyckhoffN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/FarahaniO12,
author = {Hadi Farahani and
Hiroakira Ono},
title = {Glivenko theorems and negative translations in substructural predicate
logics},
journal = {Arch. Math. Log.},
volume = {51},
number = {7-8},
pages = {695--707},
year = {2012},
url = {https://doi.org/10.1007/s00153-012-0293-8},
doi = {10.1007/S00153-012-0293-8},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/FarahaniO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Fontanella12,
author = {Laura Fontanella},
title = {Strong tree properties for two successive cardinals},
journal = {Arch. Math. Log.},
volume = {51},
number = {5-6},
pages = {601--620},
year = {2012},
url = {https://doi.org/10.1007/s00153-012-0285-8},
doi = {10.1007/S00153-012-0285-8},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Fontanella12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/FriedmanG12,
author = {Sy{-}David Friedman and
Mohammad Golshani},
title = {Independence of higher Kurepa hypotheses},
journal = {Arch. Math. Log.},
volume = {51},
number = {5-6},
pages = {621--633},
year = {2012},
url = {https://doi.org/10.1007/s00153-012-0286-7},
doi = {10.1007/S00153-012-0286-7},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/FriedmanG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/FriedmanH12,
author = {Sy{-}David Friedman and
Tapani Hyttinen},
title = {On Borel equivalence relations in generalized Baire space},
journal = {Arch. Math. Log.},
volume = {51},
number = {3-4},
pages = {299--304},
year = {2012},
url = {https://doi.org/10.1007/s00153-011-0266-3},
doi = {10.1007/S00153-011-0266-3},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aml/FriedmanH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/GordeevW12,
author = {Lew Gordeev and
Andreas Weiermann},
title = {Phase transitions of iterated Higman-style well-partial-orderings},
journal = {Arch. Math. Log.},
volume = {51},
number = {1-2},
pages = {127--161},
year = {2012},
url = {https://doi.org/10.1007/s00153-011-0258-3},
doi = {10.1007/S00153-011-0258-3},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/GordeevW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Harris12,
author = {Charles M. Harris},
title = {Badness and jump inversion in the enumeration degrees},
journal = {Arch. Math. Log.},
volume = {51},
number = {3-4},
pages = {373--406},
year = {2012},
url = {https://doi.org/10.1007/s00153-012-0268-9},
doi = {10.1007/S00153-012-0268-9},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Harris12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Hirst12,
author = {Jeffry L. Hirst},
title = {Hilbert versus Hindman},
journal = {Arch. Math. Log.},
volume = {51},
number = {1-2},
pages = {123--125},
year = {2012},
url = {https://doi.org/10.1007/s00153-011-0257-4},
doi = {10.1007/S00153-011-0257-4},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Hirst12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Ikeda12,
author = {Koichiro Ikeda},
title = {Ab initio generic structures which are superstable but not {\(\omega\)}-stable},
journal = {Arch. Math. Log.},
volume = {51},
number = {1-2},
pages = {203--211},
year = {2012},
url = {https://doi.org/10.1007/s00153-011-0263-6},
doi = {10.1007/S00153-011-0263-6},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Ikeda12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/IkedaK12,
author = {Koichiro Ikeda and
Hirotaka Kikyo},
title = {On superstable generic structures},
journal = {Arch. Math. Log.},
volume = {51},
number = {5-6},
pages = {591--600},
year = {2012},
url = {https://doi.org/10.1007/s00153-012-0284-9},
doi = {10.1007/S00153-012-0284-9},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aml/IkedaK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/IkegamiKL12,
author = {Daisuke Ikegami and
David de Kloet and
Benedikt L{\"{o}}we},
title = {The axiom of real Blackwell determinacy},
journal = {Arch. Math. Log.},
volume = {51},
number = {7-8},
pages = {671--685},
year = {2012},
url = {https://doi.org/10.1007/s00153-012-0291-x},
doi = {10.1007/S00153-012-0291-X},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/IkegamiKL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Ivanov12,
author = {Aleksander Ivanov},
title = {Degrees of isomorphism types and countably categorical groups},
journal = {Arch. Math. Log.},
volume = {51},
number = {1-2},
pages = {93--98},
year = {2012},
url = {https://doi.org/10.1007/s00153-011-0255-6},
doi = {10.1007/S00153-011-0255-6},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aml/Ivanov12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Jansana12,
author = {Ramon Jansana},
title = {Algebraizable logics with a strong conjunction and their semi-lattice
based companions},
journal = {Arch. Math. Log.},
volume = {51},
number = {7-8},
pages = {831--861},
year = {2012},
url = {https://doi.org/10.1007/s00153-012-0301-z},
doi = {10.1007/S00153-012-0301-Z},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aml/Jansana12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/JeneiO12,
author = {S{\'{a}}ndor Jenei and
Hiroakira Ono},
title = {On involutive {FL} e -monoids},
journal = {Arch. Math. Log.},
volume = {51},
number = {7-8},
pages = {719--738},
year = {2012},
url = {https://doi.org/10.1007/s00153-012-0295-6},
doi = {10.1007/S00153-012-0295-6},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/JeneiO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/KellnerS12,
author = {Jakob Kellner and
Saharon Shelah},
title = {Creature forcing and large continuum: the joy of halving},
journal = {Arch. Math. Log.},
volume = {51},
number = {1-2},
pages = {49--70},
year = {2012},
url = {https://doi.org/10.1007/s00153-011-0253-8},
doi = {10.1007/S00153-011-0253-8},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/KellnerS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/LuckeS12,
author = {Philipp L{\"{u}}cke and
Saharon Shelah},
title = {External automorphisms of ultraproducts of finite models},
journal = {Arch. Math. Log.},
volume = {51},
number = {3-4},
pages = {433--441},
year = {2012},
url = {https://doi.org/10.1007/s00153-012-0271-1},
doi = {10.1007/S00153-012-0271-1},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/LuckeS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Luosto12,
author = {Kerkko Luosto},
title = {On vectorizations of unary generalized quantifiers},
journal = {Arch. Math. Log.},
volume = {51},
number = {3-4},
pages = {241--255},
year = {2012},
url = {https://doi.org/10.1007/s00153-011-0262-7},
doi = {10.1007/S00153-011-0262-7},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Luosto12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Majcher-Iwanow12,
author = {Barbara Majcher{-}Iwanow},
title = {Polish group actions and effectivity},
journal = {Arch. Math. Log.},
volume = {51},
number = {5-6},
pages = {563--573},
year = {2012},
url = {https://doi.org/10.1007/s00153-012-0282-y},
doi = {10.1007/S00153-012-0282-Y},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aml/Majcher-Iwanow12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Marchioni12,
author = {Enrico Marchioni},
title = {Amalgamation through quantifier elimination for varieties of commutative
residuated lattices},
journal = {Arch. Math. Log.},
volume = {51},
number = {1-2},
pages = {15--34},
year = {2012},
url = {https://doi.org/10.1007/s00153-011-0251-x},
doi = {10.1007/S00153-011-0251-X},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Marchioni12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/MarconeMS12,
author = {Alberto Marcone and
Antonio Montalb{\'{a}}n and
Richard A. Shore},
title = {Computing maximal chains},
journal = {Arch. Math. Log.},
volume = {51},
number = {5-6},
pages = {651--660},
year = {2012},
url = {https://doi.org/10.1007/s00153-012-0289-4},
doi = {10.1007/S00153-012-0289-4},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aml/MarconeMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/MarsibilioS12,
author = {Daniele Marsibilio and
Andrea Sorbi},
title = {Bounded enumeration reducibility and its degree structure},
journal = {Arch. Math. Log.},
volume = {51},
number = {1-2},
pages = {163--186},
year = {2012},
url = {https://doi.org/10.1007/s00153-011-0259-2},
doi = {10.1007/S00153-011-0259-2},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/MarsibilioS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Matet12,
author = {Pierre Matet},
title = {Non-saturation of the nonstationary ideal on {P} {\(\kappa\)} ({\(\lambda\)})
in case {\(\kappa\)} {\(\leq\)} cf ({\(\lambda\)}) {\textless} {\(\lambda\)}},
journal = {Arch. Math. Log.},
volume = {51},
number = {3-4},
pages = {425--432},
year = {2012},
url = {https://doi.org/10.1007/s00153-012-0270-2},
doi = {10.1007/S00153-012-0270-2},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Matet12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Morillon12,
author = {Marianne Morillon},
title = {Some consequences of Rado's selection lemma},
journal = {Arch. Math. Log.},
volume = {51},
number = {7-8},
pages = {739--749},
year = {2012},
url = {https://doi.org/10.1007/s00153-012-0296-5},
doi = {10.1007/S00153-012-0296-5},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Morillon12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/MoschovakisV12,
author = {Joan Rand Moschovakis and
Garyfallia Vafeiadou},
title = {Some axioms for constructive analysis},
journal = {Arch. Math. Log.},
volume = {51},
number = {5-6},
pages = {443--459},
year = {2012},
url = {https://doi.org/10.1007/s00153-012-0273-z},
doi = {10.1007/S00153-012-0273-Z},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/MoschovakisV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/OmanadzeC12,
author = {Roland Sh. Omanadze and
Irakli O. Chitaia},
title = {Q 1-degrees of c.e. sets},
journal = {Arch. Math. Log.},
volume = {51},
number = {5-6},
pages = {503--515},
year = {2012},
url = {https://doi.org/10.1007/s00153-012-0278-7},
doi = {10.1007/S00153-012-0278-7},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/OmanadzeC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Palacin12,
author = {Daniel Palac{\'{\i}}n},
title = {On omega-categorical simple theories},
journal = {Arch. Math. Log.},
volume = {51},
number = {7-8},
pages = {709--717},
year = {2012},
url = {https://doi.org/10.1007/s00153-012-0294-7},
doi = {10.1007/S00153-012-0294-7},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aml/Palacin12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Palmgren12,
author = {Erik Palmgren},
title = {Proof-relevance of families of setoids and identity in type theory},
journal = {Arch. Math. Log.},
volume = {51},
number = {1-2},
pages = {35--47},
year = {2012},
url = {https://doi.org/10.1007/s00153-011-0252-9},
doi = {10.1007/S00153-011-0252-9},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Palmgren12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/SandersY12,
author = {Sam Sanders and
Keita Yokoyama},
title = {The Dirac delta function in two settings of Reverse Mathematics},
journal = {Arch. Math. Log.},
volume = {51},
number = {1-2},
pages = {99--121},
year = {2012},
url = {https://doi.org/10.1007/s00153-011-0256-5},
doi = {10.1007/S00153-011-0256-5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/SandersY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Schmerl12,
author = {James H. Schmerl},
title = {The automorphism group of a resplendent model},
journal = {Arch. Math. Log.},
volume = {51},
number = {5-6},
pages = {647--649},
year = {2012},
url = {https://doi.org/10.1007/s00153-012-0288-5},
doi = {10.1007/S00153-012-0288-5},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Schmerl12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Shafer12,
author = {Paul Shafer},
title = {Menger's theorem in {\(\Pi\)}\({}^{\mbox{1}}\)\({}_{\mbox{1}}\)-CA\({}_{\mbox{0}}\)},
journal = {Arch. Math. Log.},
volume = {51},
number = {3-4},
pages = {407--423},
year = {2012},
url = {https://doi.org/10.1007/s00153-012-0269-8},
doi = {10.1007/S00153-012-0269-8},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Shafer12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Sinapova12,
author = {Dima Sinapova},
title = {The tree property and the failure of {SCH} at uncountable cofinality},
journal = {Arch. Math. Log.},
volume = {51},
number = {5-6},
pages = {553--562},
year = {2012},
url = {https://doi.org/10.1007/s00153-012-0281-z},
doi = {10.1007/S00153-012-0281-Z},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Sinapova12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Soltys12,
author = {Michael Soltys},
title = {Proving properties of matrices over Z\({}_{\mbox{2}}\)},
journal = {Arch. Math. Log.},
volume = {51},
number = {5-6},
pages = {535--551},
year = {2012},
url = {https://doi.org/10.1007/s00153-012-0280-0},
doi = {10.1007/S00153-012-0280-0},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Soltys12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Stirton12,
author = {William R. Stirton},
title = {How to assign ordinal numbers to combinatory terms with polymorphic
types},
journal = {Arch. Math. Log.},
volume = {51},
number = {5-6},
pages = {475--501},
year = {2012},
url = {https://doi.org/10.1007/s00153-012-0277-8},
doi = {10.1007/S00153-012-0277-8},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Stirton12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Unger12,
author = {Spencer Unger},
title = {Fragility and indestructibility of the tree property},
journal = {Arch. Math. Log.},
volume = {51},
number = {5-6},
pages = {635--645},
year = {2012},
url = {https://doi.org/10.1007/s00153-012-0287-6},
doi = {10.1007/S00153-012-0287-6},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Unger12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/WangP12,
author = {San{-}Min Wang and
Daowu Pei},
title = {On an axiomatic system for the logic of linearly ordered BCI-matrices},
journal = {Arch. Math. Log.},
volume = {51},
number = {3-4},
pages = {285--297},
year = {2012},
url = {https://doi.org/10.1007/s00153-011-0265-4},
doi = {10.1007/S00153-011-0265-4},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/WangP12.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-23 18:00 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:
