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.

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.

Sample Sizes : None.

Authors: 2

Total Words: 0

Unqiue Words: 0

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.

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.

Sample Sizes : None.

Authors: 1

Total Words: 0

Unqiue Words: 0

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.

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.

Sample Sizes : None.

Authors: 1

Total Words: 0

Unqiue Words: 0

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.

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.

Sample Sizes : None.

Authors: 3

Total Words: 0

Unqiue Words: 0

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.

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.

Sample Sizes : None.

Authors: 4

Total Words: 0

Unqiue Words: 0

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.

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.

Sample Sizes : None.

Authors: 1

Total Words: 9899

Unqiue Words: 1695

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.

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.

Sample Sizes : None.

Authors: 2

Total Words: 5413

Unqiue Words: 1279

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.

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.

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.*

Sort results based on if they are interesting or reproducible.

Interesting

Reproducible