Search dblp for Publications

export results for "toc:db/journals/aml/aml32.bht:"

 download as .bib file

@article{DBLP:journals/aml/Beklemishev93,
  author       = {Lev D. Beklemishev},
  title        = {On the complexity of arithmetical interpretations of modal formulae},
  journal      = {Arch. Math. Log.},
  volume       = {32},
  number       = {3},
  pages        = {229--238},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF01375554},
  doi          = {10.1007/BF01375554},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Beklemishev93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Georgieva93,
  author       = {Nadejda Georgieva},
  title        = {Spaces with combinators},
  journal      = {Arch. Math. Log.},
  volume       = {32},
  number       = {5},
  pages        = {321--339},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF01409966},
  doi          = {10.1007/BF01409966},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Georgieva93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/GoldsternS93,
  author       = {Martin Goldstern and
                  Saharon Shelah},
  title        = {Many simple cardinal invariants},
  journal      = {Arch. Math. Log.},
  volume       = {32},
  number       = {3},
  pages        = {203--221},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF01375552},
  doi          = {10.1007/BF01375552},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/GoldsternS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/GrunenwaldH93,
  author       = {Claus Gr{\"{u}}nenwald and
                  Frieder Haug},
  title        = {On stable torsion-free nilpotent groups},
  journal      = {Arch. Math. Log.},
  volume       = {32},
  number       = {6},
  pages        = {451--462},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF01270468},
  doi          = {10.1007/BF01270468},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/GrunenwaldH93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Hirst93,
  author       = {Jeffry L. Hirst},
  title        = {Embeddings of countable closed sets and reverse mathematics},
  journal      = {Arch. Math. Log.},
  volume       = {32},
  number       = {6},
  pages        = {443--449},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF01270467},
  doi          = {10.1007/BF01270467},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Hirst93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Jin93,
  author       = {Renling Jin},
  title        = {The differences between Kurepa trees and Jech-Kunen trees},
  journal      = {Arch. Math. Log.},
  volume       = {32},
  number       = {5},
  pages        = {369--379},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF01409969},
  doi          = {10.1007/BF01409969},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Jin93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/KojmanS93,
  author       = {Menachem Kojman and
                  Saharon Shelah},
  title        = {{\(\mu\)}-complete Souslin trees on {\(\mu\)}\({}^{\mbox{+}}\)},
  journal      = {Arch. Math. Log.},
  volume       = {32},
  number       = {3},
  pages        = {195--201},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF01375551},
  doi          = {10.1007/BF01375551},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/KojmanS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Loveys93,
  author       = {James Loveys},
  title        = {On locally modular, weakly minimal theories},
  journal      = {Arch. Math. Log.},
  volume       = {32},
  number       = {3},
  pages        = {173--194},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF01375550},
  doi          = {10.1007/BF01375550},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Loveys93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Matet93,
  author       = {Pierre Matet},
  title        = {Happy families and completely Ramsey sets},
  journal      = {Arch. Math. Log.},
  volume       = {32},
  number       = {3},
  pages        = {151--171},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF01375549},
  doi          = {10.1007/BF01375549},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Matet93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Michel93,
  author       = {Pascal Michel},
  title        = {Busy beaver competition and Collatz-like problems},
  journal      = {Arch. Math. Log.},
  volume       = {32},
  number       = {5},
  pages        = {351--367},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF01409968},
  doi          = {10.1007/BF01409968},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Michel93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Niggl93,
  author       = {Karl{-}Heinz Niggl},
  title        = {Subrecursive hierarchies on Scott domains},
  journal      = {Arch. Math. Log.},
  volume       = {32},
  number       = {4},
  pages        = {239--257},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF01387405},
  doi          = {10.1007/BF01387405},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Niggl93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Schlindwein93,
  author       = {Chaz Schlindwein},
  title        = {Simplified {RCS} iterations},
  journal      = {Arch. Math. Log.},
  volume       = {32},
  number       = {5},
  pages        = {341--349},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF01409967},
  doi          = {10.1007/BF01409967},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Schlindwein93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Schmerl93,
  author       = {James H. Schmerl},
  title        = {A weakly definable type which is not definable},
  journal      = {Arch. Math. Log.},
  volume       = {32},
  number       = {6},
  pages        = {463--468},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF01270469},
  doi          = {10.1007/BF01270469},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Schmerl93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Shelah93,
  author       = {Saharon Shelah},
  title        = {More on cardinal arithmetic},
  journal      = {Arch. Math. Log.},
  volume       = {32},
  number       = {6},
  pages        = {399--428},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF01270465},
  doi          = {10.1007/BF01270465},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Shelah93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/ShelahS93,
  author       = {Saharon Shelah and
                  Juris Steprans},
  title        = {Maximal chains in\({}^{\mbox{{\(\omega\)}}}\){\(\omega\)} and ultrapowers
                  of the integers},
  journal      = {Arch. Math. Log.},
  volume       = {32},
  number       = {5},
  pages        = {305--319},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF01409965},
  doi          = {10.1007/BF01409965},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/ShelahS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Sochor93,
  author       = {Anton{\'{\i}}n Sochor},
  title        = {Constructibility in higher order arithmetics},
  journal      = {Arch. Math. Log.},
  volume       = {32},
  number       = {6},
  pages        = {381--389},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF01270463},
  doi          = {10.1007/BF01270463},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Sochor93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Sochor93a,
  author       = {Anton{\'{\i}}n Sochor},
  title        = {Interpretations of the alternative set theory},
  journal      = {Arch. Math. Log.},
  volume       = {32},
  number       = {6},
  pages        = {391--398},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF01270464},
  doi          = {10.1007/BF01270464},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Sochor93a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Sun93,
  author       = {Wenzhi Sun},
  title        = {Stationary Cardinals},
  journal      = {Arch. Math. Log.},
  volume       = {32},
  number       = {6},
  pages        = {429--442},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF01270466},
  doi          = {10.1007/BF01270466},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Sun93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Visser93,
  author       = {Albert Visser},
  title        = {The unprovability of small inconsistency - {A} study of local and
                  global interpretability},
  journal      = {Arch. Math. Log.},
  volume       = {32},
  number       = {4},
  pages        = {275--298},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF01387407},
  doi          = {10.1007/BF01387407},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Visser93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Wagner93,
  author       = {Frank O. Wagner},
  title        = {Commutator conditions and splitting automorphisms for stable groups},
  journal      = {Arch. Math. Log.},
  volume       = {32},
  number       = {3},
  pages        = {223--228},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF01375553},
  doi          = {10.1007/BF01375553},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Wagner93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Yuasa93,
  author       = {Yoshifumi Yuasa},
  title        = {Adding a Cohen real adds an entangled linear order},
  journal      = {Arch. Math. Log.},
  volume       = {32},
  number       = {4},
  pages        = {299--304},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF01387408},
  doi          = {10.1007/BF01387408},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Yuasa93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Zivaljevic93,
  author       = {Bosko Zivaljevic},
  title        = {Graphs with {\(\prod\)}\({}_{\mbox{1}}\)\({}^{\mbox{0}}\)(\emph{K})\emph{Y}-sections},
  journal      = {Arch. Math. Log.},
  volume       = {32},
  number       = {4},
  pages        = {259--273},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF01387406},
  doi          = {10.1007/BF01387406},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Zivaljevic93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Ambos-SpiesN92,
  author       = {Klaus Ambos{-}Spies and
                  Andr{\'{e}} Nies},
  title        = {Cappable recursively enumerable degrees and Post's program},
  journal      = {Arch. Math. Log.},
  volume       = {32},
  number       = {1},
  pages        = {51--56},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF01270394},
  doi          = {10.1007/BF01270394},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Ambos-SpiesN92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Ding92,
  author       = {Decheng Ding},
  title        = {The distribution of the generic recursively enumerable degrees},
  journal      = {Arch. Math. Log.},
  volume       = {32},
  number       = {2},
  pages        = {113--135},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF01269953},
  doi          = {10.1007/BF01269953},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Ding92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/DowS92,
  author       = {Alan Dow and
                  Juris Steprans},
  title        = {Countable Fr{\'{e}}chet\emph{{\(\alpha\)}}\({}_{\mbox{1}}\)-spaces
                  may be first countable},
  journal      = {Arch. Math. Log.},
  volume       = {32},
  number       = {1},
  pages        = {33--50},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF01270393},
  doi          = {10.1007/BF01270393},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aml/DowS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/HajekM92,
  author       = {Petr H{\'{a}}jek and
                  Franco Montagna},
  title        = {The logic of\emph{II}\({}_{\mbox{1}}\)-conservativity continued},
  journal      = {Arch. Math. Log.},
  volume       = {32},
  number       = {1},
  pages        = {57--63},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF01270395},
  doi          = {10.1007/BF01270395},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/HajekM92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Judah92,
  author       = {Haim Judah},
  title        = {Exact equiconsistency results for {\(\Delta\)}\({}_{\mbox{3}}\)\({}^{\mbox{1}}\)-sets
                  of reals},
  journal      = {Arch. Math. Log.},
  volume       = {32},
  number       = {2},
  pages        = {101--112},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF01269952},
  doi          = {10.1007/BF01269952},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Judah92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/KossakP92,
  author       = {Roman Kossak and
                  Jeffrey B. Paris},
  title        = {Subsets of models of arithmetic},
  journal      = {Arch. Math. Log.},
  volume       = {32},
  number       = {1},
  pages        = {65--73},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF01270396},
  doi          = {10.1007/BF01270396},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/KossakP92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Palmgren92,
  author       = {Erik Palmgren},
  title        = {Type-theoretic interpretation of iterated, strictly positive inductive
                  definitions},
  journal      = {Arch. Math. Log.},
  volume       = {32},
  number       = {2},
  pages        = {75--99},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF01269951},
  doi          = {10.1007/BF01269951},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Palmgren92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/Pe92,
  author       = {Joseph L. Pe},
  title        = {Polynomial-time Martin-L{\"{o}}f type theory},
  journal      = {Arch. Math. Log.},
  volume       = {32},
  number       = {2},
  pages        = {137--150},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF01269954},
  doi          = {10.1007/BF01269954},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Pe92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aml/TakeutiT92,
  author       = {Gaisi Takeuti and
                  Satoko Titani},
  title        = {Fuzzy logic and fuzzy set theory},
  journal      = {Arch. Math. Log.},
  volume       = {32},
  number       = {1},
  pages        = {1--32},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF01270392},
  doi          = {10.1007/BF01270392},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/TakeutiT92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.