Top 10 Arxiv Papers Today in Logic


2.047 Mikeys
#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
Figures
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
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 1
Total Words: 13844
Unqiue Words: 2527

2.047 Mikeys
#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
Figures
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
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 1
Total Words: 2657
Unqiue Words: 713

2.002 Mikeys
#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
Figures
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…
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 1
Total Words: 1508
Unqiue Words: 506

1.998 Mikeys
#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
Figures
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
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 2
Total Words: 4636
Unqiue Words: 1172

1.998 Mikeys
#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
Figures
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
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 4
Total Words: 19541
Unqiue Words: 3014

1.998 Mikeys
#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
Figures
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
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 3
Total Words: 33254
Unqiue Words: 3776

0.0 Mikeys
#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
Figures
None.
Tweets
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 2
Total Words: 9498
Unqiue Words: 1787

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

0.0 Mikeys
#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
Figures
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…
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 1
Total Words: 9456
Unqiue Words: 1867

0.0 Mikeys
#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
Figures
None.
Tweets
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 1
Total Words: 4587
Unqiue Words: 1015

About

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
Categories
All
Astrophysics
Cosmology and Nongalactic Astrophysics
Earth and Planetary Astrophysics
Astrophysics of Galaxies
High Energy Astrophysical Phenomena
Instrumentation and Methods for Astrophysics
Solar and Stellar Astrophysics
Condensed Matter
Disordered Systems and Neural Networks
Mesoscale and Nanoscale Physics
Materials Science
Other Condensed Matter
Quantum Gases
Soft Condensed Matter
Statistical Mechanics
Strongly Correlated Electrons
Superconductivity
Computer Science
Artificial Intelligence
Hardware Architecture
Computational Complexity
Computational Engineering, Finance, and Science
Computational Geometry
Computation and Language
Cryptography and Security
Computer Vision and Pattern Recognition
Computers and Society
Databases
Distributed, Parallel, and Cluster Computing
Digital Libraries
Discrete Mathematics
Data Structures and Algorithms
Emerging Technologies
Formal Languages and Automata Theory
General Literature
Graphics
Computer Science and Game Theory
Human-Computer Interaction
Information Retrieval
Information Theory
Machine Learning
Logic in Computer Science
Multiagent Systems
Multimedia
Mathematical Software
Numerical Analysis
Neural and Evolutionary Computing
Networking and Internet Architecture
Other Computer Science
Operating Systems
Performance
Programming Languages
Robotics
Symbolic Computation
Sound
Software Engineering
Social and Information Networks
Systems and Control
Economics
Econometrics
General Economics
Theoretical Economics
Electrical Engineering and Systems Science
Audio and Speech Processing
Image and Video Processing
Signal Processing
General Relativity and Quantum Cosmology
General Relativity and Quantum Cosmology
High Energy Physics - Experiment
High Energy Physics - Experiment
High Energy Physics - Lattice
High Energy Physics - Lattice
High Energy Physics - Phenomenology
High Energy Physics - Phenomenology
High Energy Physics - Theory
High Energy Physics - Theory
Mathematics
Commutative Algebra
Algebraic Geometry
Analysis of PDEs
Algebraic Topology
Classical Analysis and ODEs
Combinatorics
Category Theory
Complex Variables
Differential Geometry
Dynamical Systems
Functional Analysis
General Mathematics
General Topology
Group Theory
Geometric Topology
History and Overview
Information Theory
K-Theory and Homology
Logic
Metric Geometry
Mathematical Physics
Numerical Analysis
Number Theory
Operator Algebras
Optimization and Control
Probability
Quantum Algebra
Rings and Algebras
Representation Theory
Symplectic Geometry
Spectral Theory
Statistics Theory
Mathematical Physics
Mathematical Physics
Nonlinear Sciences
Adaptation and Self-Organizing Systems
Chaotic Dynamics
Cellular Automata and Lattice Gases
Pattern Formation and Solitons
Exactly Solvable and Integrable Systems
Nuclear Experiment
Nuclear Experiment
Nuclear Theory
Nuclear Theory
Physics
Accelerator Physics
Atmospheric and Oceanic Physics
Applied Physics
Atomic and Molecular Clusters
Atomic Physics
Biological Physics
Chemical Physics
Classical Physics
Computational Physics
Data Analysis, Statistics and Probability
Physics Education
Fluid Dynamics
General Physics
Geophysics
History and Philosophy of Physics
Instrumentation and Detectors
Medical Physics
Optics
Plasma Physics
Popular Physics
Physics and Society
Space Physics
Quantitative Biology
Biomolecules
Cell Behavior
Genomics
Molecular Networks
Neurons and Cognition
Other Quantitative Biology
Populations and Evolution
Quantitative Methods
Subcellular Processes
Tissues and Organs
Quantitative Finance
Computational Finance
Economics
General Finance
Mathematical Finance
Portfolio Management
Pricing of Securities
Risk Management
Statistical Finance
Trading and Market Microstructure
Quantum Physics
Quantum Physics
Statistics
Applications
Computation
Methodology
Machine Learning
Other Statistics
Statistics Theory
Feedback
Online
Stats
Tracking 58,338 papers.