Mathematical Logic Quarterly

Article	Citations
Extremal numberings and fixed point theorems	9
Modal completeness of sublogics of the interpretability logic IL	8
On universal modules with pure embeddings	7
König's lemma, weak König's lemma, and the decidable fan theorem	5
Meeting numbers and pseudopowers	5
A note on fsg$\text{fsg}$ groups in p‐adically closed fields	4
The finite subsets and the permutations with finitely many non‐fixed points of a set	4
Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem	3
Bisimulations and bisimulation games between Verbrugge models	3
Weakly binary expansions of dense meet‐trees	3
What is effective transfinite recursion in reverse mathematics?	3
The profinite topology of free groups and weakly generic tuples of automorphisms	2
The algebraic significance of weak excluded middle laws	2
Strongly NIP almost real closed fields	2
Generic expansion of an abelian variety by a subgroup	2
Tameness of definably complete locally o‐minimal structures and definable bounded multiplication	2
ℵ0‐categorical Banach spaces contain ℓp or c0	2
More about divisibility in βN	2
Forcing axioms for λ‐complete μ+$\mu ^+$‐c.c.	1
A proof‐theoretic metatheorem for tracial von Neumann algebras	1
Effective aspects of Jacobson radicals of rings	1
On a cardinal inequality in ZF$\mathsf {ZF}$	1
Pathological examples of structures with o‐minimal open core	1
The power set and the set of permutations with finitely many non‐fixed points of a set	1
Automorphism invariant measures and weakly generic automorphisms	1

A note on an alternative Gentzenization of RW+∘	1
Infinite Wordle and the mastermind numbers	1
Decidable fan theorem and uniform continuity theorem with continuous moduli	1
Bounding 2d functions by products of 1d functions	1
A fixed point theory over stratified truth	1
On the logic of distributive nearlattices	1
Examples of weak amalgamation classes	1
The Suszko operator relative to truth‐equational logics	1
MA(ℵ0) restricted to complete Boolean algebras and choice	1
Refining the arithmetical hierarchy of classical principles	1
Cofinal types on ω2	1
Gap‐2 morass‐definable η1‐orderings	1
Determinacy and regularity properties for idealized forcings	1
Quantum B‐modules	1
Some basic thoughts on the cofinalities of Chang structures with an application to forcing	1
The isomorphism theorem for linear fragments of continuous logic	1
Logics of upsets of De Morgan lattices	1
On self‐distributive weak Heyting algebras	1
Surjectively rigid chains	1
Spherically complete models of Hensel minimal valued fields	1
A note on chain‐based semi‐Heyting algebras	1
Pregeometry over locally o‐minimal structures and dimension	0
Effectiveness of Walker's cancellation theorem	0
Contents: (Math. Log. Quart. 4/2020)	0
Interpreting the weak monadic second order theory of the ordered rationals	0
Algebraic completion without the axiom of choice	0
Issue Information	0
Bernoulli randomness and Bernoulli normality	0
κ‐Madness and definability	0
Contents: (Math. Log. Quart. 4/2022)	0
Wadge degrees of Δ20$\mathbf{\Delta }^0_2$ omega‐powers	0
Issue Information	0
Varieties of pseudocomplemented Kleene algebras	0
	0
Uniformly locally o‐minimal open core	0
Hilbert's tenth problem for lacunary entire functions of finite order	0
	0
Issue Information	0
Contents: (Math. Log. Quart. 3/2022)	0
On the variety of strong subresiduated lattices	0
Division of Logic, Methodology and Philosophy of Science and Technology of the International Union of History and Philosophy of Science and Technology Bulletin no. 24	0
Infinitary logic with infinite sequents: syntactic investigations	0
Cover Picture	0
Cover Picture	0
A generalisation of Läuchli's lemma	0
Some definable types that cannot be amalgamated	0
On dense, locally finite subgroups of the automorphism group of certain homogeneous structures	0
Issue Information	0
Expansions of real closed fields with the Banach fixed point property	0
	0

Unbounded actions of metric groups and continuous logic	0
Choice principles in local mantles	0
	0
Forcing revisited	0
Some structural similarities between uncountable sets, powersets and the universe	0
Piece selection and cardinal arithmetic	0
A dichotomy for T$T$‐convex fields with a monomial group	0
Mycielski among trees	0
Issue Information	0
Cover Picture	0
Models of VTC0$\mathsf {VTC^0}$ as exponential integer parts	0
	0
A classification of low c.e. sets and the Ershov hierarchy	0
Avoiding Medvedev reductions inside a linear order	0
Cover Picture	0
Cover Picture	0
	0
Borel complexity and Ramsey largeness of sets of oracles separating complexity classes	0
The cofinality of the strong measure zero ideal for κ inaccessible	0
A categorical equivalence between logical quantale modules and quantum B‐modules	0
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.202300024	0
Topological duality for orthomodular lattices	0
Atomic saturation of reduced powers	0
Cover Picture	0
Continuous theory of operator expansions of finite dimensional Hilbert spaces and decidability	0
Approximate isomorphism of metric structures	0
Paradoxical decompositions of free F2$F_2$‐sets and the Hahn‐Banach axiom	0
First‐order undefinability of the notion of transfinitely uplifting cardinals	0
Issue Information	0
	0
