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/aml52.bht:"
download as .bib file
@article{DBLP:journals/aml/Alonderis13,
author = {Romas Alonderis},
title = {A proof-search procedure for intuitionistic propositional logic},
journal = {Arch. Math. Log.},
volume = {52},
number = {7-8},
pages = {759--778},
year = {2013},
url = {https://doi.org/10.1007/s00153-013-0342-y},
doi = {10.1007/S00153-013-0342-Y},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Alonderis13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Argoty13,
author = {Camilo Argoty},
title = {The model theory of modules of a C*-algebra},
journal = {Arch. Math. Log.},
volume = {52},
number = {5-6},
pages = {525--541},
year = {2013},
url = {https://doi.org/10.1007/s00153-013-0330-2},
doi = {10.1007/S00153-013-0330-2},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Argoty13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/BalcerzakFG13,
author = {Marek Balcerzak and
Barnab{\'{a}}s Farkas and
Szymon Glab},
title = {Covering properties of ideals},
journal = {Arch. Math. Log.},
volume = {52},
number = {3-4},
pages = {279--294},
year = {2013},
url = {https://doi.org/10.1007/s00153-012-0316-5},
doi = {10.1007/S00153-012-0316-5},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aml/BalcerzakFG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Berg13,
author = {Benno van den Berg},
title = {Non-deterministic inductive definitions},
journal = {Arch. Math. Log.},
volume = {52},
number = {1-2},
pages = {113--135},
year = {2013},
url = {https://doi.org/10.1007/s00153-012-0309-4},
doi = {10.1007/S00153-012-0309-4},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Berg13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Bianchi13,
author = {Matteo Bianchi},
title = {First-order Nilpotent minimum logics: first steps},
journal = {Arch. Math. Log.},
volume = {52},
number = {3-4},
pages = {295--316},
year = {2013},
url = {https://doi.org/10.1007/s00153-012-0317-4},
doi = {10.1007/S00153-012-0317-4},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Bianchi13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Cevik13,
author = {Ahmet {\c{C}}evik},
title = {Antibasis theorems for {\textdollar}{\textdollar}\{{\textbackslash}Pi0{\_}1\}{\textdollar}{\textdollar}
classes and the jump hierarchy},
journal = {Arch. Math. Log.},
volume = {52},
number = {1-2},
pages = {137--142},
year = {2013},
url = {https://doi.org/10.1007/s00153-012-0310-y},
doi = {10.1007/S00153-012-0310-Y},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Cevik13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/CiunguGM13,
author = {Lavinia Corina Ciungu and
George Georgescu and
Claudia Muresan},
title = {Generalized Bosbach states: part {I}},
journal = {Arch. Math. Log.},
volume = {52},
number = {3-4},
pages = {335--376},
year = {2013},
url = {https://doi.org/10.1007/s00153-012-0319-2},
doi = {10.1007/S00153-012-0319-2},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/CiunguGM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/CiunguGM13a,
author = {Lavinia Corina Ciungu and
George Georgescu and
Claudia Muresan},
title = {Generalized Bosbach states: Part {II}},
journal = {Arch. Math. Log.},
volume = {52},
number = {7-8},
pages = {707--732},
year = {2013},
url = {https://doi.org/10.1007/s00153-013-0339-6},
doi = {10.1007/S00153-013-0339-6},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/CiunguGM13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Cody13,
author = {Brent Cody},
title = {Easton's theorem in the presence of Woodin cardinals},
journal = {Arch. Math. Log.},
volume = {52},
number = {5-6},
pages = {569--591},
year = {2013},
url = {https://doi.org/10.1007/s00153-013-0332-0},
doi = {10.1007/S00153-013-0332-0},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Cody13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/DecoR13,
author = {Michal Deco and
Miroslav Repick{\'{y}}},
title = {Strongly dominating sets of reals},
journal = {Arch. Math. Log.},
volume = {52},
number = {7-8},
pages = {827--846},
year = {2013},
url = {https://doi.org/10.1007/s00153-013-0347-6},
doi = {10.1007/S00153-013-0347-6},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/DecoR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/DellundeE13,
author = {Pilar Dellunde and
Francesc Esteva},
title = {On elementary equivalence in fuzzy predicate logics},
journal = {Arch. Math. Log.},
volume = {52},
number = {1-2},
pages = {1--17},
year = {2013},
url = {https://doi.org/10.1007/s00153-012-0303-x},
doi = {10.1007/S00153-012-0303-X},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/DellundeE13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Espindola13,
author = {Christian Esp{\'{\i}}ndola},
title = {A short proof of Glivenko theorems for intermediate predicate logics},
journal = {Arch. Math. Log.},
volume = {52},
number = {7-8},
pages = {823--826},
year = {2013},
url = {https://doi.org/10.1007/s00153-013-0346-7},
doi = {10.1007/S00153-013-0346-7},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Espindola13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/FangWY13,
author = {Chengling Fang and
Guohua Wu and
Mars M. Yamaleev},
title = {On a problem of Ishmukhametov},
journal = {Arch. Math. Log.},
volume = {52},
number = {7-8},
pages = {733--741},
year = {2013},
url = {https://doi.org/10.1007/s00153-013-0340-0},
doi = {10.1007/S00153-013-0340-0},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/FangWY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/FarahMS13,
author = {Ilijas Farah and
Paul McKenney and
Ernest Schimmerling},
title = {Some Calkin algebras have outer automorphisms},
journal = {Arch. Math. Log.},
volume = {52},
number = {5-6},
pages = {517--524},
year = {2013},
url = {https://doi.org/10.1007/s00153-013-0329-8},
doi = {10.1007/S00153-013-0329-8},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/FarahMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/FischerFK13,
author = {Vera Fischer and
Sy{-}David Friedman and
Yurii Khomskii},
title = {Co-analytic mad families and definable wellorders},
journal = {Arch. Math. Log.},
volume = {52},
number = {7-8},
pages = {809--822},
year = {2013},
url = {https://doi.org/10.1007/s00153-013-0345-8},
doi = {10.1007/S00153-013-0345-8},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aml/FischerFK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Fuchs13,
author = {Gunter Fuchs},
title = {Club degrees of rigidity and almost Kurepa trees},
journal = {Arch. Math. Log.},
volume = {52},
number = {1-2},
pages = {47--66},
year = {2013},
url = {https://doi.org/10.1007/s00153-012-0306-7},
doi = {10.1007/S00153-012-0306-7},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aml/Fuchs13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/GuingonaL13,
author = {Vincent Guingona and
Michael C. Laskowski},
title = {On VC-minimal theories and variants},
journal = {Arch. Math. Log.},
volume = {52},
number = {7-8},
pages = {743--758},
year = {2013},
url = {https://doi.org/10.1007/s00153-013-0341-z},
doi = {10.1007/S00153-013-0341-Z},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/GuingonaL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/HrusakMRT13,
author = {Michael Hrus{\'{a}}k and
Carlos Azarel Mart{\'{\i}}nez{-}Ranero and
Ulises Ariet Ramos{-}Garc{\'{\i}}a and
O. A. T{\'{e}}llez{-}Nieto},
title = {Intersection numbers of families of ideals},
journal = {Arch. Math. Log.},
volume = {52},
number = {3-4},
pages = {403--417},
year = {2013},
url = {https://doi.org/10.1007/s00153-012-0321-8},
doi = {10.1007/S00153-012-0321-8},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/HrusakMRT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/HrusakSZ13,
author = {Michael Hrus{\'{a}}k and
Petr Simon and
Ondrej Zindulka},
title = {Weak partition properties on trees},
journal = {Arch. Math. Log.},
volume = {52},
number = {5-6},
pages = {543--567},
year = {2013},
url = {https://doi.org/10.1007/s00153-013-0331-1},
doi = {10.1007/S00153-013-0331-1},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aml/HrusakSZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Japaridze13,
author = {Giorgi Japaridze},
title = {The taming of recurrences in computability logic through cirquent
calculus, Part {I}},
journal = {Arch. Math. Log.},
volume = {52},
number = {1-2},
pages = {173--212},
year = {2013},
url = {https://doi.org/10.1007/s00153-012-0313-8},
doi = {10.1007/S00153-012-0313-8},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Japaridze13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Japaridze13a,
author = {Giorgi Japaridze},
title = {The taming of recurrences in computability logic through cirquent
calculus, Part {II}},
journal = {Arch. Math. Log.},
volume = {52},
number = {1-2},
pages = {213--259},
year = {2013},
url = {https://doi.org/10.1007/s00153-012-0314-7},
doi = {10.1007/S00153-012-0314-7},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Japaridze13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/JeneiK13,
author = {S{\'{a}}ndor Jenei and
L{\'{a}}szl{\'{o}} K{\'{o}}r{\'{o}}di},
title = {Pseudo equality algebras},
journal = {Arch. Math. Log.},
volume = {52},
number = {5-6},
pages = {469--481},
year = {2013},
url = {https://doi.org/10.1007/s00153-013-0325-z},
doi = {10.1007/S00153-013-0325-Z},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/JeneiK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/JerabekK13,
author = {Emil Jer{\'{a}}bek and
Leszek Aleksander Kolodziejczyk},
title = {Real closures of models of weak arithmetic},
journal = {Arch. Math. Log.},
volume = {52},
number = {1-2},
pages = {143--157},
year = {2013},
url = {https://doi.org/10.1007/s00153-012-0311-x},
doi = {10.1007/S00153-012-0311-X},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/JerabekK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/JohnsonKOV13,
author = {Jesse Johnson and
Julia F. Knight and
V. Ocasio and
S. VanDenDriessche},
title = {An example related to Gregory's Theorem},
journal = {Arch. Math. Log.},
volume = {52},
number = {3-4},
pages = {419--434},
year = {2013},
url = {https://doi.org/10.1007/s00153-013-0322-2},
doi = {10.1007/S00153-013-0322-2},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/JohnsonKOV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Krajicek13,
author = {Jan Kraj{\'{\i}}cek},
title = {A saturation property of structures obtained by forcing with a compact
family of random variables},
journal = {Arch. Math. Log.},
volume = {52},
number = {1-2},
pages = {19--28},
year = {2013},
url = {https://doi.org/10.1007/s00153-012-0304-9},
doi = {10.1007/S00153-012-0304-9},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Krajicek13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Kreuzer13,
author = {Alexander P. Kreuzer},
title = {Program extraction for 2-random reals},
journal = {Arch. Math. Log.},
volume = {52},
number = {5-6},
pages = {659--666},
year = {2013},
url = {https://doi.org/10.1007/s00153-013-0336-9},
doi = {10.1007/S00153-013-0336-9},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Kreuzer13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Kurahashi13,
author = {Taishi Kurahashi},
title = {On predicate provability logics and binumerations of fragments of
Peano arithmetic},
journal = {Arch. Math. Log.},
volume = {52},
number = {7-8},
pages = {871--880},
year = {2013},
url = {https://doi.org/10.1007/s00153-013-0349-4},
doi = {10.1007/S00153-013-0349-4},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Kurahashi13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Kurilic13,
author = {Milos S. Kurilic},
title = {Maximally embeddable components},
journal = {Arch. Math. Log.},
volume = {52},
number = {7-8},
pages = {793--808},
year = {2013},
url = {https://doi.org/10.1007/s00153-013-0344-9},
doi = {10.1007/S00153-013-0344-9},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Kurilic13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/KypriotakisZ13,
author = {Kyriakos Kypriotakis and
Martin Zeman},
title = {A characterization of {\textdollar}{\textdollar}\{{\textbackslash}square({\textbackslash}kappa\{+\})\}{\textdollar}{\textdollar}
in extender models},
journal = {Arch. Math. Log.},
volume = {52},
number = {1-2},
pages = {67--90},
year = {2013},
url = {https://doi.org/10.1007/s00153-012-0307-6},
doi = {10.1007/S00153-012-0307-6},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/KypriotakisZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Leenknegt13,
author = {Eva Leenknegt},
title = {Cell decomposition for semibounded p-adic sets},
journal = {Arch. Math. Log.},
volume = {52},
number = {5-6},
pages = {667--688},
year = {2013},
url = {https://doi.org/10.1007/s00153-013-0337-8},
doi = {10.1007/S00153-013-0337-8},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Leenknegt13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Mainhardt13,
author = {Gunther Mainhardt},
title = {Traces, traceability, and lattices of traces under the set theoretic
inclusion},
journal = {Arch. Math. Log.},
volume = {52},
number = {7-8},
pages = {847--869},
year = {2013},
url = {https://doi.org/10.1007/s00153-013-0348-5},
doi = {10.1007/S00153-013-0348-5},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Mainhardt13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Martinez-Ranero13,
author = {Carlos Martinez{-}Ranero},
title = {Gap structure after forcing with a coherent Souslin tree},
journal = {Arch. Math. Log.},
volume = {52},
number = {3-4},
pages = {435--447},
year = {2013},
url = {https://doi.org/10.1007/s00153-013-0323-1},
doi = {10.1007/S00153-013-0323-1},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Martinez-Ranero13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Mejia13,
author = {Diego Alejandro Mej{\'{\i}}a},
title = {Matrix iterations and Cichon's diagram},
journal = {Arch. Math. Log.},
volume = {52},
number = {3-4},
pages = {261--278},
year = {2013},
url = {https://doi.org/10.1007/s00153-012-0315-6},
doi = {10.1007/S00153-012-0315-6},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aml/Mejia13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Minari13,
author = {Pierluigi Minari},
title = {Labeled sequent calculi for modal logics and implicit contractions},
journal = {Arch. Math. Log.},
volume = {52},
number = {7-8},
pages = {881--907},
year = {2013},
url = {https://doi.org/10.1007/s00153-013-0350-y},
doi = {10.1007/S00153-013-0350-Y},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Minari13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/RoslanowskiS13,
author = {Andrzej Roslanowski and
Saharon Shelah},
title = {More about {\(\lambda\)}-support iterations of ({\textless}{\(\lambda\)})-complete
forcing notions},
journal = {Arch. Math. Log.},
volume = {52},
number = {5-6},
pages = {603--629},
year = {2013},
url = {https://doi.org/10.1007/s00153-013-0334-y},
doi = {10.1007/S00153-013-0334-Y},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/RoslanowskiS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Sakai13,
author = {Hiroshi Sakai},
title = {Chang's Conjecture and weak square},
journal = {Arch. Math. Log.},
volume = {52},
number = {1-2},
pages = {29--45},
year = {2013},
url = {https://doi.org/10.1007/s00153-012-0305-8},
doi = {10.1007/S00153-012-0305-8},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Sakai13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Salehi13,
author = {Saeed Salehi},
title = {Herbrand consistency of some finite fragments of bounded arithmetical
theories},
journal = {Arch. Math. Log.},
volume = {52},
number = {3-4},
pages = {317--333},
year = {2013},
url = {https://doi.org/10.1007/s00153-012-0318-3},
doi = {10.1007/S00153-012-0318-3},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aml/Salehi13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Siders13,
author = {Annika Siders},
title = {Gentzen's consistency proof without heightlines},
journal = {Arch. Math. Log.},
volume = {52},
number = {3-4},
pages = {449--468},
year = {2013},
url = {https://doi.org/10.1007/s00153-013-0324-0},
doi = {10.1007/S00153-013-0324-0},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aml/Siders13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Smedberg13,
author = {Matthew Smedberg},
title = {A dense family of well-behaved finite monogenerated left-distributive
groupoids},
journal = {Arch. Math. Log.},
volume = {52},
number = {3-4},
pages = {377--402},
year = {2013},
url = {https://doi.org/10.1007/s00153-012-0320-9},
doi = {10.1007/S00153-012-0320-9},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Smedberg13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Speranski13,
author = {Stanislav O. Speranski},
title = {A note on definability in fragments of arithmetic with free unary
predicates},
journal = {Arch. Math. Log.},
volume = {52},
number = {5-6},
pages = {507--516},
year = {2013},
url = {https://doi.org/10.1007/s00153-013-0328-9},
doi = {10.1007/S00153-013-0328-9},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Speranski13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Steiner13,
author = {Rebecca M. Steiner},
title = {Effective algebraicity},
journal = {Arch. Math. Log.},
volume = {52},
number = {1-2},
pages = {91--112},
year = {2013},
url = {https://doi.org/10.1007/s00153-012-0308-5},
doi = {10.1007/S00153-012-0308-5},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Steiner13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Stirton13,
author = {William R. Stirton},
title = {A decidable theory of type assignment},
journal = {Arch. Math. Log.},
volume = {52},
number = {5-6},
pages = {631--658},
year = {2013},
url = {https://doi.org/10.1007/s00153-013-0335-x},
doi = {10.1007/S00153-013-0335-X},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Stirton13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Tanovic13,
author = {Predrag Tanovic},
title = {Simple groups and the number of countable models},
journal = {Arch. Math. Log.},
volume = {52},
number = {7-8},
pages = {779--791},
year = {2013},
url = {https://doi.org/10.1007/s00153-013-0343-x},
doi = {10.1007/S00153-013-0343-X},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Tanovic13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Tsaprounis13,
author = {Konstantinos Tsaprounis},
title = {On extendible cardinals and the {GCH}},
journal = {Arch. Math. Log.},
volume = {52},
number = {5-6},
pages = {593--602},
year = {2013},
url = {https://doi.org/10.1007/s00153-013-0333-z},
doi = {10.1007/S00153-013-0333-Z},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Tsaprounis13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Unger13,
author = {Spencer Unger},
title = {Aronszajn trees and the successors of a singular cardinal},
journal = {Arch. Math. Log.},
volume = {52},
number = {5-6},
pages = {483--496},
year = {2013},
url = {https://doi.org/10.1007/s00153-013-0326-y},
doi = {10.1007/S00153-013-0326-Y},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Unger13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Wagner13,
author = {Frank O. Wagner},
title = {Quelques r{\'{e}}flexions in{\'{e}}vitables},
journal = {Arch. Math. Log.},
volume = {52},
number = {1-2},
pages = {159--171},
year = {2013},
url = {https://doi.org/10.1007/s00153-012-0312-9},
doi = {10.1007/S00153-012-0312-9},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Wagner13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/ZhaoZ13,
author = {Bin Zhao and
Hongjun Zhou},
title = {Generalized Bosbach and Rie{\v{c}}an states on nucleus-based-Glivenko
residuated lattices},
journal = {Arch. Math. Log.},
volume = {52},
number = {7-8},
pages = {689--706},
year = {2013},
url = {https://doi.org/10.1007/s00153-013-0338-7},
doi = {10.1007/S00153-013-0338-7},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/ZhaoZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Zhu13,
author = {Huiling Zhu},
title = {Distributive proper forcing axiom and cardinal invariants},
journal = {Arch. Math. Log.},
volume = {52},
number = {5-6},
pages = {497--506},
year = {2013},
url = {https://doi.org/10.1007/s00153-013-0327-x},
doi = {10.1007/S00153-013-0327-X},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Zhu13.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-24 23:43 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:
