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-06-01 to 2026-06-01.)
ArticleCitations
The Nikodym property and filters on $$\omega $$6
Independent families and some notions of finiteness5
Nondefinability results with entire functions of finite order in polynomially bounded o-minimal structures5
Correction: Symétrons et K-boucles $$\omega$$-stables5
Results in model theory for Riesz-valued structures5
Algebraic semantics for weak subintuitionistic logic WF3
Approximate categoricity in continuous logic3
The structure of $$\kappa $$-maximal cofinitary groups3
Generalization of Shapiro’s theorem to higher arities and noninjective notations3
Filter pairs and natural extensions of logics3
Relativized Galois groups of first order theories over a hyperimaginary3
Variations on the Feferman-Vaught theorem, with applications to $$\prod _p \mathbb {F}_p$$3
Correction to: Generalization of Shapiro’s theorem to higher arities and noninjective notations2
The algebra of ordinary discourse. On the semantics of Cooper’s logic2
Nonvanishing derived limits without scales2
Limits on forcing axioms at $$\omega _2$$ compatible with the continuum hypothesis2
Around accumulation points and maximal sequences of indiscernibles2
Undecidability of indecomposable polynomial rings2
Computable approximations of a chainable continuum with a computable endpoint2
L-domains as locally continuous sequent calculi2
Involutive Uninorm Logic with Fixed Point enjoys finite strong standard completeness2
Conjunctions of exponential diophantine equations over $${\mathbb {Q}}$$2
Complexity of $$\Sigma ^0_n$$-classifications for definable subsets2
Computable scott sentences for quasi–Hopfian finitely presented structures2
$$sQ_1$$-degrees of computably enumerable sets1
Random structures and automorphisms with a single orbit1
Slender trees and the approximation property1
Mathias and silver forcing parametrized by density1
Bounded forcing axioms and weak genericity1
Siblings of direct sums of chains1
Towards a homotopy domain theory1
Computability of a whitney extension1
Separablilty of metric measure spaces and choice axioms1
Positive logics1
Tameness in generalized metric structures1
Essential hereditary undecidability1
Turing degrees and randomness for continuous measures1
Apartness and the elimination of strong forms of extensionality1
On two consequences of CH established by Sierpiński. II1
Compositional truth with propositional tautologies and quantifier-free correctness1
Bounded symbiosis and upwards reflection1
On the non-measurability of $$\omega $$-categorical Hrushovski constructions1
Spectral MV-algebras and equispectrality1
On Hilbert’s “geometric” tenth problem for odd characteristic function fields1
Restricted analytic valued fields with partial exponentiation1
The construction principle and non homogeneity of uncountable relatively free groups1
Another method to add a closed unbounded set of former regulars1
Game-theoretic variants of splitting number1
On sequential theorems in Reverse Mathematics1
Preservation properties for products and sums of metric structures1
Pathology of submeasures and $$F_{\sigma }$$ ideals1
An algebraic investigation of Linear Logic1
0.077488899230957