A clonoid based approach to some finiteness results in universal algebraic geometry

Erhard Aichinger; Bernardo Rossi

doi:10.1007/s00012-019-0638-9

A clonoid based approach to some finiteness results in universal algebraic geometry

Erhard Aichinger
, Bernardo Rossi

Institute for Algebra

Research output: Contribution to journal › Article › peer-review

Abstract

We prove that for a finite first order structure A and a set of first order formulas Φ in its language with certain closure properties, the finitary relations on A that are definable via formulas in Φ are uniquely determined by those of arity |A|^2.This yields new proofs for some finiteness results from universal algebraic geometry.

Original language	English
Article number	8
Pages (from-to)	81:8:1-7
Number of pages	7
Journal	Algebra Universalis
Volume	81
Issue number	1
DOIs	https://doi.org/10.1007/s00012-019-0638-9
Publication status	Published - 01 Feb 2020

Fields of science

101 Mathematics
101001 Algebra
101005 Computer algebra
101013 Mathematical logic
102031 Theoretical computer science

JKU Focus areas

Digital Transformation

Access to Document

10.1007/s00012-019-0638-9

Cite this

@article{0d35d284a27346f291df25b249984947,

title = "A clonoid based approach to some finiteness results in universal algebraic geometry",

abstract = "We prove that for a finite first order structure A and a set of first order formulas Φ in its language with certain closure properties, the finitary relations on A that are definable via formulas in Φ are uniquely determined by those of arity |A|\textasciicircum{}2.This yields new proofs for some finiteness results from universal algebraic geometry.",

author = "Erhard Aichinger and Bernardo Rossi",

year = "2020",

month = feb,

day = "1",

doi = "10.1007/s00012-019-0638-9",

language = "English",

volume = "81",

pages = "81:8:1--7",

journal = "Algebra Universalis",

issn = "0002-5240",

publisher = "Springer Basel AG 2011",

number = "1",

}

TY - JOUR

T1 - A clonoid based approach to some finiteness results in universal algebraic geometry

AU - Aichinger, Erhard

AU - Rossi, Bernardo

PY - 2020/2/1

Y1 - 2020/2/1

N2 - We prove that for a finite first order structure A and a set of first order formulas Φ in its language with certain closure properties, the finitary relations on A that are definable via formulas in Φ are uniquely determined by those of arity |A|^2.This yields new proofs for some finiteness results from universal algebraic geometry.

AB - We prove that for a finite first order structure A and a set of first order formulas Φ in its language with certain closure properties, the finitary relations on A that are definable via formulas in Φ are uniquely determined by those of arity |A|^2.This yields new proofs for some finiteness results from universal algebraic geometry.

UR - https://www.scopus.com/pages/publications/85078129267

U2 - 10.1007/s00012-019-0638-9

DO - 10.1007/s00012-019-0638-9

M3 - Article

SN - 0002-5240

VL - 81

SP - 81:8:1-7

JO - Algebra Universalis

JF - Algebra Universalis

IS - 1

M1 - 8

ER -

A clonoid based approach to some finiteness results in universal algebraic geometry

Abstract

Fields of science

JKU Focus areas

Access to Document

Other files and links

Clonoids: a unifying approach to equational logic and clones

Cite this

A clonoid based approach to some finiteness results in universal algebraic geometry

Abstract

Fields of science

JKU Focus areas

Access to Document

Other files and links

Projects

Clonoids: a unifying approach to equational logic and clones

Cite this