### Top 8 Arxiv Papers Today in Logic

##### #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
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…
None.
None.
###### Other stats
Sample Sizes : None.
Authors: 2
Total Words: 0
Unqiue Words: 0

##### #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
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
None.
None.
###### Other stats
Sample Sizes : None.
Authors: 1
Total Words: 0
Unqiue Words: 0

##### #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
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…
None.
None.
###### Other stats
Sample Sizes : None.
Authors: 1
Total Words: 0
Unqiue Words: 0

##### #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
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
None.
None.
###### Other stats
Sample Sizes : None.
Authors: 3
Total Words: 0
Unqiue Words: 0

##### #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
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
None.
None.
###### Other stats
Sample Sizes : None.
Authors: 4
Total Words: 0
Unqiue Words: 0

##### #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
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…
None.
None.
###### Other stats
Sample Sizes : None.
Authors: 1
Total Words: 9899
Unqiue Words: 1695

##### #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
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
None.
None.
###### Other stats
Sample Sizes : None.
Authors: 2
Total Words: 5413
Unqiue Words: 1279

##### #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
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
None.
None.
###### Other stats
Sample Sizes : None.
Authors: 2
Total Words: 17780
Unqiue Words: 2657

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
Online
###### Stats
Tracking 192,914 papers.