### Top 5 Arxiv Papers Today in Logic

##### #1. The independence of premise rule in intuitionistic set theories
###### Takako Nemoto, Michael Rathjen
Independence of premise principles play an important role in characterizing the modified realizability and the Dialectica interpretations. In this paper we show that a great many intuitionistic set theories are closed under the corresponding independence of premise rule for finite types over $\mathbb{N}$. It is also shown that the existence property (or existential definability property) holds for statements of the form $\neg A\to \exists x^{\sigma} F(x^{\sigma})$, where the variable $x^{\sigma}$ ranges over a finite type $\sigma$. This applies in particular to Constructive Zermelo-Fraenkel Set Theory (CZF) and Intuitionistic Zermelo-Fraenkel Set Theory (IZF), two systems known not to have the general existence property. On the technical side, the paper uses the method of realizability with truth from [21] and [8] with the underlying partial combinatory algebra (pca) chosen among the total ones. A particular instance of the latter is provided by the substructure of the graph model formed by the semi computable subsets...
more | pdf | html
None.
###### Tweets
logicians: "The independence of premise rule in intuitionistic set theories", T. Nemoto, M. Rathjen. https://t.co/6xfqmdDiTm #math #logic
mathLOb: Takako Nemoto, Michael Rathjen : The independence of premise rule in intuitionistic set theories https://t.co/US9D7F9O0v https://t.co/ZuakvIWugO
Alwe_Alwe: RT @mathLOb: Takako Nemoto, Michael Rathjen : The independence of premise rule in intuitionistic set theories https://t.co/US9D7F9O0v https…
hexirp_prixeh: RT @mathLOb: Takako Nemoto, Michael Rathjen : The independence of premise rule in intuitionistic set theories https://t.co/US9D7F9O0v https…
None.
None.
###### Other stats
Sample Sizes : None.
Authors: 2
Total Words: 0
Unqiue Words: 0

##### #2. There is no maximal decidable expansion of the $\langle \mathbb{N} ,\{ < \} \rangle$ structure
###### Sergei Soprunov
We are going to prove that if the theory of a structure $\mathcal M=\langle \mathbb{N}, \Sigma \rangle$ is decidable and the standard order $<$ on natural numbers $\mathbb{N}$ is definable in $\mathcal M$, then there is a nontrivial decidable expansion of $\mathcal M$
more | pdf | html
None.
###### Tweets
mathLOb: Sergei Soprunov : There is no maximal decidable expansion of the $\langle \mathbb{N} ,\{ \} \rangle$ structure https://t.co/0qQZhsuwiY https://t.co/Xj0GAiOsN9
None.
None.
###### Other stats
Sample Sizes : None.
Authors: 1
Total Words: 0
Unqiue Words: 0

##### #3. Classes of barren extensions
###### Natasha Dobrinen, Daniel Hathaway
Henle, Mathias, and Woodin proved that, provided that $\omega\rightarrow(\omega)^{\omega}$ holds in a model $M$ of ZF, then forcing with $([\omega]^{\omega},\subseteq^*)$ over $M$ adds no new sets of ordinals, thus earning the name a "barren" extension. Moreover, under an additional assumption, they proved that this generic extension preserves all strong partition cardinals. This forcing thus produces a model $M[\mathcal{U}]$, where $\mathcal{U}$ is a Ramsey ultrafilter, with many properties of the original model $M$. This begged the question of how important the Ramseyness of $\mathcal{U}$ is for these results. In this paper, we show that several classes of $\sigma$-closed forcings which generate non-Ramsey ultrafilters have the same properties. Such ultrafilters include Milliken-Taylor ultrafilters, a class of rapid p-points of Laflamme, $k$-arrow p-points of Baumgartner and Taylor, and extensions to a class of ultrafilters constructed by Dobrinen, Mijares and Trujillo. Furthermore, the class of Boolean...
more | pdf | html
None.
None.
None.
###### Other stats
Sample Sizes : None.
Authors: 2
Total Words: 16891
Unqiue Words: 2698

##### #4. Asymptotic analysis of Skolem's exponential functions
###### Alessandro Berarducci, Marcello Mamino
Skolem (1956) studied the germs at infinity of the smallest class of real valued functions on the positive real line containing the constant $1$, the identity function $x$, and such that whenever $f$ and $g$ are in the set, $f+g,fg$ and $f^g$ are in the set. This set of germs is well ordered and Skolem conjectured that its order type is epsilon-zero. Van den Dries and Levitz (1984) computed the order type of the fragment below $2^{2^x}$. Here we prove that the set of asymptotic classes within any archimedean class of Skolem functions has order type $\omega$. As a consequence we obtain, for each positive integer $n$, an upper bound for the fragment below $2^{n^x}$. We deduce an epsilon-zero upper bound for the fragment below $2^{x^x}$, improving the previous epsilon-omega bound by Levitz (1978). A novel feature of our approach is the use of Conway's surreal number for asymptotic calculations.
more | pdf | html
None.
None.
None.
###### Other stats
Sample Sizes : None.
Authors: 2
Total Words: 0
Unqiue Words: 0

##### #5. Interpretations of Linear Orderings in Presburger Arithmetic
###### Alexander Zapryagaev
Presburger Arithmetic $\mathop{\mathbf{PrA}}\nolimits$ is the true theory of natural numbers with addition. We consider linear orderings interpretable in Presburger Arithmetic and establish various necessary and sufficient conditions for interpretability depending on dimension $n$ of interpretation. We note this problem is relevant to the interpretations of Presburger Arithmetic in itself, as well as the characterization of automatic orderings. For $n=2$ we obtain the complete criterion of interpretability.
more | pdf | html
None.
###### Tweets
logicians: “Interpretations of Linear Orderings in Presburger Arithmetic”, A. Zapryagaev. https://t.co/CUldqQiuN0 #math #logic
None.
None.
###### Other stats
Sample Sizes : None.
Authors: 1
Total Words: 0
Unqiue Words: 0

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 225,763 papers.

###### Search
Sort results based on if they are interesting or reproducible.
Interesting
Reproducible
Online
###### Stats
Tracking 225,763 papers.