Existential relations on infinite structures
From MaRDI portal
Publication:6111233
DOI10.1007/s00012-023-00819-3OpenAlexW4384818488MaRDI QIDQ6111233
Publication date: 3 August 2023
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00012-023-00819-3
Galois closurelanguage with finite string of quantifiersexistential relationfinite partial automorphismweak inductivity
Equational classes, universal algebra in model theory (03C05) Other infinitary logic (03C75) Galois correspondences, closure operators (in relation to ordered sets) (06A15) Quantifier elimination, model completeness, and related topics (03C10)
Cites Work
This page was built for publication: Existential relations on infinite structures