arXiv subjects

Z. Gyenis

Publications and source records attributed to Z. Gyenis.

2 recordsLinked to original sources

arXiv2023

Logic families

A logic family is a bunch of logics that belong together in some way. First-order logic is one of the examples. Logics organized into a structure occurs in abstract model theory, institution theory and in algebraic logic. Logic families play a role in adopting methods for investigating sentential logics to first-order like logics. We thoroughly discuss the notion of logic families as defined in the recent Universal Algebraic Logic book.

math.LO↗

arXiv2016

Ultraproducts of continuous posets

It is known that nontrivial ultraproducts of complete partially ordered sets (posets) are almost never complete. We show that complete additivity of functions is preserved in ultraproducts of posets. Since failure of this property is clearly preserved by ultraproducts, this implies that complete additivity of functions is an elementary property.

math.LO↗