Archive for Mathematical Logic

Papers
(The median citation count of Archive for Mathematical Logic is 0. 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 2021-09-01 to 2025-09-01.)
ArticleCitations
The Nikodym property and filters on $$\omega $$5
Implicit recursion-theoretic characterizations of counting classes5
Generalization of Shapiro’s theorem to higher arities and noninjective notations4
Equivalence of generics4
Nondefinability results with entire functions of finite order in polynomially bounded o-minimal structures4
Independent families and some notions of finiteness4
The structure of $$\kappa $$-maximal cofinitary groups3
Variations on the Feferman-Vaught theorem, with applications to $$\prod _p \mathbb {F}_p$$3
Approximate categoricity in continuous logic3
Relativized Galois groups of first order theories over a hyperimaginary3
Filter pairs and natural extensions of logics3
Algebraic semantics for weak subintuitionistic logic WF3
Disjunctive logic programs, answer sets, and the cut rule3
Antichains of copies of ultrahomogeneous structures2
Conjunctions of exponential diophantine equations over $${\mathbb {Q}}$$2
Computable approximations of a chainable continuum with a computable endpoint2
Complexity of $$\Sigma ^0_n$$-classifications for definable subsets2
Undecidability of indecomposable polynomial rings2
Monadic $$k\times j$$-rough Heyting algebras2
L-domains as locally continuous sequent calculi2
Computable scott sentences for quasi–Hopfian finitely presented structures2
On the isomorphism problem for some classes of computable algebraic structures2
Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning2
Reverse mathematics and semisimple rings2
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
Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts1
A characterization of strongly computable finite factorization domains1
Preservation properties for products and sums of metric structures1
On two consequences of CH established by Sierpiński. II1
Tameness in generalized metric structures1
Involutive Uninorm Logic with Fixed Point enjoys finite strong standard completeness1
Positive logics1
Around accumulation points and maximal sequences of indiscernibles1
Hanf numbers for extendibility and related phenomena1
An alternative proof of the Hilbert-style axiomatization for the $$\{\wedge ,\vee \}$$-fragment of classical propositional logic1
Infinite combinatorics revisited in the absence of Axiom of choice1
Models of $${{\textsf{ZFA}}}$$ in which every linearly ordered set can be well ordered1
Combinatorial properties and dependent choice in symmetric extensions based on Lévy collapse1
An algebraic investigation of Linear Logic1
Mathias and silver forcing parametrized by density1
Bounded symbiosis and upwards reflection1
Degrees of relations on canonically ordered natural numbers and integers1
Essential hereditary undecidability1
Spectral MV-algebras and equispectrality1
Random structures and automorphisms with a single orbit1
Siblings of direct sums of chains1
Reflection ranks via infinitary derivations1
Ranks based on strong amalgamation Fraïssé classes1
Herbrand complexity and the epsilon calculus with equality1
Free subsets in internally approachable models1
Extending antichains in the poset $$\langle [\omega ]^{<\omega },\subseteq \rangle $$1
Towards a homotopy domain theory1
Turing degrees and randomness for continuous measures1
Pathology of submeasures and $$F_{\sigma }$$ ideals1
On the non-measurability of $$\omega $$-categorical Hrushovski constructions1
$$sQ_1$$-degrees of computably enumerable sets1
Restricted analytic valued fields with partial exponentiation1
Separablilty of metric measure spaces and choice axioms1
Compositional truth with propositional tautologies and quantifier-free correctness1
On well-splitting posets1
Quantifier-free induction for lists1
On extendability to $$F_\sigma $$ ideals1
Effective weak and vague convergence of measures on the real line0
Dividing lines in unstable theories and subclasses of Baire 1 functions0
Ordered abelian groups that do not have elimination of imaginaries0
Punctually presented structures II: comparing presentations0
A few more dissimilarities between second-order arithmetic and set theory0
On diagonal functions for equivalence relations0
Indestructibility and the linearity of the Mitchell ordering0
Involutive symmetric Gödel spaces, their algebraic duals and logic0
Correction to: Towers, mad families, and unboundedness0
The externally definable Ramsey property and fixed points on type spaces0
Hindman’s theorem for sums along the full binary tree, $$\Sigma ^0_2$$-induction and the Pigeonhole principle for trees0
Mutual algebraicity and cellularity0
Semi-honest subrecursive degrees and the collection rule in arithmetic0
Symétrons et K-boucles $$\omega $$-stables $$\omega $$-stable symmetric spaces and K-loops0
A criterion for uniform finiteness in the imaginary sorts0
Superrosiness and dense pairs of geometric structures0
Multiplicative finite embeddability vs divisibility of ultrafilters0
Big Ramsey degrees in universal inverse limit structures0
Ramsey degrees of ultrafilters, pseudointersection numbers, and the tools of topological Ramsey spaces0
Weak essentially undecidable theories of concatenation, part II0
Type space functors and interpretations in positive logic0
Many different uniformity numbers of Yorioka ideals0
Ideals with Smital properties0
Reflection and not SCH with overlapping extenders0
Maximal Tukey types, P-ideals and the weak Rudin–Keisler order0
Glivenko sequent classes and constructive cut elimination in geometric logics0
Generalized cardinal invariants for an inaccessible $$\kappa $$ with compactness at $$\kappa ^{++}$$0
Glivenko–Cantelli classes and NIP formulas0
On the topological dynamics of automorphism groups: a model-theoretic perspective0
Square compactness and Lindelöf trees0
Cardinal invariants associated with Hausdorff measures0
On categoricity of scattered linear orders of constructive ranks0
The Fan Theorem, its strong negation, and the determinacy of games0
Wellfoundedness proof with the maximal distinguished set0
Cut elimination for coherent theories in negation normal form0
On algebraic sums, trees and ideals in the Baire space0
The additive structure of integers with the lower Wythoff sequence0
What would the rational Urysohn space and the random graph look like if they were uncountable?0
Herbrandized modified realizability0
Computability and the game of cops and robbers on graphs0
Questions on cardinal invariants of Boolean algebras0
Iterated multiplication in $$ VTC ^0$$0
The axiom of choice in metric measure spaces and maximal $$\delta $$-separated sets0
$$\Delta ^0_1$$ variants of the law of excluded middle and related principles0
Constructivity conditions on immune sets0
Axiomatizing modal inclusion logic and its variants0
On the rigidity of Souslin trees and their generic branches0
The fixed point and the Craig interpolation properties for sublogics of $$\textbf{IL}$$0
Errata: on the role of the continuum hypothesis in forcing principles for subcomplete forcing0
On some $$\Sigma ^{B}_{0}$$-formulae generalizing counting principles over $$V^{0}$$0
On two consequences of CH established by Sierpiński0
Revisiting the conservativity of fixpoints over intuitionistic arithmetic0
On the complexity of the theory of a computably presented metric structure0
Categories and functors in reverse and computable mathematics0
A syntactic approach to Borel functions: some extensions of Louveau’s theorem0
A closed subset of Baire space not Medvedev equivalent to any closed set of Cantor space0
Positive indiscernibles0
Pseudointersection numbers, ideal slaloms, topological spaces, and cardinal inequalities0
Cut elimination by unthreading0
Intuitionistic sets and numbers: small set theory and Heyting arithmetic0
The small index property for countable superatomic boolean algebras0
An ordinal-connection axiom as a weak form of global choice under the GCH0
On undecidability of the propositional logic of an associative binary modality0
Convergence of measures after adding a real0
Stably embedded submodels of Henselian valued fields0
Efficient elimination of Skolem functions in $$\text {LK}^\text {h}$$0
On Harrop disjunction property in intermediate predicate logics0
Katětov order between Hindman, Ramsey and summable ideals0
Games characterizing certain families of functions0
Cohesive powers of structures0
The Tarski–Lindenbaum algebra of the class of strongly constructivizable models with $$\omega $$-stable theories0
Bounded distributive lattices with strict implication and weak difference0
A note on cut-elimination for classical propositional logic0
Prenex normalization and the hierarchical classification of formulas0
Weak essentially undecidable theories of concatenation0
Varieties of truth definitions0
Generic existence of interval P-points0
Pcf without choice Sh8350
Remarks on weak amalgamation and large conjugacy classes in non-archimedean groups0
On decidability of amenability in computable groups0
Some implications of Ramsey Choice for families of $$\varvec{n}$$-element sets0
The covering number of the strong measure zero ideal can be above almost everything else0
Destructibility and axiomatizability of Kaufmann models0
On the theory of epistemic Łukasiewicz logic corresponding to the Chang algebra with application in Immune system0
An infinitary propositional probability logic0
Definable groups in dense pairs of geometric structures0
Second order arithmetic as the model companion of set theory0
Bachmann–Howard derivatives0
An AEC framework for fields with commuting automorphisms0
Model theory of monadic predicate logic with the infinity quantifier0
The second-order version of Morley’s theorem on the number of countable models does not require large cardinals0
Definability in affine logic0
On computable numberings of families of Turing degrees0
Coanalytic ultrafilter bases0
A topological completeness theorem for transfinite provability logic0
A Mathias criterion for the Magidor iteration of Prikry forcings0
Regressive versions of Hindman’s theorem0
Structure of semisimple rings in reverse and computable mathematics0
Vector spaces with a union of independent subspaces0
Indiscernibles and satisfaction classes in arithmetic0
On the consistency strength of critical leaps0
The extent of saturation of induced ideals0
Fragments of IOpen0
The existence of states based on Glivenko semihoops0
Herbrand schemes for first-order logic0
Enhancing induction in a contraction free logic with unrestricted abstraction: from $$\mathbf {Z}$$ to $$\mathbf {Z}_2$$0
On countably closed mutually embeddable models0
Sets of real numbers closed under Turing equivalence: applications to fields, orders and automorphisms0
On the non-existence of $$\kappa $$-mad families0
The provably total functions of basic arithmetic and its extensions0
On absorption’s formula definable semigroups of complete theories0
A criterion for the strong cell decomposition property0
On forcing over $$L(\mathbb {R})$$0
Definable Tietze extension property in o-minimal expansions of ordered groups0
Consistency and interpolation in linear continuous logic0
Towers, mad families, and unboundedness0
The SB-property on metric structures0
The Josefson–Nissenzweig theorem and filters on $$\omega $$0
Recursive Polish spaces0
On the extendability to $$\mathbf {\Pi }_3^0$$ ideals and Katětov order0
Different covering numbers of compact tree ideals0
0.19679403305054