Top 4 Arxiv Papers Today in Logic


2.004 Mikeys
#1. On n-dependent groups and fields II
Artem Chernikov, Nadja Hempel
We continue the study of $n$-dependent groups, fields and related structures. We demonstrate that $n$-dependence is witnessed by formulas with all but one variable singletons, provide a type-counting criterion for $2$-dependence and use it to deduce $2$-dependence for compositions of NIP relations with arbitrary binary functions. We prove a result on intersections of type-definable connected components over generic sets of parameters in $n$-dependent groups, generalizing Shelah's results on absoluteness of $G^{00}$ in NIP theories and relative absoluteness of $G^{00}$ for $2$-dependent theories. We show that Granger's examples of non-degenerate bilinear forms over NIP fields are $2$-dependent, and characterize preservation of $n$-dependence under expansion by generic relations for geometric theories in terms of disintegration of their algebraic closure. Finally, we show that every infinite $n$-dependent valued field of positive characteristic is henselian, generalizing a recent result of Johnson for NIP.
more | pdf | html
Figures
None.
Tweets
mathLOb: Artem Chernikov, Nadja Hempel : On n-dependent groups and fields II https://t.co/zFKY1jFvVw https://t.co/64hJMWSq7r
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 2
Total Words: 0
Unqiue Words: 0

2.004 Mikeys
#2. Decidable fan theorem and uniform continuity theorem with continuous moduli
Makoto Fujiwara, Tatsuji Kawai
The uniform continuity theorem UCT states that every pointwise continuous real-valued function on the unit interval is uniformly continuous. In constructive reverse mathematics, UCT is stronger than the decidable fan theorem. In this paper, we show that when "pointwise continuous" is replaced with "having a continuous modulus", UCT becomes equivalent to the decidable fan theorem. Here, a modulus of a real-valued function on the unit interval is a function which calculates a modulus of pointwise continuity of the given function from the input and the required accuracy of the output. Such a modulus is said to be continuous if it is pointwise continuous with respect to the representation of real numbers as regular sequences of rationals equipped with the topology of Baire space. We also show that continuous real-valued functions on the unit interval which have continuous moduli are exactly those functions induced by type one "continuous functions" described by Loeb [Ann. Pure Appl. Logic, 132(1):51-66, 2005].
more | pdf | html
Figures
None.
Tweets
mathLOb: Makoto Fujiwara, Tatsuji Kawai : Decidable fan theorem and uniform continuity theorem with continuous moduli https://t.co/eskyy8Dzm3 https://t.co/JPuA9GoQNQ
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 2
Total Words: 0
Unqiue Words: 0

1.999 Mikeys
#3. The $κ$-Strongly Proper Forcing Axiom
David Asperó, Asaf Karagila
We study methods with which we can obtain the consistency of forcing axioms, and particularly higher forcing axioms. We first prove that the consistency of a supercompact cardinal $\theta>\kappa$ implies the consistency of a forcing axiom for $\kappa$-strongly proper forcing notions which are also $\kappa$-lattice, and then eliminate the need for the supercompact cardinal. The proof goes through a natural reflection property for $\kappa$-strongly proper forcings and through the fact that every $\kappa$-sequence of ordinals added by a $\kappa$-lattice and $\kappa$-strongly proper forcing is in a $\kappa$-Cohen extension.
more | pdf | html
Figures
None.
Tweets
logicians: “The κ-Strongly Proper Forcing Axiom”, D. Asperó, A. Karagila. https://t.co/Y6GnLWHOag #math #logic #SetTheory
mathLOb: David Asperó, Asaf Karagila : The $κ$-Strongly Proper Forcing Axiom https://t.co/27LBk6GjYc https://t.co/T7SSOqEK9Y
kadamasaru: RT @mathLOb: David Asperó, Asaf Karagila : The $κ$-Strongly Proper Forcing Axiom https://t.co/27LBk6GjYc https://t.co/T7SSOqEK9Y
kururu_goedel: RT @mathLOb: David Asperó, Asaf Karagila : The $κ$-Strongly Proper Forcing Axiom https://t.co/27LBk6GjYc https://t.co/T7SSOqEK9Y
settheorytalks: RT @mathLOb: David Asperó, Asaf Karagila : The $κ$-Strongly Proper Forcing Axiom https://t.co/27LBk6GjYc https://t.co/T7SSOqEK9Y
BenediktLoewe: RT @mathLOb: David Asperó, Asaf Karagila : The $κ$-Strongly Proper Forcing Axiom https://t.co/27LBk6GjYc https://t.co/T7SSOqEK9Y
berenbeim: RT @mathLOb: David Asperó, Asaf Karagila : The $κ$-Strongly Proper Forcing Axiom https://t.co/27LBk6GjYc https://t.co/T7SSOqEK9Y
tishiu: RT @mathLOb: David Asperó, Asaf Karagila : The $κ$-Strongly Proper Forcing Axiom https://t.co/27LBk6GjYc https://t.co/T7SSOqEK9Y
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 2
Total Words: 5102
Unqiue Words: 1132

1.998 Mikeys
#4. Methods in Higher Forcing Axioms (Workshop Notes)
David Asperó, Asaf Karagila
Methods of Higher Forcing Axioms was a small workshop in Norwich, taking place between 10--12 of September, 2019. The goal was to encourage future collaborations, and create more focused threads of research on the topic of higher forcing axioms. This is an improved version of the notes taken during the meeting by Asaf Karagila.
more | pdf | html
Figures
None.
Tweets
logicians: “Methods in Higher Forcing Axioms (Workshop Notes)”, D. Asperó, A. Karagila. https://t.co/qeR58rFRCI #math #logic #SetTheory
mathLOb: David Asperó, Asaf Karagila : Methods in Higher Forcing Axioms (Workshop Notes) https://t.co/QRnh4cAYot https://t.co/FRfErhvVAE
kadamasaru: RT @mathLOb: David Asperó, Asaf Karagila : Methods in Higher Forcing Axioms (Workshop Notes) https://t.co/QRnh4cAYot https://t.co/FRfErhvVAE
kururu_goedel: RT @mathLOb: David Asperó, Asaf Karagila : Methods in Higher Forcing Axioms (Workshop Notes) https://t.co/QRnh4cAYot https://t.co/FRfErhvVAE
settheorytalks: RT @mathLOb: David Asperó, Asaf Karagila : Methods in Higher Forcing Axioms (Workshop Notes) https://t.co/QRnh4cAYot https://t.co/FRfErhvVAE
st_toHKR: RT @mathLOb: David Asperó, Asaf Karagila : Methods in Higher Forcing Axioms (Workshop Notes) https://t.co/QRnh4cAYot https://t.co/FRfErhvVAE
jamesfanshi: RT @mathLOb: David Asperó, Asaf Karagila : Methods in Higher Forcing Axioms (Workshop Notes) https://t.co/QRnh4cAYot https://t.co/FRfErhvVAE
tishiu: RT @mathLOb: David Asperó, Asaf Karagila : Methods in Higher Forcing Axioms (Workshop Notes) https://t.co/QRnh4cAYot https://t.co/FRfErhvVAE
LinMnxef87932: RT @mathLOb: David Asperó, Asaf Karagila : Methods in Higher Forcing Axioms (Workshop Notes) https://t.co/QRnh4cAYot https://t.co/FRfErhvVAE
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 2
Total Words: 6396
Unqiue Words: 1598

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 234,430 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 234,430 papers.