Aim & Scope
Mathematical Logic Quarterly (MLQ) "A Journal for Mathematical Logic Foundations of Mathematics and Logical Aspects of Theoretical Computer Science" is an international journal for the publication of original research papers on mathematical logic foundations of mathematics and related areas such as General Logic Model Theory Recursion Theory Set Theory Proof Theory and Constructive Mathematics Algebraic Logic Nonstandard Models and Logical Aspects of Theoretical Computer Science. MLQ is the continuation of the journal "Zeitschrift für Mathematische Logik und Grundlagen der Mathematik" founded in 1954 by Günter Asser and Karl Schröter. Over the years many internationally renowned scientists in the field of mathematical research were and are members of the editorial board their combined efforts are documented in the 44 volumes of the journal comprising more than 1600 original papers by authors from around the world. It is the endeavor of the editorial board that the profile of MLQ reflects the progress in the diverse areas of mathematical logic in a vital manner. [1]
Continuations / Journal History
( 1955 - 1992 ) | Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | ( 1993 - 9999 ) | Mathematical Logic Quarterly (MLQ) |
2024
Extensions of definable local homomorphisms in o‐minimal structures and semialgebraic groups
Mathematical Logic Quarterly (MLQ) , 2024
The Hartogs–Lindenbaum spectrum of symmetric extensions
Mathematical Logic Quarterly (MLQ) , 2024
Expansions of real closed fields with the Banach fixed point property
Mathematical Logic Quarterly (MLQ) , 2024
On the implicative‐infimum subreducts of weak Heyting algebras
Mathematical Logic Quarterly (MLQ) , 2024
Hilbert's tenth problem for lacunary entire functions of finite order
Mathematical Logic Quarterly (MLQ) , 2024
Implications of Ramsey Choice principles in ZF$mathsf {ZF}$
L Halbeisen , R Plati , S Shelah
Mathematical Logic Quarterly (MLQ) , 2024
On dense, locally finite subgroups of the automorphism group of certain homogeneous structures
Mathematical Logic Quarterly (MLQ) , 2024