A Categorial Equivalence for semi-Nelson algebras SGQ7VFEZ22

URI	`m2://res/SGQ7VFEZ22`
Kind	preprint
Creators	Juan Manuel Cornejo, Andrés Gallardo, Ignacio Viglizzo
Date	2020-07-28
MSC	03-XX
Subjects	arxiv math.LO
Scope	in

Expressions

The mentions of the inventory that name this resource. Each name links to the card of its inventory row.

Item	Kind	Where	Source
1PGH1DGMXQ	statement	lemma 3.11	arxiv
3J156FXJHP	definition	definition 2.3	arxiv
4Q7AC5S295	statement	proposition 4.5	arxiv
4TK7X1G257	example	example 3.2	arxiv
67KJT989D3	definition	definition 2.8	arxiv
68PZAZ5NXK	example	example 3.14	arxiv
778VS8GH67	statement	fact 3.10	arxiv
7BSYSKRSG5	statement	theorem 2.12	arxiv
8ZA8T60WJS	definition	definition 2.4	arxiv
931AXEM2DH	definition	definition 2.1	arxiv
AG7V6WHET5	definition	definition 3.1	arxiv
BZ4JMQF372	definition	definition 2.9	arxiv
D53RA3E246	definition	definition 3.9	arxiv
DHW7BD2CBC	statement	theorem 4.6	arxiv
E7JQ7X3GTB	statement	lemma 3.4	arxiv
FMC6DPSHMK	definition	definition 2.6	arxiv
GGER7XMCKM	definition	definition 2.2	arxiv
JAY1WWHDDM	statement	proposition 2.11	arxiv
N3W6QRN12W	statement	proposition 3.12	arxiv
PRHT8X1REV	statement	lemma 3.7	arxiv
QMKX272WHB	example	example 4.8	arxiv
QRMRVFY2FN	statement	theorem 3.6	arxiv
QRYRJM8S7M	statement	fact 4.7	arxiv
RJDCDWPXNC	statement	lemma 3.5	arxiv
RYEMF5DEET	statement	proposition 2.5	arxiv
SER9YAXC2K	statement	lemma 4.1	arxiv
SY4W3ZWBAE	statement	proposition 3.8	arxiv
TPQWMRXTYQ	statement	theorem 4.4	arxiv
TXBQ2WX42Y	statement	fact 2.10	arxiv
VHF5WTGX7P	statement	fact 3.3	arxiv
WP8ATSZPMB	statement	lemma 2.7	arxiv
XGRQ2D5F7N	statement	theorem 3.13	arxiv
Z9DST6T7SV	definition	definition 4.2	arxiv
ZWFDX1YXKX	statement	theorem 4.3	arxiv