Unofficial bot by @vela with https://xitter.cf/t.co/qRyAuN2QxC. @mathFAbot @mathGMb @mathGNb @mathGRbot @mathGTb @mathHOb @mathITbot @mathKTb @mathMGb @mathMPb ...

Joined April 2013
A technical note on universal formula pcas arXiv:2610.23365
102
Proof Perplexity: A Probabilistic Approach to Measuring non-triviali... arXiv:2610.22612 Models of Arbitrary Sets arXiv:2610.23219 The Compactness Theorem for Enriched Logic arXiv:2610.23278
124
Differential equations as difference-differential equations arXiv:2610.22317 The rank problem for metric spaces arXiv:2610.22351
158
Discrete Temporal CSPs et al arXiv:2610.21967 Indiscernible Extraction in Theories with Bounded k-splitting arXiv:2610.22002 Classification of bipartite observables III: simplicity, mixtures an... arXiv:2610.22205
173
Radon measures in the Berkovich space and generically stable measure... arXiv:2610.20758 Duality Theory for Sequent Algebras arXiv:2610.20956 Local definable (p,q)-theorem and a refinement arXiv:2610.21738
154
Measures in Nairian models, I arXiv:2610.19088 What David Teaches Goliath: An Inevitable Extension of ZFC arXiv:2610.19283 A Reflection Calculus for Bar Induction and the Linearity of Consist... arXiv:2610.20115
1
4
6
683
The strength of the minimum principle in constructive reverse mathem... arXiv:2610.12964 Spectral Theory and Descriptive Combinatorics for Non-Regular Borel ... arXiv:2610.13551 Pseudofinite abelian groups and asymptotic classes of finite abelian... arXiv:2610.13770
4
724
Condensed Whitehead Problem arXiv:2610.11078 Independence of premise for intuitionistic Zermelo-Fraenkel set theory arXiv:2610.11753
1
8
2,220
On omega-powers of infinite difference rank arXiv:2610.10089 Points and their multiples on curves in powers of simple abelian var... arXiv:2610.10209
223
Coanalytic subfields of the reals of every Hausdorff dimension arXiv:2610.09707 From Cell Decomposition to Motivic Integration, Hensel Minimality, a... arXiv:2610.09852 On Integer-Division Bases for the Kalm\'ar Elementary Functions arXiv:2610.09975
2
216
Finite index extensions of treeable equivalence relations are treeable arXiv:2610.08986 Amenable C-sequences and ineffability in L arXiv:2610.09086 The Type \omega-Vaught's Conjecture for \omega-stable Theories arXiv:2610.09314
186
On the structure of certain valued fields II arXiv:2610.08395 The additivity of a certain Hausdorff measure can differ from that o... arXiv:2610.08549
1
1
311
The generalized continuum hypothesis above a strongly compact cardinal arXiv:2610.07537 An entire function that violates quasiminimality arXiv:2610.08071 Representation theorems for four classes of uninorms on bounded trel... arXiv:2610.08191
1
4
274
Computable presentations of reduced group C*-algebras of groups with... arXiv:2610.05990 A nonmicroscopic G_\delta set with only microscopic compact subsets arXiv:2610.06301 The set-theorist's real numbers arXiv:2610.06802
1
4
261
Recovering a structure from its tree of tuples arXiv:2610.05611 The Higher Closed Null Ideal(s) arXiv:2610.05784 Computable presentations of reduced group C*-algebras of hyperbolic ... arXiv:2610.05986
1
3
171
On the Borel completeness of torsion-free abelian groups and a Slama... arXiv:2610.05451 Forcing axioms and the structure theory of Aronszajn trees arXiv:2610.05574 Countryman basis and club-isomorphisms under MA(\omega_1) arXiv:2610.05582
1
2
4
321
A Dubnov-Ivanov-Nagata-Higman Theorem for NIP nilrings arXiv:2610.03845 Forcing in bounded arithmetic and set theory: analogies and differences arXiv:2610.03919 Extension properties for partial permutations arXiv:2610.04870
1
2
199
On differentiability in weakly o-minimal expansions of fields arXiv:2610.03628
182
Van Douwen Families, Productivity and Ultrafilter Maximality arXiv:2610.02350 Uniform Computability of Isotypic Block Diagonalization for Finite-G... arXiv:2610.02547 Scott products and sobriety of countable meet-continuous dcpos arXiv:2610.02642
163
Tense Logic via Truth Degrees: An Algebraic Completeness Result for ... arXiv:2610.01547 Cone Avoidance and the No-Least-Join Theorem arXiv:2610.02027
210