Results 231 to 240 of about 305,109 (261)
Some of the next articles are maybe not open access.
Algebraically closed and existentially closedsubstructures in categorical context
Theory and Applications of Categories, 2004We investigate categorical versions of algebraically closed (= pure) embeddings, existentially closed embeddings, and the like, in the context of locally presentable categories. The definitions of S.
M. Hébert
semanticscholar +1 more source
Existentially Closed Models of Basic Number Theory
1977This paper is concerned with a subtheory B of (first order) peano number theory P which is strong enough to contain many non-trivial number theoretic facts. We call this theory B basic number theory. Our aim is to give a complete description of the spectrum of (countable) models of B. Of course we will not achieve this aim here, but the results we give
openaire +1 more source
Model theory of Hilbert spaces with a discrete group action
Confluentes MathematiciIn this paper we study expansions of infinite dimensional Hilbert spaces with a unitary representation of a discrete countable group. When the group is finite, we prove the theory of the corresponding expansion, regardless if it is existentially closed,
Alexander Berenstein, Juan Manuel P'erez
semanticscholar +1 more source
Existential Morphisms and Existentially Closed Models of Logical Categories
Mathematical Logic Quarterly, 1981openaire +2 more sources
Automorphisms of $$\kappa $$-existentially closed groups
Monatshefte Fur Mathematik, 2022Burak Kaya, Mahmut Kuzucuoğlu
exaly
Existentially closed structures
Journal of Symbolic Logic (JSL), 1972H. Simmons
semanticscholar +1 more source
Construction of existentially closed Abelian lattice-ordered groups using Fraïssé limits
Algebra Universalis, 2021Brian Wynne
exaly
Large and small existentially closed structures
Journal of Symbolic Logic (JSL), 1976H. Simmons
semanticscholar +1 more source
The structure of algebraically and existentially closed Stone and double Stone algebras
Journal of Symbolic Logic (JSL), 1989D. Clark
semanticscholar +1 more source
Decidable fragments of universal theories and existentially closed models
Siberian Mathematical Journal, 1980openaire +2 more sources

