External Links

    Journal: Math. Log. Q.

    Volume 49, Issue 6

    543 -- 549Makoto Takahashi, Yasuo Yoshinobu. pi-short Boolean algebras
    550 -- 552Luminita Vîta. On proximal convergence in uniform spaces
    553 -- 566Dengfeng Li, Angsheng Li. A minimal pair joining to a plus cupping Turing degree
    567 -- 575Valeriy Bulitko, Vadim Bulitko. On existence of complete sets for bounded reducibilities
    576 -- 578Tapani Hyttinen. Finiteness of U-rank implies simplicity in homogeneous structures
    579 -- 586Kosta Dosen, Zoran Petric. A Brauerian representation of split preorders
    587 -- 597Arthur W. Apter. Failures of GCH and the level by level equivalence between strong compactness and supercompactness
    598 -- 602Kam-Chau Wong. A fixed point theorem for o-minimal structures
    603 -- 614Walker M. White. On the complexity of categoricity in computable structures
    615 -- 628Pierre Matet. A partition property of a mixed type for P::kappa::(lambda)
    629 -- 641Franco Montagna, Lorenzo Sacchetti. Kripke-style semantics for many-valued logics

    Volume 49, Issue 5

    435 -- 443Jan von Plato. Translations from natural deduction to sequent calculus
    444 -- 454Kyriakos Keremedis, Eleftherios Tachtsis. Choice principles for special subsets of the real line
    455 -- 466Omar de la Cruz, Eric J. Hall, Paul E. Howard, Kyriakos Keremedis, Jean E. Rubin. Metric spaces and the axiom of choice
    467 -- 474Wojciech Buszkowski. Sequent systems for compact bilinear logic
    475 -- 478Enrique Casanovas. Some remarks on indiscernible sequences
    479 -- 484Seyed Mohammad Bagheri, Morteza Moniri. Some results on Kripke models over an arbitrary fixed frame
    485 -- 510Manuel Lerman, Richard Watnick. Computable choice functions for computable linear orderings
    511 -- 518Michael Rathjen, Robert S. Lubarsky. On the regular extension axiom and its variants
    519 -- 524Norihiro Kamide. A note on dual-intuitionistic logic
    525 -- 535Katsumasa Ishii. New sequent calculi for Visser s Formal Propositional Logic
    536 -- 540Joel David Hamkins, Philip D. Welch. P:::f::: != NP:::f::: for almost all f

    Volume 49, Issue 4

    327 -- 335Stephen Binns. A splitting theorem for the Medvedev and Muchnik lattices
    336 -- 346Francisco M. García Olmedo, Antonio J. Rodríguez Salas. Negation and BCK-algebras
    347 -- 352George Voutsadakis. Categorical abstract algebraic logic: The criterion for deductive equivalence
    353 -- 362Matthias Galota, Sven Kosub, Heribert Vollmer. Generic separations and leaf languages
    363 -- 368Masahiko Murakami, Akito Tsuboi. Expanding the additive reduct of a model of Peano arithmetic
    369 -- 374Kyriakos Kermedis. Some weak forms of the Baire category theorem
    375 -- 384Arthur W. Apter. Characterizing strong compactness via strongness
    385 -- 392Troy Lee. Arithmetical definability over finite structures
    394 -- 400Stefano Leonesi, Carlo Toffalori. omega-categorical weakly o-minimal expansions of Boolean lattices
    401 -- 414Ryo Kashima. On semilattice relevant logics
    415 -- 424Zoran Markovic, Zoran Ognjanovic, Miodrag Raskovic. A probabilistic extension of intuitionistic logic
    425 -- 427Morteza Moniri. On two questions about feasibly constructive arithmetic
    428 -- 432Armin Hemmerling. The discrete parts of approximately decidable sets in Euclidean spaces

    Volume 49, Issue 3

    219 -- 229Timothy McNicholl. Effective embeddings into strong degree structures
    230 -- 249Rosalie Iemhoff. Preservativity logic: An analogue of interpretability logic for constructive theories
    250 -- 254Morteza Moniri. Independence results for weak systems of intuitionistic arithmetic
    255 -- 259Luminita Vîta. Proximal and uniform convergence on apartness spaces
    260 -- 276Regina Aragón. Some Boolean algebras with finitely many distinguished ideals II
    284 -- 292Athanossios Tzouvaras. Positive set-operators of low complexity
    293 -- 298Gonçalo Gutierres. Sequential topological conditions in in the absence of the axiom of choice
    299 -- 304Vladimir Kanovei, Michael Reeken. A theorem on ROD-hypersmooth equivalence relations in the Solovay model
    305 -- 315Satoru Yoshida. The Banach-Steinhaus theorem for the space D(R) in constructive analysis
    316 -- 322Saeed Salehi. Provably total functions of Basic Arithmetic
    323 -- 324Horst Herrlich. The axiom of choice holds iff maximal closed filters exist

    Volume 49, Issue 2

    111 -- 114Andreas Blass, Victor Pambuccian. Sperner spaces and first-order logic
    115 -- 128Rami P. Grossberg, Alexei Kolesnikov, Ivan Tomasic, Monica Van Dieren. The equality S1 = D = R
    129 -- 149Wolfram Menzel, Frank Stephan. Topological aspects of numberings
    150 -- 162Stefano Baratella, Siu-Ah Ng. Consequences of neocompact quantifier elimination
    163 -- 172George Barmpalias. A transfinite hierarchy of reals
    173 -- 178Lorenz Halbeisen. Making doughnuts of Cohen reals
    179 -- 186Kyriakos Keremedis. The failure of the axiom of choice implies unrest in the theory of Lindelöf metric spaces
    187 -- 200Nitta Takashi, Okada Tomoko, Athanassios Tzouvaras. Classification of non-well-founded sets and an application
    201 -- 209Norihiro Kamide. Classical linear logics with mix separation principle
    210 -- 213Mihai Prunescu. P != NP for all infinite Boolean algebras
    214 -- 216Katsumasa Ishii. A note on the first incompleteness theorem

    Volume 49, Issue 1

    3 -- 21Klaus Weihrauch. Computational complexity on computable metric spaces
    22 -- 33Douglas A. Cenzer, Jeffrey B. Remmel. Index sets for omega-languages
    34 -- 56Armin Hemmerling. Approximate decidability in euclidean spaces
    57 -- 71Omar de la Cruz, Eric J. Hall, Paul E. Howard, Kyriakos Keremedis, Jean E. Rubin. Products of compact spaces and the axiom of choice II
    72 -- 82Jafar S. Eivazloo, Mojtaba Moniri. Expansions of ordered fields without definable gaps
    83 -- 86Dev Kumar Roy. The shortest definition of a number in Peano arithmetic
    87 -- 91Seyed Mohammad Bagheri. On translations of complete first order theories
    92 -- 96George Weaver, Benjamin George. The Fraenkel-Carnap question for Dedekind algebras
    97 -- 100Olivier Esser. On the axiom of extensionality in the positive set theory
    101 -- 108Teresa Bigorajska. Strongly maximal subgroups determined by elements in interstices
    runs on