Top 8 Arxiv Papers Today in Logic


2.21 Mikeys
#1. The Sigma_1-definable universal finite sequence
Joel David Hamkins, Kameryn J. Williams
We introduce the $\Sigma_1$-definable universal finite sequence and prove that it exhibits the universal extension property amongst the countable models of set theory under end-extension. That is, (i) the sequence is $\Sigma_1$-definable and provably finite; (ii) the sequence is empty in transitive models; and (iii) if $M$ is a countable model of set theory in which the sequence is $s$ and $t$ is any finite extension of $s$ in this model, then there is an end extension of $M$ to a model in which the sequence is $t$. Our proof method grows out of a new infinitary-logic-free proof of the Barwise extension theorem, by which any countable model of set theory is end-extended to a model of $V=L$ or indeed any theory true in a suitable submodel of the original model. The main theorem settles the modal logic of end-extensional potentialism, showing that the potentialist validities of the models of set theory under end-extensions are exactly the assertions of S4. Finally, we introduce the end-extensional maximality principle, which asserts...
more | pdf | html
Figures
None.
Tweets
mathLOb: Joel David Hamkins, Kameryn J. Williams : The Sigma_1-definable universal finite sequence https://t.co/bigs6RjL7U https://t.co/0G9HEZVYQc
logicians: RT @mathLOb: Joel David Hamkins, Kameryn J. Williams : The Sigma_1-definable universal finite sequence https://t.co/bigs6RjL7U https://t.co…
infrahumano: RT @mathLOb: Joel David Hamkins, Kameryn J. Williams : The Sigma_1-definable universal finite sequence https://t.co/bigs6RjL7U https://t.co…
settheorytalks: RT @mathLOb: Joel David Hamkins, Kameryn J. Williams : The Sigma_1-definable universal finite sequence https://t.co/bigs6RjL7U https://t.co…
KamerynJW: RT @mathLOb: Joel David Hamkins, Kameryn J. Williams : The Sigma_1-definable universal finite sequence https://t.co/bigs6RjL7U https://t.co…
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 2
Total Words: 0
Unqiue Words: 0

2.173 Mikeys
#2. Enayat Theories
Albert Visser
In this paper we study solution attempts for a problem posed by Ali Enayat: can there be a finitely axiomatized consistent sequential theory that interprets itself plus the (sentential or non-uniform) Tarski biconditionals? We provide a basic framework for the study of this question and discuss some solution attempts. We connect the question with some interesting conjectures. We briefly touch upon what happens if we consider uniform biconditionals.
more | pdf | html
Figures
None.
Tweets
logicians: “Enayat Theories”, A. Visser. https://t.co/xWem4EUtAs #math #logic
mathLOb: Albert Visser : Enayat Theories https://t.co/7l0m1IrsGE https://t.co/jJ69cDUmBs
KamerynJW: RT @mathLOb: Albert Visser : Enayat Theories https://t.co/7l0m1IrsGE https://t.co/jJ69cDUmBs
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 1
Total Words: 0
Unqiue Words: 0

2.019 Mikeys
#3. Mad families of vector subspaces and the smallest nonmeager set of reals
Iian B. Smythe
We show that a parametrized $\diamondsuit$ principle, corresponding to the uniformity of the meager ideal, implies that the minimum cardinality of an infinite maximal almost disjoint family of block subspaces in a countable vector space is $\aleph_1$. Consequently, this cardinal invariant is $\aleph_1$ in the Miller model.
more | pdf | html
Figures
None.
Tweets
logicians: “Mad families of vector subspaces and the smallest nonmeager set of reals”, I. B. Smythe. https://t.co/R4mDtlUOer #math #logic
mathLOb: Iian B. Smythe : Mad families of vector subspaces and the smallest nonmeager set of reals https://t.co/IBbd3xYSgB https://t.co/aIm8PRvJMs
settheorytalks: RT @mathLOb: Iian B. Smythe : Mad families of vector subspaces and the smallest nonmeager set of reals https://t.co/IBbd3xYSgB https://t.co…
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 1
Total Words: 0
Unqiue Words: 0

2.003 Mikeys
#4. Independence over arbitrary sets in NSOP$_1$ theories
Jan Dobrowolski, Byunghan Kim, Nicholas Ramsey
We study Kim-independence over arbitrary sets. Assuming that forking satisfies existence, we establish Kim's lemma for Kim-dividing over arbitrary sets in an NSOP$_{1}$ theory. We deduce symmetry of Kim-independence and the independence theorem for Lascar strong types.
more | pdf | html
Figures
None.
Tweets
mathLOb: Jan Dobrowolski, Byunghan Kim, Nicholas Ramsey : Independence over arbitrary sets in NSOP$_1$ theories https://t.co/Agw8tewhxn https://t.co/2Yr313IAaS
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 3
Total Words: 0
Unqiue Words: 0

