Top 10 Arxiv Papers Today in Logic

#1. Computational reverse mathematics and foundational analysis
Benedict Eastaugh
Reverse mathematics studies which subsystems of second order arithmetic are equivalent to key theorems of ordinary, non-set-theoretic mathematics. The main philosophical application of reverse mathematics proposed thus far is foundational analysis, which explores the limits of different foundations for mathematics in a formally precise manner. This paper gives a detailed account of the motivations and methodology of foundational analysis, which have heretofore been largely left implicit in the practice. It then shows how this account can be fruitfully applied in the evaluation of major foundational approaches by a careful examination of two case studies: a partial realization of Hilbert's program due to Simpson [1988], and predicativism in the extended form due to Feferman and Sch\"{u}tte. Shore [2010, 2013] proposes that equivalences in reverse mathematics be proved in the same way as inequivalences, namely by considering only $\omega$-models of the systems in question. Shore refers to this approach as computational reverse...
more | pdf | html
None.
Tweets
timhaight4: RT @mathLOb: Benedict Eastaugh : Computational reverse mathematics and foundational analysis https://t.co/EPyhgXL4do
None.
None.
Other stats
Sample Sizes : None.
Authors: 1
Total Words: 21406
Unqiue Words: 4003

#2. Monotonous betting strategies in warped casinos
George Barmpalias, Nan Fang, Andrew Lewis-Pye
Suppose that the outcomes of a roulette table are not entirely random, in the sense that there exists a strategy which achieves the accumulation of an eventually unbounded amount of capital. Is there then a successful monotonous' strategy, which only ever (declines to bet or) bets on red, or alternatively, only ever bets on black? Alternatively, is there a successful separable' strategy, in the sense that it does not use the winnings from betting on red in order to bet on black, and vice-versa? We show that the answer to these questions can be positive or negative depending on the simplicity of the strategies in question, the main two cases being the decidable strategies and the infinite mixtures of decidable strategies. More generally, we show that there are warped casino sequences, even with effective Hausdorff dimension 1/2, such that for any effective mixture of strategies (also viewed as computably enumerable strategies) which succeeds on them, it is undecidable whether more capital is placed on red or black in each round....
more | pdf | html
None.
Tweets
BenediktLoewe: RT @mathLOb: George Barmpalias, Nan Fang, Andrew Lewis-Pye : Monotonous betting strategies in warped casinos https://t.co/Dr8IaqZqM2
None.
None.
Other stats
Sample Sizes : None.
Authors: 3
Total Words: 13282
Unqiue Words: 2325

#3. The model theory of Commutative Near Vector Spaces
Karin-Therese Howell, Charlotte Kestner
In this paper we study near vector spaces over a commutative $F$ from a model theoretic point of view. In this context we show regular near vector spaces are in fact vector spaces. We find that near vector spaces are not first order axiomatisable, but that finite block near vector spaces are. In the latter case we establish quantifier elimination, and that the theory is controlled by which elements of the pointwise additive closure of $F$ are automorphisms of the near vector space.
more | pdf | html
None.
Tweets
MathPaper: The model theory of Commutative Near Vector Spaces. https://t.co/bKWi1zTLTB
None.
None.
Other stats
Sample Sizes : None.
Authors: 2
Total Words: 9595
Unqiue Words: 1706

#4. Countable chains and infinite joins in effectively closed sets of Cantor space
Ahmet Çevik
We prove that there exists a countable infinite sequence of non-empty special $\Pi^0_1$ classes $\{\mathcal{P}_i\}_{i\in\omega}$ such that no infinite union of elements of any $\mathcal{P}_i$ computes the halting set. We then give a generalized form of lower and upper cone avoidance for infinite unions. That is, we show that for any special $\Pi^0_1$ class $\mathcal{P}$ and any countable sequence of sets in $\mathcal{P}$, $\mathcal{P}$ has a member that is not computable by the infinite union of elements of the sequence. We also prove the upper cone counterpart, that for any non-recursive set $X$, every non-empty $\Pi^0_1$ class contains a countable sequence of members whose join does not compute $X$. We finally show that there exists a $\Pi^0_1$ class whose degree specrum is a countably infinite strict chain.
more | pdf | html
None.
None.
None.
Other stats
Sample Sizes : None.
Authors: 1
Total Words: 4587
Unqiue Words: 1015

