### Top 10 Arxiv Papers Today in Logic

##### #1. A Cut-Free Sequent Calculus for Defeasible Erotetic Inferences
###### Jared Millson
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.
###### Tweets
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.
###### Other stats
Sample Sizes : None.
Authors: 1
Total Words: 13844
Unqiue Words: 2527

##### #2. Priority arguments and separation problems
###### Alexander Shen
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.
###### Tweets
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.
###### Other stats
Sample Sizes : None.
Authors: 1
Total Words: 2657
Unqiue Words: 713

##### #3. Axiomatic approach to the theory of algorithms and relativized computability
###### Alexander Shen
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.
###### Tweets
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.
###### Other stats
Sample Sizes : None.
Authors: 1
Total Words: 1508
Unqiue Words: 506

##### #4. A variant of Shelah's characterization of Strong Chang's Conjecture
###### Sean Cox, Hiroshi Sakai
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.
###### Tweets
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.
###### Other stats
Sample Sizes : None.
Authors: 2
Total Words: 4636
Unqiue Words: 1172

##### #5. Lebesgue's Density Theorem and definable selectors for ideals
###### Sandra Müller, Philipp Schlicht, David Schrittesser, Thilo Weinert
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.
###### Tweets
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.
###### Other stats
Sample Sizes : None.
Authors: 4
Total Words: 19541
Unqiue Words: 3014

##### #6. Interpolative Fusions
###### Alex Kruckman, Minh Chieu Tran, Erik Walsberg
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.
###### Tweets
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.
###### Other stats
Sample Sizes : None.
Authors: 3
Total Words: 33254
Unqiue Words: 3776

##### #7. Distinct Volume Subsets via Indiscernibles
###### William Gasarch, Douglas Ulrich
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.
###### Other stats
Sample Sizes : None.
Authors: 2
Total Words: 9498
Unqiue Words: 1787

##### #8. About the Chasm Separating the Goals of Hilbert's Consistency Program from the Second Incompletess Theorem
###### Dan E. Willard
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.
###### Tweets
MathPaper: About the Chasm Separating the Goals of Hilbert's Consistency Program from the Second Incompletess Theorem. https://t.co/OnV5DvZMk0
None.
None.
###### Other stats
Sample Sizes : None.
Authors: 1
Total Words: 10616
Unqiue Words: 3075

##### #9. Separating Path and Identity Types in Presheaf Models of Univalent Type Theory
###### Andrew Swan
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.
###### Tweets
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.
###### Other stats
Sample Sizes : None.
Authors: 1
Total Words: 9456
Unqiue Words: 1867

##### #10. Countable chains and infinite joins in effectively closed sets of Cantor space
###### Ahmet Çevik
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.
###### Other stats
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.

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