Top 7 Arxiv Papers Today in Logic


0.0 Mikeys
#1. Varieties of Regular Pseudocomplemented de Morgan Algebras
M. E. Adams, H. P. Sankappanavar, Júlia Vaz de Carvalho
In this paper, we investigate the varieties $\mathbf M_n$ and $\mathbf K_n$ of regular pseudocomplemented de Morgan and Kleene algebras of range $n$, respectively. Priestley duality as it applies to pseudocomplemented de Morgan algebras is used. We characterise the dual spaces of the simple (equivalently, subdirectly irreducible) algebras in $\mathbf M_n$ and explicitly describe the dual spaces of the simple algebras in $\mathbf M_1$ and $\mathbf K_1$. We show that the variety $\mathbf M_1$ is locally finite, but this property does not extend to $\mathbf M_n$ or even $\mathbf K_n$ for $n \geq 2$. We also show that the lattice of subvarieties of $\mathbf K_1$ is an $\omega + 1$ chain and the cardinality of the lattice of subvarieties of either $\mathbf K_2$ or $\mathbf M_1$ is $2^{\omega}$. A description of the lattice of subvarieties of $\mathbf M_1$ is given.
more | pdf | html
Figures
None.
Tweets
mathLOb: M. E. Adams, H. P. Sankappanavar, Júlia Vaz de Carvalho : Varieties of Regular Pseudocomplemented de Morgan Algebras https://t.co/ff850MCVYW https://t.co/Hz8ojuVEW8
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 3
Total Words: 19240
Unqiue Words: 2303

0.0 Mikeys
#2. Coherence via Wellfoundedness
Nicolai Kraus, Jakob von Raumer
Homotopy type theory allows us to work with the higher-dimensional structures that appear in homotopy theory and in higher category theory. The notion of coherence is central: it is usually not enough to know that objects are equal, but one needs to know how they are equal, and collections of equality proofs need to fit together. This is in particular true for quotienting -- a natural operation which gives a new type for any binary relation on a type and, in order to be well-behaved, cuts off higher structure (set-truncates). This makes it hard to characterise the type of maps from a quotient into a higher type. Open questions about free higher groups, pushouts of sets, and a well-behaved type-theoretic representation of type theory itself emerge from this difficulty. In order to approach these problems, we work with cycles (closed zig-zags) given by the transitive closure of the relation. Reasoning about these is hard since the obvious inductive strategy is bound to fail: if we remove a segment from a closed zig-zag, it is...
more | pdf | html
Figures
None.
Tweets
dylanparra55: RT @mathLOb: Nicolai Kraus, Jakob von Raumer : Coherence via Wellfoundedness https://t.co/67cKgiXcqT https://t.co/L480OVTFu7
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 2
Total Words: 0
Unqiue Words: 0

0.0 Mikeys
#3. Resetting Infinite Time Blum-Shub-Smale-Machines
Merlin Carl, Lorenzo Galeotti
In this paper, we study strengthenings of Infinite Times Blum-Shub-Smale-Machines (ITBMs) that were proposed by Seyfferth in [16] and Welch in [17] obtained by modifying the behaviour of the machines at limit stages. In particular, we study Strong Infinite Times Blum-Shub-Smale-Machines (SITBMs), a variation of ITBMs where lim is substituted by lim inf in computing the content of registers at limit steps. We will provide upper and lower bounds to the computational strength of such machines. Finally, we will study the computational strength of restrictions of SITBMs to rational numbers strengthening a result in [17] and partially answering a question posed by Welch in [17].
more | pdf | html
Figures
None.
Tweets
BenediktLoewe: RT @mathLOb: Merlin Carl, Lorenzo Galeotti : Resetting Infinite Time Blum-Shub-Smale-Machines https://t.co/ld7LsjbVun https://t.co/5Pd8e81Y…
robertpassmann: RT @mathLOb: Merlin Carl, Lorenzo Galeotti : Resetting Infinite Time Blum-Shub-Smale-Machines https://t.co/ld7LsjbVun https://t.co/5Pd8e81Y…
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 2
Total Words: 0
Unqiue Words: 0

0.0 Mikeys
#4. Minimal bad sequences are necessary for a uniform Kruskal theorem
Anton Freund, Michael Rathjen, Andreas Weiermann
The minimal bad sequence argument due to Nash-Williams is a powerful tool in combinatorics with important implications for theoretical computer science. In particular, it yields a very elegant proof of Kruskal's theorem. At the same time, it is known that Kruskal's theorem does not require the full strength of the minimal bad sequence argument. This claim can be made precise in the framework of reverse mathematics, where the existence of minimal bad sequences is equivalent to a principle known as $\Pi^1_1$-comprehension, which is much stronger than Kruskal's theorem. In the present paper we give a uniform version of Kruskal's theorem by relativizing it to certain transformations of well partial orders. We show that $\Pi^1_1$-comprehension is equivalent to our uniform Kruskal theorem (over $\mathbf{RCA}_0$ together with the chain-antichain principle). This means that any proof of the uniform Kruskal theorem must entail the existence of minimal bad sequences. As a by-product of our investigation, we obtain uniform proofs of several...
more | pdf | html
Figures
None.
Tweets
mathLOb: Anton Freund, Michael Rathjen, Andreas Weiermann : Minimal bad sequences are necessary for a uniform Kruskal theorem https://t.co/vP0o4JuOjB https://t.co/dkQanY0t1V
arxiv_cslo: Minimal bad sequences are necessary for a uniform Kruskal theorem https://t.co/EHGHtgYOow
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 3
Total Words: 0
Unqiue Words: 0

