In recent years, the effort to formalize erotetic inferences---i.e.,
inferences to and from questions---has become a central concern for those
working in erotetic logic. However, few have sought to formulate a proof theory
for these inferences. To fill this lacuna, we construct a calculus for (classes
of) sequents that are sound and complete for two species of erotetic inferences
studied by Inferential Erotetic Logic (IEL): erotetic evocation and erotetic
implication. While an effort has been made to axiomatize the former in a
sequent system, there is currently no proof theory for the latter. Moreover,
the extant axiomatization of erotetic evocation fails to capture its defeasible
character and provides no rules for introducing or eliminating question-forming
operators. In contrast, our calculus encodes defeasibility conditions on
sequents and provides rules governing the introduction and elimination of
erotetic formulas. We demonstrate that an elimination theorem holds for a
version of the cut rule that applies to both...

more |
pdf
| html
None.

mathLOb:
Jared Millson : A Cut-Free Sequent Calculus for Defeasible Erotetic Inferences https://t.co/0JIs6L03eC https://t.co/u4w4waCarr

MathPaper:
A Cut-Free Sequent Calculus for Defeasible Erotetic Inferences. https://t.co/EIYHbBrmWC

None.

None.

Sample Sizes : None.

Authors: 1

Total Words: 13844

Unqiue Words: 2527

Different constructions in the recursion theory use the so-called priority
arguments. A general scheme was suggested by A.~Lachlan. Based on his work, we
define the notion of a priority-closed class of requirements. Then, for a
specific priority construction, we need to check only that all requirements we
want to satisfy belong to some priority-closed class (defined in game terms).
This game version of Lachlan's approach is used to present some results about
recursively inseparable sets obtained by the author.

more |
pdf
| html
None.

mathLOb:
Alexander Shen (LIRMM) : Priority arguments and separation problems https://t.co/c9G16wNp81 https://t.co/AwNkOodZ1V

MathPaper:
Priority arguments and separation problems. https://t.co/gt1fVkelmy

None.

None.

Sample Sizes : None.

Authors: 1

Total Words: 2657

Unqiue Words: 713