An effectively closed set with no join property*	0
Strongly unfoldable, splitting and bounding	0
	0
Contents: (Math. Log. Quart. 2/2024)	0
Implications of Ramsey Choice principles in ZF$\mathsf {ZF}$	0
Cover Picture	0
On bQ1$bQ_1$‐degrees of c.e. sets	0
Contents: (Math. Log. Quart. 2/2021)	0
Contents: (Math. Log. Quart. 3/2023)	0
Intuitionistic propositional probability logic	0
Adding highly generic subsets of ω2$\omega _2$	0
Perfectly normal nonrealcompact spaces under Martin's Maximum	0
Issue Information	0
	0
The persistence principle over weak interpretability logic	0
Issue Information	0
A note on the cardinality of definable families of sets in o‐minimal structures	0
	0
A weak theory of building blocks	0
	0
	0
Extensions of definable local homomorphisms in o‐minimal structures and semialgebraic groups	0
Nice ℵ1 generated non‐P‐points, Part I	0
Contents: (Math. Log. Quart. 1/2021)	0
Cover Picture	0
Cover Picture	0
Good points for scales (and more)	0
Product cones in dense pairs	0
CP‐generic expansions of models of Peano Arithmetic	0
Contents: (Math. Log. Quart. 2/2022)	0
Rogers semilattices of limitwise monotonic numberings	0
On height of group trees on tame abelian product groups	0
Contents: (Math. Log. Quart. 1/2024)	0
Omitting types algebraically and more about amalgamation for modal cylindric algebras	0
Remarks on infinite factorials and cardinal subtraction in ZF$\mathsf{ZF}$	0
The permutations with n non‐fixed points and the subsets with n elements of a set	0
Theory and application of labelling techniques for interpretability logics	0
Normalizing notations in the Ershov hierarchy	0
When cardinals determine the power set: inner models and Härtig quantifier logic	0
Contents: (Math. Log. Quart. 2/2023)	0
On splitting trees	0
Bowtie‐free graphs and generic automorphisms	0
Issue Information	0
Issue Information	0
	0
Strong Ambiguity	0
Issue Information	0
Decidable variables for constructive logics	0
Contents: (Math. Log. Quart. 3/2021)	0
Sequential topologies and Dedekind finite sets	0

Issue Information	0
Cover Picture	0
On the completeness and the decidability of strictly monadic second‐order logic	0
Controlling the number of normal measures at successor cardinals	0
Special subsets of the generalized Cantor space and generalized Baire space	0
An extension of Jónsson‐Tarski representation and model existence in predicate non‐normal modal logics	0
Agreement reducibility	0
Issue Information	0
Evolving Shelah‐Spencer graphs	0
Contents: (Math. Log. Quart. 4/2021)	0
On the effective universality of mereological theories	0
Some model theory of Th(N,·)$\operatorname{Th}(\mathbb {N},\cdot )$	0
Cover Picture	0
Weakly and locally positive Robinson theories	0
Issue Information	0
Adding a constant and an axiom to a doctrine	0
Issue Information	0
On the implicative‐infimum subreducts of weak Heyting algebras	0
Contents: (Math. Log. Quart. 1/2022)	0
The subset relation and 2‐stratified sentences in set theory and class theory	0
A property of forcing notions and preservation of cardinal invariants	0
	0
Compactness in team semantics	0
Encoding true second‐order arithmetic in the real‐algebraic structure of models of intuitionistic elementary analysis	0
The Hartogs–Lindenbaum spectrum of symmetric extensions	0
Filter‐Menger set of reals in Cohen extensions	0
Bounded finite set theory	0
When is a real generic over L?	0
The set of injections and the set of surjections on a set	0
Issue Information	0
Cover Picture	0
On the algebraization of Henkin‐type second‐order logic	0
Choiceless large cardinals and set‐theoretic potentialism	0
On the dependent product in toposes	0
Cut‐conditions on sets of multiple‐alternative inferences	0
	0
The theory of hereditarily bounded sets	0
Topological properties of definable sets in ordered Abelian groups of burden 2	0
r‐Maximal sets and Q1,N‐reducibility	0
	0
Formal model theory and higher topology	0
A class of higher inductive types in Zermelo‐Fraenkel set theory	0
Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$	0
Contents: (Math. Log. Quart. 4/2023)	0
A note on edge colorings and trees	0
On Hausdorff operators in ZF$\mathsf {ZF}$	0
Decomposition into special submanifolds	0
Incomparable Vγ$V_\gamma$‐degrees	0
	0
Cover Picture	0
Expansions of Presburger arithmetic with the exchange property	0
Contents: (Math. Log. Quart. 1/2023)	0