2.003 Mikeys
#5. On Polish groups admitting non-essentially countable actions
Alexander S. Kechris, Maciej Malicki, Aristotelis Panagiotopoulos, Joseph Zielinski
It is a long-standing open question whether every Polish group that is not locally compact admits a Borel action on a standard Borel space whose associated orbit equivalence relation is not essentially countable. We answer this question positively for the class of all Polish groups that embed in the isometry group of a locally compact metric space. This class contains all non-Archimedean Polish groups, for which we provide an alternative proof based on a new criterion for non-essential countability. Finally, we provide the following variant of a theorem of Solecki: every infinite-dimensional Banach space has a continuous action whose orbit equivalence relation is Borel but not essentially countable.
more | pdf | html
Figures
None.
Tweets
mathLOb: Alexander S. Kechris, Maciej Malicki, Aristotelis Panagiotopoulos, Joseph Zielinski : On Polish groups admitting non-essentially countable actions https://t.co/TyrSyFrJMG https://t.co/pcvIIBXiNe
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 4
Total Words: 0
Unqiue Words: 0

1.999 Mikeys
#6. Higher Dimensional Cardinal Characteristics for Sets of Functions
Corey Bacal Switzer
Much recent work in cardinal characteristics has focused on generalizing results about $\omega$ to uncountable cardinals by studying analogues of classical cardinal characteristics on the generalized Baire and Cantor spaces $\kappa^\kappa$ and $2^\kappa$. In this note I look at generalizations to other function spaces, focusing particularly on the space of functions $f:\omega^\omega \to \omega^\omega$. By considering classical cardinal invariants on Baire space in this setting I derive a number of "higher dimensional" analogues of such cardinals, ultimately introducing 18 new cardinal invariants, alongside a framework that allows for numerous others. These 18 form two separate diagrams consisting of 6 and 12 cardinals respectively, each resembling versions of the Cicho\'n diagram. These ZFC-inequalities are the first main result of the paper. I then consider other relations between these cardinals, as well as the cardinal $\mathfrak{c}^+$ and show that these results rely on additional assumptions about cardinal characteristics on...
more | pdf | html
Figures
None.
Tweets
logicians: "Higher Dimensional Cardinal Characteristics for Sets of Functions", C. B. Switzer. https://t.co/ads3ZOHb67 #math #logic #SetTheory
mathLOb: Corey Bacal Switzer : Higher Dimensional Cardinal Characteristics for Sets of Functions https://t.co/8mPryy0rDv https://t.co/iqBDLArNoq
vievararosel: RT @logicians: "Higher Dimensional Cardinal Characteristics for Sets of Functions", C. B. Switzer. https://t.co/ads3ZOHb67 #math #logic #…
settheorytalks: RT @mathLOb: Corey Bacal Switzer : Higher Dimensional Cardinal Characteristics for Sets of Functions https://t.co/8mPryy0rDv https://t.co/i…
KamerynJW: RT @mathLOb: Corey Bacal Switzer : Higher Dimensional Cardinal Characteristics for Sets of Functions https://t.co/8mPryy0rDv https://t.co/i…
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 1
Total Words: 9899
Unqiue Words: 1695

1.997 Mikeys
#7. Homotopy Types of Abstract Elementary Classes
Tim Campion, Jinhe Ye
We prove that for any homotopy type $X$, there is an elementary class $\calC$, with joint embedding, almagamation and no maximal models such that the classifying space realizes the homotopy type $X$. We provide a few explicit examples.
more | pdf | html
Figures
None.
Tweets
logicians: "Homotopy Types of Abstract Elementary Classes", T. Campion, J. Ye. https://t.co/Te7ssfGAsQ #math #logic
mathLOb: Tim Campion, Jinhe Ye : Homotopy Types of Abstract Elementary Classes https://t.co/I8eykgIGs3 https://t.co/14Imp4O1j5
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 2
Total Words: 5413
Unqiue Words: 1279

1.997 Mikeys
#8. A descriptive Main Gap Theorem
Francesco Mangraviti, Luca Motto Ros
Answering one of the main questions of [FHK14, Chapter 7], we show that there is a tight connection between the depth of a classifiable shallow theory $T$ and the Borel rank of the isomorphism relation $\cong^\kappa_T$ on its models of size $\kappa$, for $\kappa$ any cardinal satisfying $\kappa^{< \kappa} = \kappa > 2^{\aleph_0}$. This is achieved by establishing a link between said rank and the $\mathcal{L}_{\infty \kappa}$-Scott height of the $\kappa$-sized models of $T$, and yields to the following descriptive set-theoretical analogue of Shelah's Main Gap Theorem: Given a countable complete first-order theory $T$, either $\cong^\kappa_T$ is Borel with a countable Borel rank (i.e. very simple, given that the length of the relevant Borel hierarchy is $\kappa^+ > \aleph_1$), or it is not Borel at all. The dividing line between the two situations is the same as in Shelah's theorem, namely that of classifiable shallow theories. We also provide a Borel reducibility version of the above theorem, discuss some limitations to the...
more | pdf | html
Figures
None.
Tweets
mathLOb: Francesco Mangraviti, Luca Motto Ros : A descriptive Main Gap Theorem https://t.co/8cwmT0F2PK https://t.co/H5Js3IriU9
settheorytalks: RT @mathLOb: Francesco Mangraviti, Luca Motto Ros : A descriptive Main Gap Theorem https://t.co/8cwmT0F2PK https://t.co/H5Js3IriU9
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 2
Total Words: 17780
Unqiue Words: 2657

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 192,914 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 192,914 papers.