We continue the study of $n$-dependent groups, fields and related structures.
We demonstrate that $n$-dependence is witnessed by formulas with all but one
variable singletons, provide a type-counting criterion for $2$-dependence and
use it to deduce $2$-dependence for compositions of NIP relations with
arbitrary binary functions. We prove a result on intersections of
type-definable connected components over generic sets of parameters in
$n$-dependent groups, generalizing Shelah's results on absoluteness of $G^{00}$
in NIP theories and relative absoluteness of $G^{00}$ for $2$-dependent
theories. We show that Granger's examples of non-degenerate bilinear forms over
NIP fields are $2$-dependent, and characterize preservation of $n$-dependence
under expansion by generic relations for geometric theories in terms of
disintegration of their algebraic closure. Finally, we show that every infinite
$n$-dependent valued field of positive characteristic is henselian,
generalizing a recent result of Johnson for NIP.

more |
pdf
| html
None.

mathLOb:
Artem Chernikov, Nadja Hempel : On n-dependent groups and fields II https://t.co/zFKY1jFvVw https://t.co/64hJMWSq7r

None.

None.

Sample Sizes : None.

Authors: 2

Total Words: 0

Unqiue Words: 0

The uniform continuity theorem UCT states that every pointwise continuous
real-valued function on the unit interval is uniformly continuous. In
constructive reverse mathematics, UCT is stronger than the decidable fan
theorem. In this paper, we show that when "pointwise continuous" is replaced
with "having a continuous modulus", UCT becomes equivalent to the decidable fan
theorem. Here, a modulus of a real-valued function on the unit interval is a
function which calculates a modulus of pointwise continuity of the given
function from the input and the required accuracy of the output. Such a modulus
is said to be continuous if it is pointwise continuous with respect to the
representation of real numbers as regular sequences of rationals equipped with
the topology of Baire space. We also show that continuous real-valued functions
on the unit interval which have continuous moduli are exactly those functions
induced by type one "continuous functions" described by Loeb [Ann. Pure Appl.
Logic, 132(1):51-66, 2005].

more |
pdf
| html
None.

mathLOb:
Makoto Fujiwara, Tatsuji Kawai : Decidable fan theorem and uniform continuity theorem with continuous moduli https://t.co/eskyy8Dzm3 https://t.co/JPuA9GoQNQ

None.

None.

Sample Sizes : None.

Authors: 2

Total Words: 0

Unqiue Words: 0

We study methods with which we can obtain the consistency of forcing axioms,
and particularly higher forcing axioms. We first prove that the consistency of
a supercompact cardinal $\theta>\kappa$ implies the consistency of a forcing
axiom for $\kappa$-strongly proper forcing notions which are also
$\kappa$-lattice, and then eliminate the need for the supercompact cardinal.
The proof goes through a natural reflection property for $\kappa$-strongly
proper forcings and through the fact that every $\kappa$-sequence of ordinals
added by a $\kappa$-lattice and $\kappa$-strongly proper forcing is in a
$\kappa$-Cohen extension.

more |
pdf
| html
None.

logicians:
“The κ-Strongly Proper Forcing Axiom”, D. Asperó, A. Karagila.
https://t.co/Y6GnLWHOag
#math #logic #SetTheory

mathLOb:
David Asperó, Asaf Karagila : The $κ$-Strongly Proper Forcing Axiom https://t.co/27LBk6GjYc https://t.co/T7SSOqEK9Y

kadamasaru:
RT @mathLOb: David Asperó, Asaf Karagila : The $κ$-Strongly Proper Forcing Axiom https://t.co/27LBk6GjYc https://t.co/T7SSOqEK9Y

kururu_goedel:
RT @mathLOb: David Asperó, Asaf Karagila : The $κ$-Strongly Proper Forcing Axiom https://t.co/27LBk6GjYc https://t.co/T7SSOqEK9Y

settheorytalks:
RT @mathLOb: David Asperó, Asaf Karagila : The $κ$-Strongly Proper Forcing Axiom https://t.co/27LBk6GjYc https://t.co/T7SSOqEK9Y

BenediktLoewe:
RT @mathLOb: David Asperó, Asaf Karagila : The $κ$-Strongly Proper Forcing Axiom https://t.co/27LBk6GjYc https://t.co/T7SSOqEK9Y

berenbeim:
RT @mathLOb: David Asperó, Asaf Karagila : The $κ$-Strongly Proper Forcing Axiom https://t.co/27LBk6GjYc https://t.co/T7SSOqEK9Y

tishiu:
RT @mathLOb: David Asperó, Asaf Karagila : The $κ$-Strongly Proper Forcing Axiom https://t.co/27LBk6GjYc https://t.co/T7SSOqEK9Y

None.

None.

Sample Sizes : None.

Authors: 2

Total Words: 5102

Unqiue Words: 1132

Methods of Higher Forcing Axioms was a small workshop in Norwich, taking
place between 10--12 of September, 2019. The goal was to encourage future
collaborations, and create more focused threads of research on the topic of
higher forcing axioms. This is an improved version of the notes taken during
the meeting by Asaf Karagila.

more |
pdf
| html
None.

logicians:
“Methods in Higher Forcing Axioms (Workshop Notes)”, D. Asperó, A. Karagila.
https://t.co/qeR58rFRCI
#math #logic #SetTheory

mathLOb:
David Asperó, Asaf Karagila : Methods in Higher Forcing Axioms (Workshop Notes) https://t.co/QRnh4cAYot https://t.co/FRfErhvVAE

kadamasaru:
RT @mathLOb: David Asperó, Asaf Karagila : Methods in Higher Forcing Axioms (Workshop Notes) https://t.co/QRnh4cAYot https://t.co/FRfErhvVAE

kururu_goedel:
RT @mathLOb: David Asperó, Asaf Karagila : Methods in Higher Forcing Axioms (Workshop Notes) https://t.co/QRnh4cAYot https://t.co/FRfErhvVAE

settheorytalks:
RT @mathLOb: David Asperó, Asaf Karagila : Methods in Higher Forcing Axioms (Workshop Notes) https://t.co/QRnh4cAYot https://t.co/FRfErhvVAE

st_toHKR:
RT @mathLOb: David Asperó, Asaf Karagila : Methods in Higher Forcing Axioms (Workshop Notes) https://t.co/QRnh4cAYot https://t.co/FRfErhvVAE

jamesfanshi:
RT @mathLOb: David Asperó, Asaf Karagila : Methods in Higher Forcing Axioms (Workshop Notes) https://t.co/QRnh4cAYot https://t.co/FRfErhvVAE

tishiu:
RT @mathLOb: David Asperó, Asaf Karagila : Methods in Higher Forcing Axioms (Workshop Notes) https://t.co/QRnh4cAYot https://t.co/FRfErhvVAE

LinMnxef87932:
RT @mathLOb: David Asperó, Asaf Karagila : Methods in Higher Forcing Axioms (Workshop Notes) https://t.co/QRnh4cAYot https://t.co/FRfErhvVAE

None.

None.

Sample Sizes : None.

Authors: 2

Total Words: 6396

Unqiue Words: 1598

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 234,430 papers.*

Sort results based on if they are interesting or reproducible.

Interesting

Reproducible