Results 221 to 230 of about 305,109 (261)

Existentially closed models of some class of differential-difference fields (Model theoretic aspects of the notion of independence and dimension)

open access: yesExistentially closed models of some class of differential-difference fields (Model theoretic aspects of the notion of independence and dimension)
openaire  

Existentially closed and maximal models in positive logic

Algebra and Logic, 2013
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
A. Kungozhin
semanticscholar   +5 more sources

Countable infinite existentially closed models of universally axiomatizable theories

Siberian Advances in Mathematics, 2016
Summary: We obtain a new criterion for a model of a universally axiomatizable theory to be existentially closed. The notion of a maximal existential type is used in the proof and for investigating properties of countable infinite existentially closed structures.
A. Nurtazin
semanticscholar   +5 more sources

The countable existentially closed pseudocomplemented semilattice

Archive for Mathematical Logic, 2017
As the class $$\mathcal {PCSL}$$PCSL of pseudocomplemented semilattices is a universal Horn class generated by a single finite structure it has a $$\aleph _0$$ℵ0-categorical model companion $$\mathcal {PCSL}^*$$PCSL∗.
Joël Adler
semanticscholar   +4 more sources

Existentially closed De Morgan algebras [PDF]

open access: yesAlgebra Universalis, 2018
We show that the theory of De Morgan algebras has a model completion and axiomatise it. Then we prove that it is ℵ0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy ...
Vahagn Aslanyan
semanticscholar   +2 more sources

Existentially closed models via constructible sets: There are 20 existentially closed pairwise non elementarily equivalent existentially closed ordered groups

Journal of Symbolic Logic, 1996
AbstractWe prove that there are 2χ0 pairwise non elementarily equivalent existentially closed ordered groups, which solve the main open problem in this area (cf. [3, 10]).A simple direct proof is given of the weaker fact that the theory of ordered groups has no model companion; the case of the ordered division rings over a field k is also investigated ...
A. Khelif
openaire   +2 more sources

JONSSON EXISTENTIALLY CLOSED UNARS OF EXPANDED SIGNATURE

BULLETIN Series of Physics & Mathematical Sciences
Being one of the important parts of fundamental mathematics, Model Theory is a young subject for modern researchers in this area. However, according to the last obtained results, this discipline will play a crucial role in the future of mathematical ...
A. Yeshkeyev   +2 more
semanticscholar   +1 more source

Home - About - Disclaimer - Privacy