It is well known that many theorems in recursion theory can be "relativized".
This means that they remain true if partial recursive functions are replaced by
functions that are partial recursive relative to some fixed oracle set.
Uspensky formulates three "axioms" called "axiom of computation records",
"axiom of programs'" and "arithmeticity axiom". Then, using these axioms (more
precisely, two first ones) he proves basic results of the recursion theory.
These two axioms are true also for the class of functions that are partial
recursive relative to some fixed oracle set. Also this class is closed under
substitution, primitive recursion and minimization ($\mu$-operator); these
(intuitively obvious) closure properties are also used in the proofs. This
observation made by Uspensky explains why many theorems of recursion theory can
be relativized. It turns out that the reverse statement is also true: all
relativizable results follow from the first two axioms and closure properties.
Indeed, \emph{every class of partial functions that...

more |
pdf
| html
None.

logicians:
"Axiomatic approach to the theory of algorithms and relativized computability", A Shen.
https://t.co/V6ivRe3huR
#math #logic #computability

mathLOb:
Alexander Shen (ESCAPE) : Axiomatic approach to the theory of algorithms and relativized computability https://t.co/EqGF00fbbu https://t.co/FZIdGN06eL

MathPaper:
Axiomatic approach to the theory of algorithms and relativized computability. https://t.co/4rHL9fMgrL

arxiv_cslo:
Axiomatic approach to the theory of algorithms and relativized computability https://t.co/pen5qF4mEA

arxiv_cslo:
Axiomatic approach to the theory of algorithms and relativized computability https://t.co/pen5qF4mEA

arxiv_cslo:
Axiomatic approach to the theory of algorithms and relativized computability https://t.co/pen5qEMLN2

ralph_hansen:
RT @logicians: "Axiomatic approach to the theory of algorithms and relativized computability", A Shen.
https://t.co/V6ivRe3huR
#math #lo…

timhaight4:
RT @logicians: "Axiomatic approach to the theory of algorithms and relativized computability", A Shen.
https://t.co/V6ivRe3huR
#math #lo…

epist3me:
RT @logicians: "Axiomatic approach to the theory of algorithms and relativized computability", A Shen.
https://t.co/V6ivRe3huR
#math #lo…

None.

None.

Sample Sizes : None.

Authors: 1

Total Words: 1508

Unqiue Words: 506

Shelah considered a certain version of Strong Chang's Conjecture, which we
denote $\text{SCC}^{\text{cof}}$, and proved that it is equivalent to several
statements, including the assertion that Namba forcing is semiproper. We
introduce an apparently weaker version, denoted $\text{SCC}^{\text{split}}$,
and prove an analogous characterization of it. In particular,
$\text{SCC}^{\text{split}}$ is equivalent to the assertion that the the
Friedman-Krueger poset is semiproper. This strengthens and sharpens the results
of Cox, and sheds some light on problems from Usuba and Torres-Perez and Wu.

more |
pdf
| html
None.

mathLOb:
Sean Cox, Hiroshi Sakai : A variant of Shelah's characterization of Strong Chang's Conjecture https://t.co/aXAg73RkhF https://t.co/xkF0hfHWj1

MathPaper:
A variant of Shelah's characterization of Strong Chang's Conjecture. https://t.co/EwYdU5dk3L

None.

None.

Sample Sizes : None.

Authors: 2

Total Words: 4636

Unqiue Words: 1172

We introduce a notion of density point and prove results analogous to
Lebesgue's density theorem for various well-known ideals on Cantor space and
Baire space. In fact, we isolate a class of ideals for which our results hold.
As a contrasting result of independent interest, we show that there is no
reasonably definable selector that chooses representatives for the equivalence
relation on the Borel sets of having countable symmetric difference. In other
words, there is no notion of density which makes the ideal of countable sets
satisfy an analogue to the density theorem.

more |
pdf
| html
None.

mathLOb:
Sandra Müller, Philipp Schlicht, David Schrittesser, Thilo Weinert : Lebesgue's Density Theorem and definable selectors for ideals https://t.co/TjXRPD91fT https://t.co/Pt4ep9qlUy

MathPaper:
Lebesgue's Density Theorem and definable selectors for ideals. https://t.co/nMfVubOqda

None.

None.

Sample Sizes : None.

Authors: 4

Total Words: 19541

Unqiue Words: 3014

We define the interpolative fusion of multiple theories over a common reduct,
a notion that aims to provide a general framework to study model-theoretic
properties of structures with randomness. In the special case where the
theories involved are model complete, their interpolative fusion is precisely
the model companion of their union. Several theories of model-theoretic
interest are shown to be canonically bi-interpretable with interpolative
fusions of simpler theories. We initiate a systematic study of interpolative
fusions by also giving general conditions for their existence and relating
their properties to those of the individual theories from which they are built.

more |
pdf
| html
None.

mathLOb:
Alex Kruckman, Minh Chieu Tran, Erik Walsberg : Interpolative Fusions https://t.co/NeHxST4lyn https://t.co/u54XPUXeKt

MathPaper:
Interpolative Fusions. https://t.co/fnun7rCanY

None.

None.

Sample Sizes : None.

Authors: 3

Total Words: 33254

Unqiue Words: 3776

Erd\"{o}s proved that for every infinite $X \subseteq \mathbb{R}^d$ there is
$Y \subseteq X$ with $|Y|=|X|$, such that all pairs of points from $Y$ have
distinct distances, and he gave partial results for general $a$-ary volume. In
this paper, we search for the strongest possible canonization results for
$a$-ary volume, making use of general model-theoretic machinery. The main
difficulty is for singular cardinals; to handle this case we prove the
following. Suppose $T$ is a stable theory, $\Delta$ is a finite set of formulas
of $T$, $M \models T$, and $X$ is an infinite subset of $M$. Then there is $Y
\subseteq X$ with $|Y| = |X|$ and an equivalence relation $E$ on $Y$ with
infinitely many classes, each class infinite, such that $Y$ is $(\Delta,
E)$-indiscernible. We also consider the definable version of these problems,
for example we assume $X \subseteq \mathbb{R}^d$ is perfect (in the topological
sense) and we find some perfect $Y \subseteq X$ with all distances distinct.
Finally we show that Erd\"{o}s's theorem requires some...

more |
pdf
| html
None.

None.

None.

Sample Sizes : None.

Authors: 2

Total Words: 9498

Unqiue Words: 1787

We have published several articles about generalizations and boundary-case
exceptions to the Second Incompleteness Theorem during the last 25 years, The
current paper will review some of our prior results and also introduce an
"enriched" refinement of semantic tableaux deduction. While there is no
question that the Second Incompleteness Theorem is a strong result, the current
article will emphasize its boundary-case exceptions are significant because
they can own a simultaneous knowledge about their own consistency, together
with an understanding of the $\Pi_1$ implications of Peano Arithmetic.

more |
pdf
| html
None.

MathPaper:
About the Chasm Separating the Goals of Hilbert's Consistency Program from the Second Incompletess Theorem. https://t.co/OnV5DvZMk0

None.

None.

Sample Sizes : None.

Authors: 1

Total Words: 10616

Unqiue Words: 3075

We give a collection of results regarding path types, identity types and
univalent universes in certain models of type theory based on presheaves.
The main result is that path types cannot be used directly as identity types
in any Orton-Pitts style model of univalent type theory in presheaf assemblies
over the first and second Kleene algebras.
We also give a Brouwerian counterexample showing that there is no
constructive proof that there is an Orton-Pitts model of type theory in
presheaves when the universe is based on a standard construction due to Hofmann
and Streicher, and path types are identity types. A similar proof shows that
path types are not identity types in internal presheaves in realizability
toposes as long as a certain universe can be extended to a univalent one.
We show that one of our key lemmas has a purely syntactic variant in
intensional type theory, suggesting that main theorem might also have a
syntactic counterpart.

more |
pdf
| html
None.

scottfleischman:
Separating Path and Identity Types in Presheaf Models of Univalent Type Theory
Andrew Swan
https://t.co/XEY8awMLh3
"The main result is that path types cannot be used directly as identity types in any Orton-Pitts style model of univalent type theory in…"
h/t @jonsterling

MathPaper:
Separating Path and Identity Types in Presheaf Models of Univalent Type Theory. https://t.co/zv3C0NJHB3

freebroccolo:
RT @scottfleischman: Separating Path and Identity Types in Presheaf Models of Univalent Type Theory
Andrew Swan
https://t.co/XEY8awMLh3
"Th…

None.

None.

Sample Sizes : None.

Authors: 1

Total Words: 9456

Unqiue Words: 1867

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

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 58,338 papers.*

Sort results based on if they are interesting or reproducible.

Interesting

Reproducible