Mathematical Logic Quarterly

Article	Citations
Singly generated quasivarieties and residuated structures	7
Extremal numberings and fixed point theorems	7
On universal modules with pure embeddings	7
Modal completeness of sublogics of the interpretability logic IL	7
König's lemma, weak König's lemma, and the decidable fan theorem	5
Word problems and ceers	4
A note on ordinal exponentiation and derivatives of normal functions	4
Russell's typicality as another randomness notion	3
The finite subsets and the permutations with finitely many non‐fixed points of a set	3
A note on fsg$\text{fsg}$ groups in p‐adically closed fields	3
Stability, the NIP, and the NSOP: model theoretic properties of formulas via topological properties of function spaces	3
What is effective transfinite recursion in reverse mathematics?	3
Generic expansion of an abelian variety by a subgroup	2
A note on the finitization of Abelian and Tauberian theorems	2
Weakly binary expansions of dense meet‐trees	2
Strongly NIP almost real closed fields	2
More about divisibility in βN	2
Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem	2
Axiomatizing first order consequences in inclusion logic	2
Meeting numbers and pseudopowers	2
Bisimulations and bisimulation games between Verbrugge models	2
Tameness of definably complete locally o‐minimal structures and definable bounded multiplication	2
The choice property in tame expansions of o‐minimal structures	2
The profinite topology of free groups and weakly generic tuples of automorphisms	1
Some basic thoughts on the cofinalities of Chang structures with an application to forcing	1

Examples of weak amalgamation classes	1
Logics of upsets of De Morgan lattices	1
MA(ℵ0) restricted to complete Boolean algebras and choice	1
Refining the arithmetical hierarchy of classical principles	1
Spherically complete models of Hensel minimal valued fields	1
The Cichoń diagram for degrees of relative constructibility	1
Forcing axioms for λ‐complete μ+$\mu ^+$‐c.c.	1
Cover Picture	1
A fixed point theory over stratified truth	1
On the logic of distributive nearlattices	1
Pathological examples of structures with o‐minimal open core	1
More on trees and Cohen reals	1
Turing invariant sets and the perfect set property	1
Surjectively rigid chains	1
Cofinal types on ω2	1
A note on chain‐based semi‐Heyting algebras	1
Bounding 2d functions by products of 1d functions	1
Quantum B‐modules	1
ℵ0‐categorical Banach spaces contain ℓp or c0	1
The algebraic significance of weak excluded middle laws	1
The Suszko operator relative to truth‐equational logics	1
Independent families of functions and permutations	1
The classification of countable models of set theory	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
Determinacy and regularity properties for idealized forcings	1
	0
Sequential topologies and Dedekind finite sets	0
Nonstandard methods for finite structures	0
Cover Picture	0
Contents: (Math. Log. Quart. 3/2021)	0
	0
Cover Picture	0
	0
A game‐theoretic proof of Shelah's theorem on labeled trees	0
Uniformly locally o‐minimal open core	0
	0
Encoding true second‐order arithmetic in the real‐algebraic structure of models of intuitionistic elementary analysis	0
Remarks on infinite factorials and cardinal subtraction in ZF$\mathsf{ZF}$	0
Cover Picture	0
Orders on computable rings	0
Contents: (Math. Log. Quart. 2/2021)	0
Bowtie‐free graphs and generic automorphisms	0
On splitting trees	0
On height of group trees on tame abelian product groups	0
Cover Picture	0
Decidable variables for constructive logics	0
	0
Issue Information	0

Cover Picture	0
Cover Picture	0
A dichotomy for T‐convex fields with a monomial group	0
A classification of low c.e. sets and the Ershov hierarchy	0
Strategic equivalence among hat puzzles of various protocols with many colors	0
Avoiding Medvedev reductions inside a linear order	0
Cover Picture	0
Rogers semilattices of limitwise monotonic numberings	0
Special subsets of the generalized Cantor space and generalized Baire space	0
Infinitary logic with infinite sequents: syntactic investigations	0
Strong Ambiguity	0
Choiceless large cardinals and set‐theoretic potentialism	0
Existential definability of modal frame classes	0
	0
Nice ℵ1 generated non‐P‐points, Part I	0
The subset relation and 2‐stratified sentences in set theory and class theory	0
Theory and application of labelling techniques for interpretability logics	0
Continuous theory of operator expansions of finite dimensional Hilbert spaces and decidability	0
Product cones in dense pairs	0
Approximate isomorphism of metric structures	0
Gap‐2 morass‐definable η1‐orderings	0
	0
On Hausdorff operators in ZF$\mathsf {ZF}$	0
A note on edge colorings and trees	0
Intuitionistic propositional probability logic	0
On the algebraization of Henkin‐type second‐order logic	0
Contents: (Math. Log. Quart. 3/2022)	0
Contents: (Math. Log. Quart. 3/2020)	0
	0
	0
