Top 10 Arxiv Papers Today in Logic


0.0 Mikeys
#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
Figures
None.
Tweets
timhaight4: RT @mathLOb: Benedict Eastaugh : Computational reverse mathematics and foundational analysis https://t.co/EPyhgXL4do
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 1
Total Words: 21406
Unqiue Words: 4003

0.0 Mikeys
#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
Figures
None.
Tweets
BenediktLoewe: RT @mathLOb: George Barmpalias, Nan Fang, Andrew Lewis-Pye : Monotonous betting strategies in warped casinos https://t.co/Dr8IaqZqM2
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 3
Total Words: 13282
Unqiue Words: 2325

0.0 Mikeys
#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
Figures
None.
Tweets
MathPaper: The model theory of Commutative Near Vector Spaces. https://t.co/bKWi1zTLTB
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 2
Total Words: 9595
Unqiue Words: 1706

0.0 Mikeys
#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
Figures
None.
Tweets
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 1
Total Words: 4587
Unqiue Words: 1015

0.0 Mikeys
#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
Figures
None.
Tweets
MathPaper: Strongly minimal groups in o-minimal structures. https://t.co/P9O8pIxrJm
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 3
Total Words: 33636
Unqiue Words: 3938

0.0 Mikeys
#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
Figures
None.
Tweets
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 3
Total Words: 8908
Unqiue Words: 1789

0.0 Mikeys
#7. Operations that preserve integrability, and truncated Riesz spaces
Marco Abbadini
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
Figures
None.
Tweets
MathPaper: Operations that preserve integrability, and truncated Riesz spaces. https://t.co/77kPbJPFAX
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 1
Total Words: 14782
Unqiue Words: 2014

0.0 Mikeys
#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
Figures
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
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 1
Total Words: 8939
Unqiue Words: 1627

0.0 Mikeys
#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
Figures
None.
Tweets
MathPaper: A topological approach to MTL-algebras. https://t.co/qX05bP9jdq
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 2
Total Words: 18429
Unqiue Words: 2553

0.0 Mikeys
#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
Figures
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
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 1
Total Words: 51645
Unqiue Words: 4881

About

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
Categories
All
Astrophysics
Cosmology and Nongalactic Astrophysics
Earth and Planetary Astrophysics
Astrophysics of Galaxies
High Energy Astrophysical Phenomena
Instrumentation and Methods for Astrophysics
Solar and Stellar Astrophysics
Condensed Matter
Disordered Systems and Neural Networks
Mesoscale and Nanoscale Physics
Materials Science
Other Condensed Matter
Quantum Gases
Soft Condensed Matter
Statistical Mechanics
Strongly Correlated Electrons
Superconductivity
Computer Science
Artificial Intelligence
Hardware Architecture
Computational Complexity
Computational Engineering, Finance, and Science
Computational Geometry
Computation and Language
Cryptography and Security
Computer Vision and Pattern Recognition
Computers and Society
Databases
Distributed, Parallel, and Cluster Computing
Digital Libraries
Discrete Mathematics
Data Structures and Algorithms
Emerging Technologies
Formal Languages and Automata Theory
General Literature
Graphics
Computer Science and Game Theory
Human-Computer Interaction
Information Retrieval
Information Theory
Machine Learning
Logic in Computer Science
Multiagent Systems
Multimedia
Mathematical Software
Numerical Analysis
Neural and Evolutionary Computing
Networking and Internet Architecture
Other Computer Science
Operating Systems
Performance
Programming Languages
Robotics
Symbolic Computation
Sound
Software Engineering
Social and Information Networks
Systems and Control
Economics
Econometrics
General Economics
Theoretical Economics
Electrical Engineering and Systems Science
Audio and Speech Processing
Image and Video Processing
Signal Processing
General Relativity and Quantum Cosmology
General Relativity and Quantum Cosmology
High Energy Physics - Experiment
High Energy Physics - Experiment
High Energy Physics - Lattice
High Energy Physics - Lattice
High Energy Physics - Phenomenology
High Energy Physics - Phenomenology
High Energy Physics - Theory
High Energy Physics - Theory
Mathematics
Commutative Algebra
Algebraic Geometry
Analysis of PDEs
Algebraic Topology
Classical Analysis and ODEs
Combinatorics
Category Theory
Complex Variables
Differential Geometry
Dynamical Systems
Functional Analysis
General Mathematics
General Topology
Group Theory
Geometric Topology
History and Overview
Information Theory
K-Theory and Homology
Logic
Metric Geometry
Mathematical Physics
Numerical Analysis
Number Theory
Operator Algebras
Optimization and Control
Probability
Quantum Algebra
Rings and Algebras
Representation Theory
Symplectic Geometry
Spectral Theory
Statistics Theory
Mathematical Physics
Mathematical Physics
Nonlinear Sciences
Adaptation and Self-Organizing Systems
Chaotic Dynamics
Cellular Automata and Lattice Gases
Pattern Formation and Solitons
Exactly Solvable and Integrable Systems
Nuclear Experiment
Nuclear Experiment
Nuclear Theory
Nuclear Theory
Physics
Accelerator Physics
Atmospheric and Oceanic Physics
Applied Physics
Atomic and Molecular Clusters
Atomic Physics
Biological Physics
Chemical Physics
Classical Physics
Computational Physics
Data Analysis, Statistics and Probability
Physics Education
Fluid Dynamics
General Physics
Geophysics
History and Philosophy of Physics
Instrumentation and Detectors
Medical Physics
Optics
Plasma Physics
Popular Physics
Physics and Society
Space Physics
Quantitative Biology
Biomolecules
Cell Behavior
Genomics
Molecular Networks
Neurons and Cognition
Other Quantitative Biology
Populations and Evolution
Quantitative Methods
Subcellular Processes
Tissues and Organs
Quantitative Finance
Computational Finance
Economics
General Finance
Mathematical Finance
Portfolio Management
Pricing of Securities
Risk Management
Statistical Finance
Trading and Market Microstructure
Quantum Physics
Quantum Physics
Statistics
Applications
Computation
Methodology
Machine Learning
Other Statistics
Statistics Theory
Feedback
Online
Stats
Tracking 72,995 papers.