Reverse mathematics studies which subsystems of second order arithmetic are
equivalent to key theorems of ordinary, non-set-theoretic mathematics. The main
philosophical application of reverse mathematics proposed thus far is
foundational analysis, which explores the limits of different foundations for
mathematics in a formally precise manner. This paper gives a detailed account
of the motivations and methodology of foundational analysis, which have
heretofore been largely left implicit in the practice. It then shows how this
account can be fruitfully applied in the evaluation of major foundational
approaches by a careful examination of two case studies: a partial realization
of Hilbert's program due to Simpson [1988], and predicativism in the extended
form due to Feferman and Sch\"{u}tte.
Shore [2010, 2013] proposes that equivalences in reverse mathematics be
proved in the same way as inequivalences, namely by considering only
$\omega$-models of the systems in question. Shore refers to this approach as
computational reverse...

more |
pdf
| html
None.

timhaight4:
RT @mathLOb: Benedict Eastaugh : Computational reverse mathematics and foundational analysis https://t.co/EPyhgXL4do

None.

None.

Sample Sizes : None.

Authors: 1

Total Words: 21406

Unqiue Words: 4003

Suppose that the outcomes of a roulette table are not entirely random, in the
sense that there exists a strategy which achieves the accumulation of an
eventually unbounded amount of capital. Is there then a successful `monotonous'
strategy, which only ever (declines to bet or) bets on red, or alternatively,
only ever bets on black? Alternatively, is there a successful `separable'
strategy, in the sense that it does not use the winnings from betting on red in
order to bet on black, and vice-versa? We show that the answer to these
questions can be positive or negative depending on the simplicity of the
strategies in question, the main two cases being the decidable strategies and
the infinite mixtures of decidable strategies. More generally, we show that
there are warped casino sequences, even with effective Hausdorff dimension 1/2,
such that for any effective mixture of strategies (also viewed as computably
enumerable strategies) which succeeds on them, it is undecidable whether more
capital is placed on red or black in each round....

more |
pdf
| html
None.

BenediktLoewe:
RT @mathLOb: George Barmpalias, Nan Fang, Andrew Lewis-Pye : Monotonous betting strategies in warped casinos https://t.co/Dr8IaqZqM2

None.

None.

Sample Sizes : None.

Authors: 3

Total Words: 13282

Unqiue Words: 2325

In this paper we study near vector spaces over a commutative $F$ from a model
theoretic point of view. In this context we show regular near vector spaces are
in fact vector spaces. We find that near vector spaces are not first order
axiomatisable, but that finite block near vector spaces are. In the latter case
we establish quantifier elimination, and that the theory is controlled by which
elements of the pointwise additive closure of $F$ are automorphisms of the near
vector space.

more |
pdf
| html
None.

MathPaper:
The model theory of Commutative Near Vector Spaces. https://t.co/bKWi1zTLTB

None.

None.

Sample Sizes : None.

Authors: 2

Total Words: 9595

Unqiue Words: 1706

We prove that there exists a countable infinite sequence of non-empty special
$\Pi^0_1$ classes $\{\mathcal{P}_i\}_{i\in\omega}$ such that no infinite union
of elements of any $\mathcal{P}_i$ computes the halting set. We then give a
generalized form of lower and upper cone avoidance for infinite unions. That
is, we show that for any special $\Pi^0_1$ class $\mathcal{P}$ and any
countable sequence of sets in $\mathcal{P}$, $\mathcal{P}$ has a member that is
not computable by the infinite union of elements of the sequence. We also prove
the upper cone counterpart, that for any non-recursive set $X$, every non-empty
$\Pi^0_1$ class contains a countable sequence of members whose join does not
compute $X$. We finally show that there exists a $\Pi^0_1$ class whose degree
specrum is a countably infinite strict chain.

more |
pdf
| html
None.

None.

None.

Sample Sizes : None.

Authors: 1

Total Words: 4587

Unqiue Words: 1015

We prove Zilber's Trichotomy Conjecture for strongly minimal expansions of
two-dimensional groups, definable in o-minimal structures:
Theorem. Let M be an o-minimal expansion of a real closed field, (G;+) a
2-dimensional group definable in M, and D = (G;+,...) a strongly minimal
structure, all of whose atomic relations are definable in M. If D is not
locally modular, then an algebraically closed field K is interpretable in D,
and the group G, with all its induced D-structure, is definably isomorphic in D
to an algebraic K-group with all its induced K-structure.

more |
pdf
| html
None.

MathPaper:
Strongly minimal groups in o-minimal structures. https://t.co/P9O8pIxrJm

None.

None.

Sample Sizes : None.

Authors: 3

Total Words: 33636

Unqiue Words: 3938

We compute the model-theoretic Grothendieck ring, $K_0(\mathcal{Q})$, of a
dense linear order (DLO) with or without end points, $\mathcal{Q}=(Q,<)$, as a
structure of the signature $\{<\}$, and show that it is a quotient of the
polynomial ring over $\mathbb{Z}$ generated by $\mathbb
N_+\times(Q\sqcup\{-\infty\})$ by an ideal that encodes multiplicative
relations of pairs of generators. As a corollary we obtain that a DLO satisfies
the pigeon hole principle (PHP) for definable subsets and definable bijections
between them--a property that is too strong for many structures.