Varieties of pseudocomplemented Kleene algebras	0
Issue Information	0
Automorphism invariant measures and weakly generic automorphisms	0
On a strengthening of Jónssonness for ℵω	0
Some model theory of Th(N,·)$\operatorname{Th}(\mathbb {N},\cdot )$	0
On the completeness and the decidability of strictly monadic second‐order logic	0
Controlling the number of normal measures at successor cardinals	0
Issue Information	0
Issue Information	0
Strongly unfoldable, splitting and bounding	0
Editorial correction for A. Tzouvaras, “Russell's typicality as another randomness notion”	0
Evolving Shelah‐Spencer graphs	0
Contents: (Math. Log. Quart. 4/2020)	0
A class of higher inductive types in Zermelo‐Fraenkel set theory	0
Issue Information	0
	0
Weakly and locally positive Robinson theories	0
	0
Incomparable Vγ$V_\gamma$‐degrees	0
The isomorphism theorem for linear fragments of continuous logic	0
Bounded finite set theory	0
Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$	0
On a cardinal inequality in ZF$\mathsf {ZF}$	0
	0
A categorical equivalence between logical quantale modules and quantum B‐modules	0
Interpreting the weak monadic second order theory of the ordered rationals	0
A proof‐theoretic metatheorem for tracial von Neumann algebras	0
Normalizing notations in the Ershov hierarchy	0
Contents: (Math. Log. Quart. 2/2023)	0
Choice principles in local mantles	0
Topological properties of definable sets in ordered Abelian groups of burden 2	0
Contents: (Math. Log. Quart. 4/2022)	0
Some definable types that cannot be amalgamated	0
Piece selection and cardinal arithmetic	0
Remarks on Gitik's model and symmetric extensions on products of the Lévy collapse	0
Contents: (Math. Log. Quart. 1/2023)	0
Issue Information	0
Issue Information	0
On bQ1$bQ_1$‐degrees of c.e. sets	0
Issue Information	0
Contents: (Math. Log. Quart. 2/2020)	0
Borel complexity and Ramsey largeness of sets of oracles separating complexity classes	0
Contents: (Math. Log. Quart. 2/2022)	0
Issue Information	0
Contents: (Math. Log. Quart. 3/2023)	0
An extension of Jónsson‐Tarski representation and model existence in predicate non‐normal modal logics	0
On the effective universality of mereological theories	0
Some structural similarities between uncountable sets, powersets and the universe	0
Issue Information	0
Cover Picture	0

Cover Picture	0
Issue Information	0
Atomic saturation of reduced powers	0
Algebraic completion without the axiom of choice	0
First‐order undefinability of the notion of transfinitely uplifting cardinals	0
The persistence principle over weak interpretability logic	0
Bernoulli randomness and Bernoulli normality	0
An effectively closed set with no join property*	0
κ‐Madness and definability	0
	0
Effective aspects of Jacobson radicals of rings	0
Issue Information	0
A property of forcing notions and preservation of cardinal invariants	0
	0
Topological duality for orthomodular lattices	0
Cover Picture	0
Mycielski among trees	0
Contents: (Math. Log. Quart. 1/2021)	0
On the variety of strong subresiduated lattices	0
Agreement reducibility	0
r‐Maximal sets and Q1,N‐reducibility	0
Unbounded actions of metric groups and continuous logic	0
Omitting types algebraically and more about amalgamation for modal cylindric algebras	0
The permutations with n non‐fixed points and the subsets with n elements of a set	0
On the dependent product in toposes	0
When cardinals determine the power set: inner models and Härtig quantifier logic	0
	0
On self‐distributive weak Heyting algebras	0
Issue Information	0
Issue Information	0
Cut‐conditions on sets of multiple‐alternative inferences	0
Decomposition into special submanifolds	0
Cover Picture	0
Models of VTC0$\mathsf {VTC^0}$ as exponential integer parts	0
The cofinality of the strong measure zero ideal for κ inaccessible	0
The power set and the set of permutations with finitely many non‐fixed points of a set	0
	0
A note on the non‐forking‐instances topology	0
Contents: (Math. Log. Quart. 1/2022)	0
Forcing revisited	0
Pregeometry over locally o‐minimal structures and dimension	0
The Hanf number in the strictly stable case	0
Contents: (Math. Log. Quart. 4/2023)	0
Cover Picture	0
Issue Information	0
Cover Picture	0
The theory of hereditarily bounded sets	0
Cover Picture	0
Contents: (Math. Log. Quart. 4/2021)	0
Expansions of Presburger arithmetic with the exchange property	0
When is a real generic over L?	0
CP‐generic expansions of models of Peano Arithmetic	0