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.

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.

Sample Sizes : None.

Authors: 2

Total Words: 0

Unqiue Words: 0

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.

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.

Sample Sizes : None.

Authors: 1

Total Words: 0

Unqiue Words: 0

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.

Sample Sizes : None.

Authors: 2

Total Words: 16891

Unqiue Words: 2698

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.

Sample Sizes : None.

Authors: 2

Total Words: 0

Unqiue Words: 0

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.

logicians:
“Interpretations of Linear Orderings in Presburger Arithmetic”, A. Zapryagaev.
https://t.co/CUldqQiuN0
#math #logic

None.

None.

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

Sort results based on if they are interesting or reproducible.

Interesting

Reproducible