Mathematical Logic Quarterly

Article	Citations
Cover Picture	9
First‐order undefinability of the notion of transfinitely uplifting cardinals	8
Decidable fan theorem and uniform continuity theorem with continuous moduli	5
Topological duality for orthomodular lattices	5
Bowtie‐free graphs and generic automorphisms	4
	4
The permutations with n non‐fixed points and the subsets with n elements of a set	3
Coding of real‐valued continuous functions under WKL$\mathsf {WKL}$	3
Cover Picture	3
The theory of hereditarily bounded sets	2
Choiceless large cardinals and set‐theoretic potentialism	2
Contents: (Math. Log. Quart. 2/2022)	2
Choice principles in local mantles	2
Cover Picture	2
Piece selection and cardinal arithmetic	2
Cover Picture	2
Cofinal types on ω2	1
Avoiding Medvedev reductions inside a linear order	1
Adding a constant and an axiom to a doctrine	1
The subset relation and 2‐stratified sentences in set theory and class theory	1
	1
Gap‐2 morass‐definable η1‐orderings	1
Infinite Wordle and the mastermind numbers	1
	1
Pregeometry over locally o‐minimal structures and dimension	1

Decomposition into special submanifolds	1
Hilbert's tenth problem for lacunary entire functions of finite order	1
On the variety of strong subresiduated lattices	1
Cover Picture	1
Issue Information	1
Intuitionistic propositional probability logic	1
Contents: (Math. Log. Quart. 2/2023)	1
An extension of Jónsson‐Tarski representation and model existence in predicate non‐normal modal logics	1
Strong Ambiguity	1
Wadge degrees of Δ20$\mathbf{\Delta }^0_2$ omega‐powers	1
	1
	1
When is a real generic over L?	1
Encoding true second‐order arithmetic in the real‐algebraic structure of models of intuitionistic elementary analysis	1
On the effective universality of mereological theories	1
Approximate isomorphism of metric structures	1
Some definable types that cannot be amalgamated	0
Continuous theory of operator expansions of finite dimensional Hilbert spaces and decidability	0
Cover Picture	0
Issue Information	0
Issue Information	0
The isomorphism theorem for linear fragments of continuous logic	0
An effectively closed set with no join property*	0
A note on the cardinality of definable families of sets in o‐minimal structures	0
ℵ0‐categorical Banach spaces contain ℓp or c0	0
Topological properties of definable sets in ordered Abelian groups of burden 2	0
Logics of upsets of De Morgan lattices	0
Issue Information	0
Contents: (Math. Log. Quart. 2/2024)	0
Extremal numberings and fixed point theorems	0
	0
Contents: (Math. Log. Quart. 4/2023)	0
	0
Cut‐conditions on sets of multiple‐alternative inferences	0
Effective aspects of Jacobson radicals of rings	0
A note on fsg$\text{fsg}$ groups in p‐adically closed fields	0
	0
A generalisation of Läuchli's lemma	0
A dichotomy for T$T$‐convex fields with a monomial group	0
r‐Maximal sets and Q1,N‐reducibility	0
Bounded finite set theory	0
Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem	0
On bQ1$bQ_1$‐degrees of c.e. sets	0
MA(ℵ0) restricted to complete Boolean algebras and choice	0
Algebraic completion without the axiom of choice	0
Borel complexity and Ramsey largeness of sets of oracles separating complexity classes	0
The persistence principle over weak interpretability logic	0
A classification of low c.e. sets and the Ershov hierarchy	0
κ‐Madness and definability	0
Issue Information	0

CP‐generic expansions of models of Peano Arithmetic	0
On Hausdorff operators in ZF$\mathsf {ZF}$	0
Issue Information	0
More about divisibility in βN	0
Atomic saturation of reduced powers	0
The set of injections and the set of surjections on a set	0
Examples of weak amalgamation classes	0
Weakly and locally positive Robinson theories	0
Contents: (Math. Log. Quart. 3/2023)	0
On the algebraization of Henkin‐type second‐order logic	0
Perfectly normal nonrealcompact spaces under Martin's Maximum	0
Spherically complete models of Hensel minimal valued fields	0
Contents: (Math. Log. Quart. 3/2022)	0
Issue Information	0
The finite subsets and the permutations with finitely many non‐fixed points of a set	0
Formal model theory and higher topology	0
Bounding 2d functions by products of 1d functions	0
Contents: (Math. Log. Quart. 1/2022)	0
On splitting trees	0
On the dependent product in toposes	0
Issue Information	0
Paradoxical decompositions of free F2$F_2$‐sets and the Hahn‐Banach axiom	0
Cover Picture	0
On a cardinal inequality in ZF$\mathsf {ZF}$	0
Pathological examples of structures with o‐minimal open core	0
Cover Picture	0
	0
