Mathematical Logic Quarterly

Papers
(The TQCC of Mathematical Logic Quarterly is 0. The table below lists those papers that are above that threshold based on CrossRef citation counts [max. 250 papers]. The publications cover those that have been published in the past four years, i.e., from 2021-05-01 to 2025-05-01.)
ArticleCitations
When is a real generic over L?12
Cover Picture8
The permutations with n non‐fixed points and the subsets with n elements of a set5
Topological duality for orthomodular lattices4
Cover Picture4
3
The theory of hereditarily bounded sets3
Strong Ambiguity3
Infinite Wordle and the mastermind numbers3
Contents: (Math. Log. Quart. 2/2023)2
On height of group trees on tame abelian product groups2
Bernoulli randomness and Bernoulli normality2
Issue Information2
Infinitary logic with infinite sequents: syntactic investigations2
Rogers semilattices of limitwise monotonic numberings2
On self‐distributive weak Heyting algebras2
Normalizing notations in the Ershov hierarchy2
A dichotomy for T$T$‐convex fields with a monomial group2
Contents: (Math. Log. Quart. 1/2022)1
Choiceless large cardinals and set‐theoretic potentialism1
Contents: (Math. Log. Quart. 2/2021)1
Some structural similarities between uncountable sets, powersets and the universe1
A property of forcing notions and preservation of cardinal invariants1
Strongly unfoldable, splitting and bounding1
A note on the cardinality of definable families of sets in o‐minimal structures1
Choice principles in local mantles1
Cover Picture1
Piece selection and cardinal arithmetic1
An extension of Jónsson‐Tarski representation and model existence in predicate non‐normal modal logics1
Cover Picture1
A weak theory of building blocks1
Theory and application of labelling techniques for interpretability logics1
A generalisation of Läuchli's lemma1
Forcing axioms for λ‐complete μ+$\mu ^+$‐c.c. 1
A classification of low c.e. sets and the Ershov hierarchy1
Gap‐2 morass‐definable η1‐orderings1
Extremal numberings and fixed point theorems1
Incomparable Vγ$V_\gamma$‐degrees1
Issue Information1
Good points for scales (and more)1
The profinite topology of free groups and weakly generic tuples of automorphisms1
The power set and the set of permutations with finitely many non‐fixed points of a set0
Tameness of definably complete locally o‐minimal structures and definable bounded multiplication0
Implications of Ramsey Choice principles in ZF$\mathsf {ZF}$0
Bisimulations and bisimulation games between Verbrugge models0
0
0
Bounded finite set theory0
Avoiding Medvedev reductions inside a linear order0
Filter‐Menger set of reals in Cohen extensions0
0
Issue Information0
König's lemma, weak König's lemma, and the decidable fan theorem0
The subset relation and 2‐stratified sentences in set theory and class theory0
Spherically complete models of Hensel minimal valued fields0
An effectively closed set with no join property*0
On dense, locally finite subgroups of the automorphism group of certain homogeneous structures0
Models of VTC0$\mathsf {VTC^0}$ as exponential integer parts0
Algebraic completion without the axiom of choice0
Interpreting the weak monadic second order theory of the ordered rationals0
Editorial correction for L. Halbeisen, R. Plati, and Saharon Shelah, “Implications of Ramsey Choice principles in ZF$\mathsf {ZF}$”, https://doi.org/10.1002/malq.2023000240
A class of higher inductive types in Zermelo‐Fraenkel set theory0
Examples of weak amalgamation classes0
MA(ℵ0) restricted to complete Boolean algebras and choice0
The persistence principle over weak interpretability logic0
Bounding 2d functions by products of 1d functions0
Issue Information0
Nice ℵ1 generated non‐P‐points, Part I0
The cofinality of the strong measure zero ideal for κ inaccessible0
Weakly and locally positive Robinson theories0
On the algebraization of Henkin‐type second‐order logic0
Contents: (Math. Log. Quart. 1/2024)0
Pregeometry over locally o‐minimal structures and dimension0
Forcing revisited0
0
Cofinal types on ω20
Pathological examples of structures with o‐minimal open core0
Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$0
Product cones in dense pairs0
Cover Picture0
Borel complexity and Ramsey largeness of sets of oracles separating complexity classes0
Issue Information0
Contents: (Math. Log. Quart. 1/2023)0
Refining the arithmetical hierarchy of classical principles0
Cover Picture0
0
On a cardinal inequality in ZF$\mathsf {ZF}$0
Issue Information0
Perfectly normal nonrealcompact spaces under Martin's Maximum0
0
Wadge degrees of Δ20$\mathbf{\Delta }^0_2$ omega‐powers0
Issue Information0
Expansions of Presburger arithmetic with the exchange property0
Adding a constant and an axiom to a doctrine0
Sequential topologies and Dedekind finite sets0
On the effective universality of mereological theories0
0
The Suszko operator relative to truth‐equational logics0
Random graph coloring and the instability0
Hilbert's tenth problem for lacunary entire functions of finite order0
Effectiveness of Walker's cancellation theorem0
Apartness relations between propositions0
Determinacy and regularity properties for idealized forcings0
The algebraic significance of weak excluded middle laws0
κ‐Madness and definability0
A note on fsg$\text{fsg}$ groups in p‐adically closed fields0
Weakly binary expansions of dense meet‐trees0
The finite subsets and the permutations with finitely many non‐fixed points of a set0
Decomposition into special submanifolds0
0
Limit models in strictly stable abstract elementary classes0
Issue Information0
0
Expansions of real closed fields with the Banach fixed point property0
0
Issue Information0
0
Topological properties of definable sets in ordered Abelian groups of burden 20
Decidable quasivarieties of p‐algebras0
On splitting trees0
Intuitionistic propositional probability logic0
Issue Information0
Contents: (Math. Log. Quart. 3/2023)0
A categorical equivalence between logical quantale modules and quantum B‐modules0
Logics of upsets of De Morgan lattices0
r‐Maximal sets and Q1,N‐reducibility0
0
Controlling the number of normal measures at successor cardinals0
On Hausdorff operators in ZF$\mathsf {ZF}$0
Uniformly locally o‐minimal open core0
Approximate isomorphism of metric structures0
Cover Picture0
On the variety of strong subresiduated lattices0
On the logic of distributive nearlattices0
Paradoxical decompositions of free F2$F_2$‐sets and the Hahn‐Banach axiom0
0‐categorical Banach spaces contain ℓp or c00
Contents: (Math. Log. Quart. 4/2023)0
Issue Information0
The Hartogs–Lindenbaum spectrum of symmetric extensions0
0
Generic expansion of an abelian variety by a subgroup0
A proof‐theoretic metatheorem for tracial von Neumann algebras0
Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem0
Compactness in team semantics0
Cover Picture0
When cardinals determine the power set: inner models and Härtig quantifier logic0
Formal model theory and higher topology0
Division of Logic, Methodology and Philosophy of Science and Technology of the International Union of History and Philosophy of Science and Technology Bulletin no. 240
Issue Information0
Contents: (Math. Log. Quart. 4/2021)0
Issue Information0
Contents: (Math. Log. Quart. 2/2022)0
Adding highly generic subsets of ω2$\omega _2$0
Unbounded actions of metric groups and continuous logic0
Issue Information0
Some basic thoughts on the cofinalities of Chang structures with an application to forcing0
0
Remarks on infinite factorials and cardinal subtraction in ZF$\mathsf{ZF}$0
Contents: (Math. Log. Quart. 4/2022)0
Some definable types that cannot be amalgamated0
Some model theory of Th(N,·)$\operatorname{Th}(\mathbb {N},\cdot )$0
CP‐generic expansions of models of Peano Arithmetic0
0
Cut‐conditions on sets of multiple‐alternative inferences0
Cover Picture0
A note on edge colorings and trees0
The set of injections and the set of surjections on a set0
A note on an alternative Gentzenization of RW+∘0
Extensions of definable local homomorphisms in o‐minimal structures and semialgebraic groups0
On the implicative‐infimum subreducts of weak Heyting algebras0
Automorphism invariant measures and weakly generic automorphisms0
Encoding true second‐order arithmetic in the real‐algebraic structure of models of intuitionistic elementary analysis0
The isomorphism theorem for linear fragments of continuous logic0
Contents: (Math. Log. Quart. 3/2022)0
Omitting types algebraically and more about amalgamation for modal cylindric algebras0
Quantum B‐modules0
Mycielski among trees0
Issue Information0
Cover Picture0
  0
On collection schemes and Gaifman's splitting theorem0
On bQ1$bQ_1$‐degrees of c.e. sets0
Contents: (Math. Log. Quart. 2/2024)0
Cover Picture0
Contents: (Math. Log. Quart. 3/2021)0
Effective aspects of Jacobson radicals of rings0
On the dependent product in toposes0
Bowtie‐free graphs and generic automorphisms0
Issue Information0
Strongly NIP almost real closed fields0
Modal completeness of sublogics of the interpretability logic IL0
0.10467910766602