Mathematical Logic Quarterly

Article	Citations
Modal completeness of sublogics of the interpretability logic IL	7
Singly generated quasivarieties and residuated structures	7
On universal modules with pure embeddings	6
Extremal numberings and fixed point theorems	5
A note on ordinal exponentiation and derivatives of normal functions	4
Word problems and ceers	4
König's lemma, weak König's lemma, and the decidable fan theorem	4
The finite subsets and the permutations with finitely many non‐fixed points of a set	3
Russell's typicality as another randomness notion	3
Computability of graphs	3
What is effective transfinite recursion in reverse mathematics?	3
Stability, the NIP, and the NSOP: model theoretic properties of formulas via topological properties of function spaces	3
Axiomatizing first order consequences in inclusion logic	2
Strongly NIP almost real closed fields	2
Bisimulations and bisimulation games between Verbrugge models	2
Weakly binary expansions of dense meet‐trees	2
A note on the finitization of Abelian and Tauberian theorems	2
A note on fsg$\text{fsg}$ groups in p‐adically closed fields	2
Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem	2
The choice property in tame expansions of o‐minimal structures	2
More about divisibility in βN	2
Tameness of definably complete locally o‐minimal structures and definable bounded multiplication	2
Cover Picture	1
A fixed point theory over stratified truth	1
The algebraic significance of weak excluded middle laws	1

Examples of weak amalgamation classes	1
Meeting numbers and pseudopowers	1
Generic expansion of an abelian variety by a subgroup	1
The classification of countable models of set theory	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
Some basic thoughts on the cofinalities of Chang structures with an application to forcing	1
Logics of upsets of De Morgan lattices	1
Pathological examples of structures with o‐minimal open core	1
MA(ℵ0) restricted to complete Boolean algebras and choice	1
The torsion‐free part of the Ziegler spectrum of orders over Dedekind domains	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
The profinite topology of free groups and weakly generic tuples of automorphisms	1
On the logic of distributive nearlattices	1
Lowness for isomorphism, countable ideals, and computable traceability	1
More on trees and Cohen reals	1
Independent families of functions and permutations	1
Turing invariant sets and the perfect set property	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
Remarks on infinite factorials and cardinal subtraction in ZF$\mathsf{ZF}$	0
Issue Information	0
Issue Information	0
Automorphism invariant measures and weakly generic automorphisms	0
Expansions of the p‐adic numbers that interpret the ring of integers	0
Cover Picture	0
On splitting trees	0
Mycielski among trees	0
Contents: (Math. Log. Quart. 3/2023)	0
Controlling the number of normal measures at successor cardinals	0
First‐order undefinability of the notion of transfinitely uplifting cardinals	0
	0
The Suszko operator relative to truth‐equational logics	0
Issue Information	0
Evolving Shelah‐Spencer graphs	0
	0
	0
An effectively closed set with no join property*	0
Weakly and locally positive Robinson theories	0
Topological duality for orthomodular lattices	0
A dichotomy for T‐convex fields with a monomial group	0

Normalizing notations in the Ershov hierarchy	0
Uniformly locally o‐minimal open core	0
A categorical equivalence between logical quantale modules and quantum B‐modules	0
On the variety of strong subresiduated lattices	0
Rogers semilattices of limitwise monotonic numberings	0
Cut‐conditions on sets of multiple‐alternative inferences	0
Orders on computable rings	0
Contents: (Math. Log. Quart. 2/2023)	0
The permutations with n non‐fixed points and the subsets with n elements of a set	0
Existential definability of modal frame classes	0
The power set and the set of permutations with finitely many non‐fixed points of a set	0
Cover Picture	0
Pregeometry over locally o‐minimal structures and dimension	0
Cover Picture	0
A note on the non‐forking‐instances topology	0
Cover Picture	0
	0
Contents: (Math. Log. Quart. 4/2023)	0
When cardinals determine the power set: inner models and Härtig quantifier logic	0
Forcing revisited	0
CP‐generic expansions of models of Peano Arithmetic	0
The Hanf number in the strictly stable case	0
Cover Picture	0
Issue Information	0
Issue Information	0
Contents: (Math. Log. Quart. 2/2022)	0
Contents: (Math. Log. Quart. 3/2021)	0
The cofinality of the strong measure zero ideal for κ inaccessible	0
Cover Picture	0
Cover Picture	0
Cover Picture	0
Issue Information	0
A game‐theoretic proof of Shelah's theorem on labeled trees	0
Contents: (Math. Log. Quart. 1/2022)	0
Cover Picture	0
Local weak presaturation of the strongly non‐stationary ideal	0
When is a real generic over L?	0
A class of higher inductive types in Zermelo‐Fraenkel set theory	0
Cover Picture	0
Cover Picture	0
Algebraic completion without the axiom of choice	0
Nonstandard methods for finite structures	0
Incomparable Vγ$V_\gamma$‐degrees	0
On height of group trees on tame abelian product groups	0
Contents: (Math. Log. Quart. 4/2021)	0
κ‐Madness and definability	0
Cover Picture	0
r‐Maximal sets and Q1,N‐reducibility	0
	0
	0