#5. Strongly minimal groups in o-minimal structures
Pantelis Eleftheriou, Assaf Hasson, Ya'acov Peterzil
We prove Zilber's Trichotomy Conjecture for strongly minimal expansions of two-dimensional groups, definable in o-minimal structures: Theorem. Let M be an o-minimal expansion of a real closed field, (G;+) a 2-dimensional group definable in M, and D = (G;+,...) a strongly minimal structure, all of whose atomic relations are definable in M. If D is not locally modular, then an algebraically closed field K is interpretable in D, and the group G, with all its induced D-structure, is definably isomorphic in D to an algebraic K-group with all its induced K-structure.
more | pdf | html
None.
Tweets
MathPaper: Strongly minimal groups in o-minimal structures. https://t.co/P9O8pIxrJm
None.
None.
Other stats
Sample Sizes : None.
Authors: 3
Total Words: 33636
Unqiue Words: 3938

#6. Definable combinatorics with dense linear orders
Himanshu Shukla, Arihant Jain, Amit Kuber
We compute the model-theoretic Grothendieck ring, $K_0(\mathcal{Q})$, of a dense linear order (DLO) with or without end points, $\mathcal{Q}=(Q,<)$, as a structure of the signature $\{<\}$, and show that it is a quotient of the polynomial ring over $\mathbb{Z}$ generated by $\mathbb N_+\times(Q\sqcup\{-\infty\})$ by an ideal that encodes multiplicative relations of pairs of generators. As a corollary we obtain that a DLO satisfies the pigeon hole principle (PHP) for definable subsets and definable bijections between them--a property that is too strong for many structures.
more | pdf | html
None.
None.
None.
Other stats
Sample Sizes : None.
Authors: 3
Total Words: 8908
Unqiue Words: 1789

#7. Operations that preserve integrability, and truncated Riesz spaces
For any real number $p\in [1,+\infty)$, we characterize the operations $\mathbb{R}^I\to \mathbb{R}$ that preserve $p$-integrability over finite measure spaces, i.e., the operations under which, for every finite measure $\mu$, the set $\mathcal{L}^p(\mu)$ is closed. We investigate the infinitary variety of algebras whose terms are exactly such operations. It turns out that this variety coincides with the much studied category of Dedekind $\sigma$-complete Riesz spaces with weak unit. We also prove that $\mathbb{R}$ generates this variety. From this, we exhibit a concrete model of the free Dedekind $\sigma$-complete Riesz spaces with weak unit. Analogous results are obtained for operations that preserve $p$-integrability over every (not necessarily finite) measure space. The corresponding variety is shown to coincide with the category of Dedekind $\sigma$-complete truncated Riesz spaces, where truncation is meant in the sense of R.N. Ball.
more | pdf | html
None.
Tweets
MathPaper: Operations that preserve integrability, and truncated Riesz spaces. https://t.co/77kPbJPFAX
None.
None.
Other stats
Sample Sizes : None.
Authors: 1
Total Words: 14782
Unqiue Words: 2014

