Results 251 to 260 of about 14,657,223 (299)
Some of the next articles are maybe not open access.
C-minimality and model companions
Siberian Advances in Mathematics, 2014Summary: We study the question on existence of a model companion of the theory of a \(C\)-minimal structure with a distinguished automorphism of a special form.
K Zh Kudaibergenov
exaly +2 more sources
Model Companions with Finitely Many Countable Models
Mathematical Logic Quarterly, 1994AbstractWe present two conditions which are equivalent to having an almost χ0‐categorical model companion.Mathematics Subject Classification: 03C35.
Stanley Burris
exaly +2 more sources
The Model Companion of Stone Semilattices
Mathematical Logic Quarterly, 1991A pseudocomplemented semilattice is an algebra \((S;\land,^*,0)\) such that \((S;\land,0)\) is a meet semilattice with least element 0 and a unary operation \(^*\) satisfying \(z\land x=0\) iff \(z\leq x^*\) (with \(\leq\) denoting the canonical order in \(S\)).
Christoph Gerber, Jürg Schmid
openaire +2 more sources
The Model Companion of Width-Two Orders
Order, 1997Let \(W_n\) denote the universal class of all width-\(n\) orders. Building on work of Pouzet the authors prove that the class of existentially closed members of \(W_2\), \(W^{\text{ec}}_2\), is a first-order class. In fact for \(A\in W_2\), \(A\in W^{\text{ec}}_2\) if and only if \(A\) is a linear sum of d-homogeneous width-2 orders.
Anthony Bonato, Dejan Delic
exaly +3 more sources
Model companions of theories of graphs
Mathematical Logic Quarterly, 2015We study model companions of theories extending the graph axioms. First we prove general results concerning the existence of the model companion. Then, by applying these results to the case of graphs, we give a series of companionable and non‐companionable examples.
Kota Takeuchi +2 more
openaire +1 more source
Personality model for a companion AIBO
Proceedings of the 2005 ACM SIGCHI International Conference on Advances in computer entertainment technology, 2005In this paper we describe the architecture that allows the modeling of an emotionally intelligent robot. We chose to implement these architectures on AIBO, which is a quadruped autonomous robot, developed by Sony. AIBO was developed as an entertainment robot with its "mind" resident on a memory stick.
Iulia Dobai +2 more
openaire +1 more source
Artificial Intelligence Model of an Smartphone-Based Virtual Companion
Lecture Notes in Computer Science, 2014 Part 3: Computational Methodologies for EntertainmentInternational audienceThis paper introduces an Artificial Intelligence (AI) model of a virtual companion system on smartphone.
Ryohei Nakatsu +2 more
exaly +2 more sources
Mathematical Logic Quarterly, 1989
Let \(K\) be a class of \({\mathcal L}\)-structures, and let \(H\) be a subclass of \(K\). Let \({\mathcal E}\) be the set of existential \({\mathcal L}\)-formulas. We define a positive integer \(\| \phi \|\) for each \(\phi\in {\mathcal E}\). For \(\eta,\eta'\in {\mathcal E}\) we say that \(\eta\) ' is an obstruction to \(\eta\) in \(H\) (modulo \(K\))
openaire +1 more source
Let \(K\) be a class of \({\mathcal L}\)-structures, and let \(H\) be a subclass of \(K\). Let \({\mathcal E}\) be the set of existential \({\mathcal L}\)-formulas. We define a positive integer \(\| \phi \|\) for each \(\phi\in {\mathcal E}\). For \(\eta,\eta'\in {\mathcal E}\) we say that \(\eta\) ' is an obstruction to \(\eta\) in \(H\) (modulo \(K\))
openaire +1 more source
Proceedings of the American Mathematical Society, 1975
We prove that the theory ZF has a model companion and we describe an axiom system for it. The notion of a model companion was introduced by E. Bers as a generalization of the notion of a model completion [3, ?5]. In this paper we prove that ZF has a model companion and describe a set of axioms for it.
openaire +1 more source
We prove that the theory ZF has a model companion and we describe an axiom system for it. The notion of a model companion was introduced by E. Bers as a generalization of the notion of a model completion [3, ?5]. In this paper we prove that ZF has a model companion and describe a set of axioms for it.
openaire +1 more source