Encoding true second‐order arithmetic in the real‐algebraic structure of models of intuitionistic elementary analysis	0
On a cardinal inequality in ZF$\mathsf {ZF}$	0
	0
On the Herbrand functional interpretation	0
Omitting types algebraically and more about amalgamation for modal cylindric algebras	0
Bowtie‐free graphs and generic automorphisms	0
Interpreting the weak monadic second order theory of the ordered rationals	0
Editorial	0
Editorial correction for A. Tzouvaras, “Russell's typicality as another randomness notion”	0
On self‐distributive weak Heyting algebras	0
Decidable variables for constructive logics	0
Topological properties of definable sets in ordered Abelian groups of burden 2	0
Infinitary logic with infinite sequents: syntactic investigations	0
	0
Decomposition into special submanifolds	0
Cover Picture	0
Remarks on Gitik's model and symmetric extensions on products of the Lévy collapse	0
Nice ℵ1 generated non‐P‐points, Part I	0
Bounded finite set theory	0
Approximate isomorphism of metric structures	0
Choiceless large cardinals and set‐theoretic potentialism	0
Theory and application of labelling techniques for interpretability logics	0
On the algebraization of Henkin‐type second‐order logic	0
The subset relation and 2‐stratified sentences in set theory and class theory	0
	0
A classification of low c.e. sets and the Ershov hierarchy	0
Product cones in dense pairs	0
Contents: (Math. Log. Quart. 1/2020)	0
Varieties of pseudocomplemented Kleene algebras	0
Special subsets of the generalized Cantor space and generalized Baire space	0

A note on edge colorings and trees	0
	0
The theory of hereditarily bounded sets	0
On the completeness and the decidability of strictly monadic second‐order logic	0
	0
Expansions of Presburger arithmetic with the exchange property	0
Some model theory of Th(N,·)$\operatorname{Th}(\mathbb {N},\cdot )$	0
Intuitionistic propositional probability logic	0
Effective aspects of Jacobson radicals of rings	0
Strongly unfoldable, splitting and bounding	0
Continuous theory of operator expansions of finite dimensional Hilbert spaces and decidability	0
Sequential topologies and Dedekind finite sets	0
Cohen forcing and inner models	0
	0
Cover Picture	0
Issue Information	0
On Hausdorff operators in ZF$\mathsf {ZF}$	0
	0
On a strengthening of Jónssonness for ℵω	0
Agreement reducibility	0
The isomorphism theorem for linear fragments of continuous logic	0
Contents: (Math. Log. Quart. 3/2022)	0
	0
Issue Information	0
Issue Information	0
Issue Information	0
Contents: (Math. Log. Quart. 2/2021)	0
Contents: (Math. Log. Quart. 4/2020)	0
On the dependent product in toposes	0
Strategic equivalence among hat puzzles of various protocols with many colors	0
On weak square, approachability, the tree property, and failures of SCH in a choiceless context	0
Cover Picture	0
	0
Issue Information	0
Issue Information	0
A property of forcing notions and preservation of cardinal invariants	0
Avoiding Medvedev reductions inside a linear order	0
Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$	0
Models of VTC0$\mathsf {VTC^0}$ as exponential integer parts	0
Some definable types that cannot be amalgamated	0
Contents: (Math. Log. Quart. 1/2021)	0
Strong Ambiguity	0
Choice principles in local mantles	0
	0
Unbounded actions of metric groups and continuous logic	0
Borel complexity and Ramsey largeness of sets of oracles separating complexity classes	0
Piece selection and cardinal arithmetic	0
On bQ1$bQ_1$‐degrees of c.e. sets	0
Issue Information	0
Some structural similarities between uncountable sets, powersets and the universe	0
Issue Information	0
Issue Information	0
A proof‐theoretic metatheorem for tracial von Neumann algebras	0
Contents: (Math. Log. Quart. 2/2020)	0
Gap‐2 morass‐definable η1‐orderings	0
Atomic saturation of reduced powers	0
Contents: (Math. Log. Quart. 4/2022)	0
An extension of Jónsson‐Tarski representation and model existence in predicate non‐normal modal logics	0
Issue Information	0
	0
Bernoulli randomness and Bernoulli normality	0
Contents: (Math. Log. Quart. 1/2023)	0
Contents: (Math. Log. Quart. 3/2020)	0
The persistence principle over weak interpretability logic	0
On the effective universality of mereological theories	0