more |
pdf
| html
None.

None.

None.

Sample Sizes : None.

Authors: 3

Total Words: 8908

Unqiue Words: 1789

For any real number $p\in [1,+\infty)$, we characterize the operations
$\mathbb{R}^I\to \mathbb{R}$ that preserve $p$-integrability over finite
measure spaces, i.e., the operations under which, for every finite measure
$\mu$, the set $\mathcal{L}^p(\mu)$ is closed. We investigate the infinitary
variety of algebras whose terms are exactly such operations. It turns out that
this variety coincides with the much studied category of Dedekind
$\sigma$-complete Riesz spaces with weak unit. We also prove that $\mathbb{R}$
generates this variety. From this, we exhibit a concrete model of the free
Dedekind $\sigma$-complete Riesz spaces with weak unit.
Analogous results are obtained for operations that preserve $p$-integrability
over every (not necessarily finite) measure space. The corresponding variety is
shown to coincide with the category of Dedekind $\sigma$-complete truncated
Riesz spaces, where truncation is meant in the sense of R.N. Ball.

more |
pdf
| html
None.

MathPaper:
Operations that preserve integrability, and truncated Riesz spaces. https://t.co/77kPbJPFAX

None.

None.

Sample Sizes : None.

Authors: 1

Total Words: 14782

Unqiue Words: 2014

We compare the conceptual strength of two axiomatic theories of truth: KF and
WKF. The first one has been designed to capture Kripke's fixed-point
construction based on Strong Kleene logic. The second one is based on the Weak
Kleene evaluation schema.
In the paper "Relative truth definability of axiomatic truth theories",
Kentaro Fujimoto proved that WKF is relatively truth-definable in KF. However,
it has been an open question whether KF is relatively truth-definable in WKF.
We provide the negative answer to this question, one that does not depend on
the choice of language and coding. We consider this remarkable, because various
important properties of Weak Kleene fixed-point construction are not absolute
in this sense.

more |
pdf
| html
None.

MathPaper:
Comparing truth theories based on Weak and Strong Kleene logic. https://t.co/bLvWa0AvRW

timhaight4:
RT @mathLOb: Cezary Cieśliński : Comparing truth theories based on Weak and Strong Kleene logic https://t.co/vzAnykz0M9

None.

None.

Sample Sizes : None.

Authors: 1

Total Words: 8939

Unqiue Words: 1627

We dualize a construction of Aguzzoli-Flaminio-Ugolini of a large class of
MTL-algebras from ordered quadruples consisting of a Boolean algebra, a
generalized MTL-algebra, and two maps parameterizing the connection between
these pieces. Our dualized construction gives a uniform way of building the
extended Priestley duals of MTL-algebras in this class from the Stone duals of
their Boolean skeletons, the extended Priestley duals of their radicals, and a
family of closure operators associating the two. In order to facilitate this
work, we also offer some new results regarding the extended Priestley duals of
MTL-algebras and GMTL-algebras.

more |
pdf
| html
None.

MathPaper:
A topological approach to MTL-algebras. https://t.co/qX05bP9jdq

None.

None.

Sample Sizes : None.

Authors: 2

Total Words: 18429

Unqiue Words: 2553

We establish natural criteria under which normally iterable premice are
iterable for stacks of normal trees. Let $\Omega$ be a regular uncountable
cardinal. Let $m<\omega$ and $M$ be an $m$-sound premouse and $\Sigma$ be an
$(m,\Omega+1)$-iteration strategy for $M$ (roughly, a normal
$(\Omega+1)$-strategy).
We define a natural condensation property for iteration strategies,
\emph{inflation condensation}. We show that if $\Sigma$ has inflation
condensation then $M$ is $(m,\Omega,\Omega+1)^*$-iterable (roughly, $M$ is
iterable for length $\leq\Omega$ stacks of normal trees each of length
${<\Omega}$), and moreover, we define a specific such strategy
$\Sigma^{\mathrm{st}}$ and a reduction of stacks via $\Sigma^{\mathrm{st}}$ to
normal trees via $\Sigma$. If $\Sigma$ has the Dodd-Jensen property and
$\mathrm{card}(M)<\Omega$ then $\Sigma$ has inflation condensation.
We also apply some of the techniques developed to prove that if $\Sigma$ has
strong hull condensation (a slight strengthening of inflation condensation) and
$G$ is...

more |
pdf
| html
None.

mathLOb:
Farmer Schlutzenberg : Iterability for (transfinite) stacks https://t.co/K8SYXo8IpL https://t.co/6WbwdOsaPt

MathPaper:
Iterability for (transfinite) stacks. https://t.co/R5KgjnouVq

None.

None.

Sample Sizes : None.

Authors: 1

Total Words: 51645

Unqiue Words: 4881

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 72,995 papers.*

Sort results based on if they are interesting or reproducible.

Interesting

Reproducible