Effectiveness of Walker's cancellation theorem	0
Incomparable Vγ$V_\gamma$‐degrees	0
Rogers semilattices of limitwise monotonic numberings	0
Infinitary logic with infinite sequents: syntactic investigations	0
Forcing revisited	0
Remarks on infinite factorials and cardinal subtraction in ZF$\mathsf{ZF}$	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
Filter‐Menger set of reals in Cohen extensions	0
	0
Contents: (Math. Log. Quart. 3/2021)	0
Mycielski among trees	0
	0
The Hartogs–Lindenbaum spectrum of symmetric extensions	0
Adding highly generic subsets of ω2$\omega _2$	0
A weak theory of building blocks	0
König's lemma, weak König's lemma, and the decidable fan theorem	0
Expansions of Presburger arithmetic with the exchange property	0
Unbounded actions of metric groups and continuous logic	0
Contents: (Math. Log. Quart. 1/2024)	0
The power set and the set of permutations with finitely many non‐fixed points of a set	0
A note on edge colorings and trees	0
	0
Bisimulations and bisimulation games between Verbrugge models	0
Cover Picture	0
When cardinals determine the power set: inner models and Härtig quantifier logic	0
Apartness relations between propositions	0
Refining the arithmetical hierarchy of classical principles	0
Normalizing notations in the Ershov hierarchy	0
	0
Weakly binary expansions of dense meet‐trees	0
The algebraic significance of weak excluded middle laws	0
Sequential topologies and Dedekind finite sets	0
Good points for scales (and more)	0
	0
On the logic of distributive nearlattices	0
Omitting types algebraically and more about amalgamation for modal cylindric algebras	0
Determinacy and regularity properties for idealized forcings	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
Bernoulli randomness and Bernoulli normality	0
On self‐distributive weak Heyting algebras	0
Issue Information	0
A class of higher inductive types in Zermelo‐Fraenkel set theory	0
Contents: (Math. Log. Quart. 2/2021)	0
Tameness of definably complete locally o‐minimal structures and definable bounded multiplication	0
Contents: (Math. Log. Quart. 4/2021)	0
Quantum B‐modules	0
Interpreting the weak monadic second order theory of the ordered rationals	0
Generic expansion of an abelian variety by a subgroup	0
Issue Information	0
Limit models in strictly stable abstract elementary classes	0
Some model theory of Th(N,·)$\operatorname{Th}(\mathbb {N},\cdot )$	0
Varieties of pseudocomplemented Kleene algebras	0
The Suszko operator relative to truth‐equational logics	0

Automorphism invariant measures and weakly generic automorphisms	0
Modal completeness of sublogics of the interpretability logic IL	0
Issue Information	0
On dense, locally finite subgroups of the automorphism group of certain homogeneous structures	0
Theory and application of labelling techniques for interpretability logics	0
On the implicative‐infimum subreducts of weak Heyting algebras	0
Product cones in dense pairs	0
A property of forcing notions and preservation of cardinal invariants	0
Issue Information	0
The profinite topology of free groups and weakly generic tuples of automorphisms	0
Issue Information	0
Expansions of real closed fields with the Banach fixed point property	0
On height of group trees on tame abelian product groups	0
Cover Picture	0
Contents: (Math. Log. Quart. 4/2022)	0
Compactness in team semantics	0
Models of VTC0$\mathsf {VTC^0}$ as exponential integer parts	0
	0
Nice ℵ1 generated non‐P‐points, Part I	0
Implications of Ramsey Choice principles in ZF$\mathsf {ZF}$	0
Strongly NIP almost real closed fields	0
	0
Controlling the number of normal measures at successor cardinals	0
On collection schemes and Gaifman's splitting theorem	0
Some structural similarities between uncountable sets, powersets and the universe	0
Forcing axioms for λ‐complete μ+$\mu ^+$‐c.c.	0
Strongly unfoldable, splitting and bounding	0
Evolving Shelah‐Spencer graphs	0
Random graph coloring and the instability	0
Extensions of definable local homomorphisms in o‐minimal structures and semialgebraic groups	0
The cofinality of the strong measure zero ideal for κ inaccessible	0
Cover Picture	0
	0
Uniformly locally o‐minimal open core	0
Issue Information	0
Issue Information	0
A categorical equivalence between logical quantale modules and quantum B‐modules	0
Issue Information	0
Contents: (Math. Log. Quart. 1/2021)	0
Meeting numbers and pseudopowers	0
A note on an alternative Gentzenization of RW+∘	0
Contents: (Math. Log. Quart. 1/2023)	0
A proof‐theoretic metatheorem for tracial von Neumann algebras	0
Cover Picture	0
Some basic thoughts on the cofinalities of Chang structures with an application to forcing	0