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/aml47.bht:"
download as .bib file
@article{DBLP:journals/aml/AffatatoKS08,
author = {Maria L. Affatato and
Thomas F. Kent and
Andrea Sorbi},
title = {Branching in the S\({}^{\mbox{0}}\)\({}_{\mbox{2}}\)\{Sigma\({}^{\mbox{0}}\)\({}_{\mbox{2}}\)\}-enumeration
degrees: a new perspective},
journal = {Arch. Math. Log.},
volume = {47},
number = {3},
pages = {221--231},
year = {2008},
url = {https://doi.org/10.1007/s00153-008-0081-7},
doi = {10.1007/S00153-008-0081-7},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/AffatatoKS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Apter08,
author = {Arthur W. Apter},
title = {Indestructibility and measurable cardinals with few and many measures},
journal = {Arch. Math. Log.},
volume = {47},
number = {2},
pages = {101--110},
year = {2008},
url = {https://doi.org/10.1007/s00153-008-0079-1},
doi = {10.1007/S00153-008-0079-1},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Apter08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/ApterC08,
author = {Arthur W. Apter and
James Cummings},
title = {An \emph{L}-like model containing very large cardinals},
journal = {Arch. Math. Log.},
volume = {47},
number = {1},
pages = {65--78},
year = {2008},
url = {https://doi.org/10.1007/s00153-008-0071-9},
doi = {10.1007/S00153-008-0071-9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/ApterC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/ApterK08,
author = {Arthur W. Apter and
Peter Koepke},
title = {Making all cardinals almost Ramsey},
journal = {Arch. Math. Log.},
volume = {47},
number = {7-8},
pages = {769--783},
year = {2008},
url = {https://doi.org/10.1007/s00153-008-0107-1},
doi = {10.1007/S00153-008-0107-1},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/ApterK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/ApterS08,
author = {Arthur W. Apter and
Grigor Sargsyan},
title = {Universal indestructibility for degrees of supercompactness and strongly
compact cardinals},
journal = {Arch. Math. Log.},
volume = {47},
number = {2},
pages = {133--142},
year = {2008},
url = {https://doi.org/10.1007/s00153-008-0072-8},
doi = {10.1007/S00153-008-0072-8},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/ApterS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Astier08,
author = {Vincent Astier},
title = {Elementary equivalence of some rings of definable functions},
journal = {Arch. Math. Log.},
volume = {47},
number = {4},
pages = {327--340},
year = {2008},
url = {https://doi.org/10.1007/s00153-008-0085-3},
doi = {10.1007/S00153-008-0085-3},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Astier08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/AwodeyB08,
author = {Steven Awodey and
Andrej Bauer},
title = {Sheaf toposes for realizability},
journal = {Arch. Math. Log.},
volume = {47},
number = {5},
pages = {465--478},
year = {2008},
url = {https://doi.org/10.1007/s00153-008-0090-6},
doi = {10.1007/S00153-008-0090-6},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/AwodeyB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Bovykin08,
author = {Andrey Bovykin},
title = {Resplendent models and S\({}_{\mbox{1}}\)\({}^{\mbox{1}}\)\{{\textbackslash}Sigma{\_}11\}
-definability with an oracle},
journal = {Arch. Math. Log.},
volume = {47},
number = {6},
pages = {607--623},
year = {2008},
url = {https://doi.org/10.1007/s00153-008-0100-8},
doi = {10.1007/S00153-008-0100-8},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Bovykin08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/CooperL08,
author = {S. Barry Cooper and
Angsheng Li},
title = {On Lachlan's major sub-degree problem},
journal = {Arch. Math. Log.},
volume = {47},
number = {4},
pages = {341--434},
year = {2008},
url = {https://doi.org/10.1007/s00153-008-0083-5},
doi = {10.1007/S00153-008-0083-5},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/CooperL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/CornarosD08,
author = {Charalampos Cornaros and
Costas Dimitracopoulos},
title = {On two problems concerning end extensions},
journal = {Arch. Math. Log.},
volume = {47},
number = {1},
pages = {1--14},
year = {2008},
url = {https://doi.org/10.1007/s00153-007-0055-1},
doi = {10.1007/S00153-007-0055-1},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/CornarosD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Dimitrov08,
author = {Rumen D. Dimitrov},
title = {A class of S\({}_{\mbox{3}}\)\({}^{\mbox{0}}\)\{Sigmas\({}_{\mbox{3}}\)\({}^{\mbox{0}}\)\}
modular lattices embeddable as principal filters in \emph{L}\({}^{\mbox{*}}\)(\emph{V}\({}_{\mbox{JPY}}\))L\{{\textbackslash}ast\}(V\({}^{\mbox{infinity}}\))},
journal = {Arch. Math. Log.},
volume = {47},
number = {2},
pages = {111--132},
year = {2008},
url = {https://doi.org/10.1007/s00153-008-0078-2},
doi = {10.1007/S00153-008-0078-2},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Dimitrov08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/DobrinenF08,
author = {Natasha Dobrinen and
Sy D. Friedman},
title = {Homogeneous iteration and measure one covering relative to {HOD}},
journal = {Arch. Math. Log.},
volume = {47},
number = {7-8},
pages = {711--718},
year = {2008},
url = {https://doi.org/10.1007/s00153-008-0103-5},
doi = {10.1007/S00153-008-0103-5},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/DobrinenF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/DosenP08,
author = {Kosta Dosen and
Zoran Petric},
title = {Equality of proofs for linear equality},
journal = {Arch. Math. Log.},
volume = {47},
number = {6},
pages = {549--565},
year = {2008},
url = {https://doi.org/10.1007/s00153-008-0096-0},
doi = {10.1007/S00153-008-0096-0},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/DosenP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/EnayatM08,
author = {Ali Enayat and
Shahram Mohsenipour},
title = {Model theory of the regularity and reflection schemes},
journal = {Arch. Math. Log.},
volume = {47},
number = {5},
pages = {447--464},
year = {2008},
url = {https://doi.org/10.1007/s00153-008-0089-z},
doi = {10.1007/S00153-008-0089-Z},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/EnayatM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/FerreiraF08,
author = {Fernando Ferreira and
Gilda Ferreira},
title = {Harrington's conservation theorem redone},
journal = {Arch. Math. Log.},
volume = {47},
number = {2},
pages = {91--100},
year = {2008},
url = {https://doi.org/10.1007/s00153-008-0080-8},
doi = {10.1007/S00153-008-0080-8},
timestamp = {Tue, 10 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aml/FerreiraF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Finkel08,
author = {Olivier Finkel},
title = {Topological complexity of locally finite \emph{omega} -languages},
journal = {Arch. Math. Log.},
volume = {47},
number = {6},
pages = {625--651},
year = {2008},
url = {https://doi.org/10.1007/s00153-008-0101-7},
doi = {10.1007/S00153-008-0101-7},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Finkel08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Freytes08,
author = {Hector Freytes},
title = {Pavelka-style completeness in expansions of Lukasiewicz logic},
journal = {Arch. Math. Log.},
volume = {47},
number = {1},
pages = {15--23},
year = {2008},
url = {https://doi.org/10.1007/s00153-008-0064-8},
doi = {10.1007/S00153-008-0064-8},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Freytes08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Georgescu08,
author = {George Georgescu},
title = {Fuzzy power structures},
journal = {Arch. Math. Log.},
volume = {47},
number = {3},
pages = {233--261},
year = {2008},
url = {https://doi.org/10.1007/s00153-008-0082-6},
doi = {10.1007/S00153-008-0082-6},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Georgescu08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Geschke08,
author = {Stefan Geschke},
title = {Potential continuity of colorings},
journal = {Arch. Math. Log.},
volume = {47},
number = {6},
pages = {567--578},
year = {2008},
url = {https://doi.org/10.1007/s00153-008-0097-z},
doi = {10.1007/S00153-008-0097-Z},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Geschke08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Giorgi08,
author = {Matthew B. Giorgi},
title = {A high noncuppable S\({}^{\mbox{0}}\)\({}_{\mbox{2}}\)\emph{e}-degree},
journal = {Arch. Math. Log.},
volume = {47},
number = {3},
pages = {181--191},
year = {2008},
url = {https://doi.org/10.1007/s00153-006-0021-3},
doi = {10.1007/S00153-006-0021-3},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Giorgi08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/GismatullinN08,
author = {Jakub Gismatullin and
Ludomir Newelski},
title = {\emph{G}-compactness and groups},
journal = {Arch. Math. Log.},
volume = {47},
number = {5},
pages = {479--501},
year = {2008},
url = {https://doi.org/10.1007/s00153-008-0092-4},
doi = {10.1007/S00153-008-0092-4},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/GismatullinN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Gitik08,
author = {Moti Gitik},
title = {On a question of Pereira},
journal = {Arch. Math. Log.},
volume = {47},
number = {1},
pages = {53--64},
year = {2008},
url = {https://doi.org/10.1007/s00153-008-0070-x},
doi = {10.1007/S00153-008-0070-X},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Gitik08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/HrusakST08,
author = {Michael Hrus{\'{a}}k and
Manuel Sanchis and
{\'{A}}. Tamariz{-}Mascar{\'{u}}a},
title = {Ultrafilters and non-Cantor minimal sets in linearly ordered dynamical
systems},
journal = {Arch. Math. Log.},
volume = {47},
number = {3},
pages = {193--203},
year = {2008},
url = {https://doi.org/10.1007/s00153-008-0069-3},
doi = {10.1007/S00153-008-0069-3},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aml/HrusakST08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/HrusakZ08,
author = {Michael Hrus{\'{a}}k and
Jindrich Zapletal},
title = {Forcing with quotients},
journal = {Arch. Math. Log.},
volume = {47},
number = {7-8},
pages = {719--739},
year = {2008},
url = {https://doi.org/10.1007/s00153-008-0104-4},
doi = {10.1007/S00153-008-0104-4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/HrusakZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Kach08,
author = {Asher M. Kach},
title = {Computable shuffle sums of ordinals},
journal = {Arch. Math. Log.},
volume = {47},
number = {3},
pages = {211--219},
year = {2008},
url = {https://doi.org/10.1007/s00153-008-0077-3},
doi = {10.1007/S00153-008-0077-3},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Kach08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Kellner08,
author = {Jakob Kellner},
title = {Even more simple cardinal invariants},
journal = {Arch. Math. Log.},
volume = {47},
number = {5},
pages = {503--515},
year = {2008},
url = {https://doi.org/10.1007/s00153-008-0094-2},
doi = {10.1007/S00153-008-0094-2},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Kellner08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Kirby08,
author = {Laurence Kirby},
title = {A hierarchy of hereditarily finite sets},
journal = {Arch. Math. Log.},
volume = {47},
number = {2},
pages = {143--157},
year = {2008},
url = {https://doi.org/10.1007/s00153-008-0073-7},
doi = {10.1007/S00153-008-0073-7},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Kirby08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/KoepkeS08,
author = {Peter Koepke and
Ryan Siders},
title = {Register computations on ordinals},
journal = {Arch. Math. Log.},
volume = {47},
number = {6},
pages = {529--548},
year = {2008},
url = {https://doi.org/10.1007/s00153-008-0093-3},
doi = {10.1007/S00153-008-0093-3},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/KoepkeS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/KumabeSY08,
author = {Masahiro Kumabe and
Toshio Suzuki and
Takeshi Yamazaki},
title = {Does truth-table of linear norm reduce the one-query tautologies to
a random oracle?},
journal = {Arch. Math. Log.},
volume = {47},
number = {2},
pages = {159--180},
year = {2008},
url = {https://doi.org/10.1007/s00153-008-0076-4},
doi = {10.1007/S00153-008-0076-4},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aml/KumabeSY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Marra08,
author = {Vincenzo Marra},
title = {A characterization of MV-algebras free over finite distributive lattices},
journal = {Arch. Math. Log.},
volume = {47},
number = {3},
pages = {263--276},
year = {2008},
url = {https://doi.org/10.1007/s00153-008-0084-4},
doi = {10.1007/S00153-008-0084-4},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aml/Marra08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Mummert08,
author = {Carl Mummert},
title = {Subsystems of second-order arithmetic between RCA\({}_{\mbox{0}}\)
and WKL\({}_{\mbox{0}}\)},
journal = {Arch. Math. Log.},
volume = {47},
number = {3},
pages = {205--210},
year = {2008},
url = {https://doi.org/10.1007/s00153-008-0074-6},
doi = {10.1007/S00153-008-0074-6},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aml/Mummert08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Naumov08,
author = {Pavel Naumov},
title = {On meta complexity of propositional formulas and propositional proofs},
journal = {Arch. Math. Log.},
volume = {47},
number = {1},
pages = {35--52},
year = {2008},
url = {https://doi.org/10.1007/s00153-008-0068-4},
doi = {10.1007/S00153-008-0068-4},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Naumov08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/OsugaK08,
author = {Noboru Osuga and
Shizuo Kamo},
title = {The cardinal coefficients of the Ideal \emph{I}\({}_{\mbox{\emph{f}}}\)},
journal = {Arch. Math. Log.},
volume = {47},
number = {7-8},
pages = {653--671},
year = {2008},
url = {https://doi.org/10.1007/s00153-008-0091-5},
doi = {10.1007/S00153-008-0091-5},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/OsugaK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/PawlikowskiS08,
author = {Janusz Pawlikowski and
Marcin Sabok},
title = {Two stars},
journal = {Arch. Math. Log.},
volume = {47},
number = {7-8},
pages = {673--676},
year = {2008},
url = {https://doi.org/10.1007/s00153-008-0095-1},
doi = {10.1007/S00153-008-0095-1},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/PawlikowskiS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Pereira08,
author = {Lu{\'{\i}}s Pereira},
title = {Applications of the topological representation of the pcf-structure},
journal = {Arch. Math. Log.},
volume = {47},
number = {5},
pages = {517--527},
year = {2008},
url = {https://doi.org/10.1007/s00153-008-0098-y},
doi = {10.1007/S00153-008-0098-Y},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Pereira08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/RachunekS08,
author = {Jir{\'{\i}} Rachunek and
Dana Salounov{\'{a}}},
title = {Monadic \emph{GMV}-algebras},
journal = {Arch. Math. Log.},
volume = {47},
number = {3},
pages = {277--297},
year = {2008},
url = {https://doi.org/10.1007/s00153-008-0086-2},
doi = {10.1007/S00153-008-0086-2},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/RachunekS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Sargsyan08,
author = {Grigor Sargsyan},
title = {On HOD-supercompactness},
journal = {Arch. Math. Log.},
volume = {47},
number = {7-8},
pages = {765--768},
year = {2008},
url = {https://doi.org/10.1007/s00153-008-0106-2},
doi = {10.1007/S00153-008-0106-2},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Sargsyan08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Schlindwein08,
author = {Chaz Schlindwein},
title = {Shelah's work on non-semi-proper iterations, {I}},
journal = {Arch. Math. Log.},
volume = {47},
number = {6},
pages = {579--606},
year = {2008},
url = {https://doi.org/10.1007/s00153-008-0099-x},
doi = {10.1007/S00153-008-0099-X},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Schlindwein08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Simmons08,
author = {Harold Simmons},
title = {Fruitful and helpful ordinal functions},
journal = {Arch. Math. Log.},
volume = {47},
number = {7-8},
pages = {677--709},
year = {2008},
url = {https://doi.org/10.1007/s00153-008-0102-6},
doi = {10.1007/S00153-008-0102-6},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Simmons08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Spada08,
author = {Luca Spada},
title = {LPi logic with fixed points},
journal = {Arch. Math. Log.},
volume = {47},
number = {7-8},
pages = {741--763},
year = {2008},
url = {https://doi.org/10.1007/s00153-008-0105-3},
doi = {10.1007/S00153-008-0105-3},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Spada08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Varela08,
author = {J. Patricio D{\'{\i}}az Varela},
title = {Free Lukasiewicz implication algebras},
journal = {Arch. Math. Log.},
volume = {47},
number = {1},
pages = {25--33},
year = {2008},
url = {https://doi.org/10.1007/s00153-008-0067-5},
doi = {10.1007/S00153-008-0067-5},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Varela08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Visser08,
author = {Albert Visser},
title = {Pairs, sets and sequences in first-order theories},
journal = {Arch. Math. Log.},
volume = {47},
number = {4},
pages = {299--326},
year = {2008},
url = {https://doi.org/10.1007/s00153-008-0087-1},
doi = {10.1007/S00153-008-0087-1},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Visser08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/WangC08,
author = {San{-}Min Wang and
Petr Cintula},
title = {Logics with disjunction and proof by cases},
journal = {Arch. Math. Log.},
volume = {47},
number = {5},
pages = {435--446},
year = {2008},
url = {https://doi.org/10.1007/s00153-008-0088-0},
doi = {10.1007/S00153-008-0088-0},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/WangC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Yorioka08,
author = {Teruyuki Yorioka},
title = {Some weak fragments of Martin's axiom related to the rectangle refining
property},
journal = {Arch. Math. Log.},
volume = {47},
number = {1},
pages = {79--90},
year = {2008},
url = {https://doi.org/10.1007/s00153-008-0075-5},
doi = {10.1007/S00153-008-0075-5},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Yorioka08.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-06-14 21:02 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:
