![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/journals/aml/aml52.bht:"
@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 = {Sun, 04 Aug 2024 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} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.