#8. Comparing truth theories based on Weak and Strong Kleene logic
Cezary Cieśliński
We compare the conceptual strength of two axiomatic theories of truth: KF and WKF. The first one has been designed to capture Kripke's fixed-point construction based on Strong Kleene logic. The second one is based on the Weak Kleene evaluation schema. In the paper "Relative truth definability of axiomatic truth theories", Kentaro Fujimoto proved that WKF is relatively truth-definable in KF. However, it has been an open question whether KF is relatively truth-definable in WKF. We provide the negative answer to this question, one that does not depend on the choice of language and coding. We consider this remarkable, because various important properties of Weak Kleene fixed-point construction are not absolute in this sense.
more | pdf | html
None.
Tweets
MathPaper: Comparing truth theories based on Weak and Strong Kleene logic. https://t.co/bLvWa0AvRW
timhaight4: RT @mathLOb: Cezary Cieśliński : Comparing truth theories based on Weak and Strong Kleene logic https://t.co/vzAnykz0M9
None.
None.
Other stats
Sample Sizes : None.
Authors: 1
Total Words: 8939
Unqiue Words: 1627

#9. A topological approach to MTL-algebras
Wesley Fussner, Sara Ugolini
We dualize a construction of Aguzzoli-Flaminio-Ugolini of a large class of MTL-algebras from ordered quadruples consisting of a Boolean algebra, a generalized MTL-algebra, and two maps parameterizing the connection between these pieces. Our dualized construction gives a uniform way of building the extended Priestley duals of MTL-algebras in this class from the Stone duals of their Boolean skeletons, the extended Priestley duals of their radicals, and a family of closure operators associating the two. In order to facilitate this work, we also offer some new results regarding the extended Priestley duals of MTL-algebras and GMTL-algebras.
more | pdf | html
None.
Tweets
MathPaper: A topological approach to MTL-algebras. https://t.co/qX05bP9jdq
None.
None.
Other stats
Sample Sizes : None.
Authors: 2
Total Words: 18429
Unqiue Words: 2553

#10. Iterability for (transfinite) stacks
Farmer Schlutzenberg
We establish natural criteria under which normally iterable premice are iterable for stacks of normal trees. Let $\Omega$ be a regular uncountable cardinal. Let $m<\omega$ and $M$ be an $m$-sound premouse and $\Sigma$ be an $(m,\Omega+1)$-iteration strategy for $M$ (roughly, a normal $(\Omega+1)$-strategy). We define a natural condensation property for iteration strategies, \emph{inflation condensation}. We show that if $\Sigma$ has inflation condensation then $M$ is $(m,\Omega,\Omega+1)^*$-iterable (roughly, $M$ is iterable for length $\leq\Omega$ stacks of normal trees each of length ${<\Omega}$), and moreover, we define a specific such strategy $\Sigma^{\mathrm{st}}$ and a reduction of stacks via $\Sigma^{\mathrm{st}}$ to normal trees via $\Sigma$. If $\Sigma$ has the Dodd-Jensen property and $\mathrm{card}(M)<\Omega$ then $\Sigma$ has inflation condensation. We also apply some of the techniques developed to prove that if $\Sigma$ has strong hull condensation (a slight strengthening of inflation condensation) and $G$ is...
more | pdf | html
None.
Tweets
mathLOb: Farmer Schlutzenberg : Iterability for (transfinite) stacks https://t.co/K8SYXo8IpL https://t.co/6WbwdOsaPt
MathPaper: Iterability for (transfinite) stacks. https://t.co/R5KgjnouVq
None.
None.
Other stats
Sample Sizes : None.
Authors: 1
Total Words: 51645
Unqiue Words: 4881

Assert is a website where the best academic papers on arXiv (computer science, math, physics), bioRxiv (biology), BITSS (reproducibility), EarthArXiv (earth science), engrXiv (engineering), LawArXiv (law), PsyArXiv (psychology), SocArXiv (social science), and SportRxiv (sport research) bubble to the top each day.

Papers are scored (in real-time) based on how verifiable they are (as determined by their Github repos) and how interesting they are (based on Twitter).

To see top papers, follow us on twitter @assertpub_ (arXiv), @assert_pub (bioRxiv), and @assertpub_dev (everything else).

To see beautiful figures extracted from papers, follow us on Instagram.

Tracking 72,995 papers.

Search
Sort results based on if they are interesting or reproducible.
Interesting
Reproducible
Online
Stats
Tracking 72,995 papers.