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
None.

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

None.

None.

Sample Sizes : None.

Authors: 3

Total Words: 19240

Unqiue Words: 2303

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
None.

dylanparra55:
RT @mathLOb: Nicolai Kraus, Jakob von Raumer : Coherence via Wellfoundedness https://t.co/67cKgiXcqT https://t.co/L480OVTFu7

None.

None.

Sample Sizes : None.

Authors: 2

Total Words: 0

Unqiue Words: 0

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
None.

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…

None.

None.

Sample Sizes : None.

Authors: 2

Total Words: 0

Unqiue Words: 0

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
None.

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

None.

None.

Sample Sizes : None.

Authors: 3

Total Words: 0

Unqiue Words: 0

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
None.

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…

None.

None.

Sample Sizes : None.

Authors: 2

Total Words: 0

Unqiue Words: 0

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
None.

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

None.

None.

Sample Sizes : None.

Authors: 2

Total Words: 4105

Unqiue Words: 928

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
None.

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

None.

None.

Sample Sizes : None.

Authors: 1

Total Words: 18979

Unqiue Words: 2249

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.*

Sort results based on if they are interesting or reproducible.

Interesting

Reproducible