0.0 Mikeys
#5. A Note on Computable Embeddings for Ordinals and Their Reverses
Nikolay Bazhenov, Stefan Vatev
We continue the study of computable embeddings for pairs of structures, i.e. for classes containing precisely two non-isomorphic structures. Surprisingly, even for some pairs of simple linear orders, computable embeddings induce a non-trivial degree structure. Our main result shows that although $\{\omega \cdot 2, \omega^\star \cdot 2\}$ is computably embeddable in $\{\omega^2, {(\omega^2)}^\star\}$, the class $\{\omega \cdot k,\omega^\star \cdot k\}$ is \emph{not} computably embeddable in $\{\omega^2, {(\omega^2)}^\star\}$ for any natural number $k \geq 3$.
more | pdf | html
Figures
None.
Tweets
mathLOb: Nikolay Bazhenov, Stefan Vatev : A Note on Computable Embeddings for Ordinals and Their Reverses https://t.co/qNqO7cbYVl https://t.co/hclqojOIPJ
Alwe_Logic: RT @mathLOb: Nikolay Bazhenov, Stefan Vatev : A Note on Computable Embeddings for Ordinals and Their Reverses https://t.co/qNqO7cbYVl https…
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 2
Total Words: 0
Unqiue Words: 0

0.0 Mikeys
#6. Implication Zroupoids and Birkhoff Systems
Juan M. Cornejo, Hanamantagouda P. Sankappanavar
An algebra $A = \langle A, \to, 0 \rangle$, where $\to$ is binary and $0$ is a constant, is called an implication zroupoid (I-zroupoid, for short) if A satisfies the identities: $(x \to y) \to z \approx ((z' \to x) \to (y \to z)')'$, where $x' := x \to 0$, and $0'' \approx 0$. These algebras generalize De Morgan algebras and $\lor$-semilattices with zero. Let I denote the variety of implication zroupoids. For details on the motivation leading to these algebras, we refer the reader to [San12] (or the relevant papers mentioned at the end of this paper). The investigations into the structure of the lattice of subvarieties of I, begun in [San12], have continued in [CS16a, CS16b, CS17a, CS17b, CS18a, CS18b, CS19] and [GSV19]. The present paper is a sequel to this series of papers and is devoted to making further contributions to the theory of implication zroupoids. The identity (BR): $x \land (x \lor y) \approx x \lor (x \land y)$ is called the Birkhoff's identity. The main purpose of this paper is to prove that if A is an algebra in...
more | pdf | html
Figures
None.
Tweets
mathLOb: Juan M. Cornejo, Hanamantagouda P. Sankappanavar : Implication Zroupoids and Birkhoff Systems https://t.co/GTNWWLDrG3 https://t.co/ZIl35rhXQT
anelson_os: TIL "zroupoids" are a real thing; they're like a De Morgan algebra, but with implication and negation as its "primitive operators" (as opposed to negation, conjunction, and disjunction). https://t.co/i2qcHIXr57
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 2
Total Words: 4105
Unqiue Words: 928

0.0 Mikeys
#7. Sequent Calculi without Polarities for the Unity of Logic
Norihiro Yamada
The present work aims to establish the unity of logic in the same sense as Girard's well-known work yet without having recourse to polarities. Our motivations are to reduce various logics into a single one, clarify the dichotomy between linearity and non-linearity (resp. intuitionisity and classicality) in logic, and further prove that actually we do not need polarities for the unity of logic. Our starting conjecture is that there would be mathematically precise operations of unlinearization and classicalization on logic such that the unlinearization of classical linear logic (CLL) (resp. intuitionistic linear logic (ILL}) coincides with classical logic (CL) (resp. intuitionistic logic (IL)), and the classicalization of IL (resp. ILL) with CL (resp. CLL), where the two operations are compatible in the sense of the evident commutativity. Nevertheless, CLL, in contradiction to the name, is actually not the classicalization of ILL, and CL is not the unlinearization of CLL, both of which are obvious from a game-semantic analysis. The...
more | pdf | html
Figures
None.
Tweets
mathLOb: Norihiro Yamada : Sequent Calculi without Polarities for the Unity of Logic https://t.co/NR5kXkjKd5 https://t.co/NwdZgl7kdZ
dylanparra55: RT @mathLOb: Norihiro Yamada : Sequent Calculi without Polarities for the Unity of Logic https://t.co/NR5kXkjKd5 https://t.co/NwdZgl7kdZ
Github
None.
Youtube
None.
Other stats
Sample Sizes : None.
Authors: 1
Total Words: 18979
Unqiue Words: 2249

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 256,574 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 256,574 papers.