Archive for Mathematical Logic

Papers
(The TQCC of Archive for Mathematical Logic is 1. 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 2022-08-01 to 2026-08-01.)
ArticleCitations
The Nikodym property and filters on $$\omega $$6
Correction: Symétrons et K-boucles $$\omega$$-stables6
Nondefinability results with entire functions of finite order in polynomially bounded o-minimal structures5
Results in model theory for Riesz-valued structures5
Independent families and some notions of finiteness5
Relativized Galois groups of first order theories over a hyperimaginary4
The structure of $$\kappa $$-maximal cofinitary groups4
Variations on the Feferman-Vaught theorem, with applications to $$\prod _p \mathbb {F}_p$$3
Generalization of Shapiro’s theorem to higher arities and noninjective notations3
Approximate categoricity in continuous logic3
Algebraic semantics for weak subintuitionistic logic WF3
Computable approximations of a chainable continuum with a computable endpoint2
Conjunctions of exponential diophantine equations over $${\mathbb {Q}}$$2
L-domains as locally continuous sequent calculi2
Restricted analytic valued fields with partial exponentiation2
Correction: Diagonalization as computation: Gödel sentence construction and a type-disciplined blueprint2
Nonvanishing derived limits without scales2
The algebra of ordinary discourse. On the semantics of Cooper’s logic2
Correction to: Generalization of Shapiro’s theorem to higher arities and noninjective notations2
Undecidability of indecomposable polynomial rings2
Limits on forcing axioms at $$\omega _2$$ compatible with the continuum hypothesis2
Around accumulation points and maximal sequences of indiscernibles2
Turing degrees and randomness for continuous measures1
Bounded forcing axioms and weak genericity1
Siblings of direct sums of chains1
Pathology of submeasures and $$F_{\sigma }$$ ideals1
Bounded symbiosis and upwards reflection1
An algebraic investigation of Linear Logic1
$$sQ_1$$-degrees of computably enumerable sets1
On the non-measurability of $$\omega $$-categorical Hrushovski constructions1
Essential hereditary undecidability1
Combinatorial properties and dependent choice in symmetric extensions based on Lévy collapse1
Another method to add a closed unbounded set of former regulars1
Apartness and the elimination of strong forms of extensionality1
On sequential theorems in Reverse Mathematics1
Slender trees and the approximation property1
Computability of a whitney extension1
Separablilty of metric measure spaces and choice axioms1
Random structures and automorphisms with a single orbit1
Towards a homotopy domain theory1
Canonical reconstruction and forcing absoluteness of standard structures1
A characterization of strongly computable finite factorization domains1
Mathias and silver forcing parametrized by density1
Compositional truth with propositional tautologies and quantifier-free correctness1
Game-theoretic variants of splitting number1
Preservation properties for products and sums of metric structures1
Tameness in generalized metric structures1
On Hilbert’s “geometric” tenth problem for odd characteristic function fields1
Spectral MV-algebras and equispectrality1
The construction principle and non homogeneity of uncountable relatively free groups1
On two consequences of CH established by Sierpiński. II1
Free subsets in internally approachable models1
0.31399011611938