J 2018

Towards a pseudoequational proof theory

ALMEIDA, Jorge a Ondřej KLÍMA

Základní údaje

Originální název

Towards a pseudoequational proof theory

Autoři

ALMEIDA, Jorge (620 Portugalsko) a Ondřej KLÍMA (203 Česká republika, garant, domácí)

Vydání

Portugaliae mathematica, Lisboa, 2018, 0032-5155

Další údaje

Jazyk

angličtina

Typ výsledku

Článek v odborném periodiku

Obor

10101 Pure mathematics

Stát vydavatele

Portugalsko

Utajení

není předmětem státního či obchodního tajemství

Odkazy

Impakt faktor

Impact factor: 0.500

Kód RIV

RIV/00216224:14310/18:00101744

Organizační jednotka

Přírodovědecká fakulta

DOI

UT WoS

000452893900001

EID Scopus

2-s2.0-85058806006

Klíčová slova anglicky

Pseudoidentity; syntactical proof; semigroup; profinite monoid; completeness; reducible pseudovariety; implicit signature

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 23. 4. 2024 14:15, Mgr. Michal Petr

Anotace

V originále

A new scheme for proving pseudoidentities from a given set Sigma of pseudoidentities, which is clearly sound, is also shown to be complete in many instances, such as when Sigma defines a locally finite variety, a pseudovariety of groups, more generally, of completely simple semigroups, or of commutative monoids. Many further examples for which the scheme is complete are given when Sigma defines a pseudovariety V which is sigma-reducible for the equation x=y, provided Sigma is enough to prove a basis of identities for the variety of sigma-algebras generated by V. This gives ample evidence in support of the conjecture that the proof scheme is complete in general.

Návaznosti

GA15-02862S, projekt VaV
Název: Aplikace algebry a kombinatoriky v teorii formálních jazyků
Investor: Grantová agentura ČR, Aplikace algebry a kombinatoriky v teorii formálních jazyků