O struktuře modelů omezené -indukce
Objets algébriquement clos et injectifs dans les catégories localement présentables
Observer-based adaptive sliding mode fault-tolerant control for the underactuated space robot with joint actuator gain faults
An adaptive sliding mode fault-tolerant controller based on fault observer is proposed for the space robots with joint actuator gain faults. Firstly, the dynamic model of the underactuated space robot is deduced combining conservation law of linear momentum with Lagrange method. Then, the dynamic model of the manipulator joints is obtained by using the mathematical operation of the block matrices, hence the measurement of the angular acceleration of the base attitude can be omitted. Subsequently,...
Oligomorphic transformation monoids and homomorphism-homogeneous structures
A structure is called homomorphism-homogeneous if every homomorphism between finitely generated substructures of the structure extends to an endomorphism of the structure (P. J. Cameron and J. Nešetřil, 2006). In this paper we introduce oligomorphic transformation monoids in full analogy to oligomorphic permutation groups and use this notion to propose a solution to a problem, posed by Cameron and Nešetřil in 2006, to characterize endomorphism monoids of homomorphism-homogeneous relational structures...
O-minimal fields with standard part map
Let R be an o-minimal field and V a proper convex subring with residue field k and standard part (residue) map st: V → k. Let be the expansion of k by the standard parts of the definable relations in R. We investigate the definable sets in and conditions on (R,V) which imply o-minimality of . We also show that if R is ω-saturated and V is the convex hull of ℚ in R, then the sets definable in are exactly the standard parts of the sets definable in (R,V).
O-minimal version of Whitney's extension theorem
This is a generalized and improved version of our earlier article [Studia Math. 124 (1997)] on the Whitney extension theorem for subanalytic -Whitney fields (with p finite). In this new version we consider Whitney fields definable in an arbitrary o-minimal structure on any real closed field R and obtain an extension which is a -function definable in the same o-minimal structure. The Whitney fields that we consider are defined on any locally closed definable subset of Rⁿ. In such a way, a local...
o-minimality.
Omitting types algebraically
On -categoricity and the theory of trees
On a class of topological spaces with a Scott sentence
On a hierarchy of groups of computable automorphisms.
On a power of relational structures
On a proof of the Erdős-Monk theorem.
On a sufficient condition for strong constructivizability of atomic Boolean algebras.
On a universal axiomatization of the real closed fields
This paper presents a natural axiomatization of the real closed fields. It is universal and admits quantifier elimination.
On a variety of infinite algebras
On a weak Kelley-Morse theory of classes
On acyclic hypergraphs of minimal prime models.
On automorphisms of computability potential scales for -element algebras.
On axiomatizability and preservation in Kripke models.