Открытый доступ
Доступ предоставлен
Только для подписчиков
Том 55, № 3 (2016)
- Год: 2016
- Статей: 7
- URL: https://journal-vniispk.ru/0002-5232/issue/view/14537
Article
Dynamic Mereotopology. III. Whiteheadian Type of Integrated Point-Free Theories of Space and Time. III
Аннотация
This is the third in a three-part series of papers shortly denoted by Part I [1], and Part II [2], and Part III. The papers mentioned are devoted to some Whiteheadean theories of space and time. Part I contains a historical introduction and some facts from static mereotopology. Part II introduces a point-based definition of a dynamic model of space and a definition of a standard dynamic contact algebra based on the so-called snapshot construction. The given model has an explicit time structure with an explicit set of time points equipped with a before–after relation and a set of regions changing in time, called dynamic regions. The dynamic model of space contains several definable spatiotemporal relations between dynamic regions: space contact, time contact, precedence, and some others. In Part II, a number of statements for these relations are proven, which in the present Part III are taken as axioms for the abstract definition of some natural classes of dynamic contact algebras, considered as an algebraic formalization of dynamic mereotopology. Part III deals with a representation theory for dynamic contact algebras, and the main theorem says that each dynamic contact algebra in some natural class is representable as a standard dynamic contact algebra in the same class.
181-197
Lie Bialgebras with Triality and Mal’tsev Bialgebras
Аннотация
We consider the relationship between Mal’tsev bialgebras and Lie bialgebras with triality, and also between symplectic Mal’tsev algebras and symplectic Lie algebras with triality. The given relations generalize a connection between Mal’tsev algebras and Lie algebras with triality, revealed by P. O. Mikheev [15], and a connection between Mal’tsev coalgebras and Lie coalgebras with triality, explored by M. E. Goncharov and V. N. Zhelyabin [17].
198-216
Embeddability of the Semilattice Lm0 in Rogers Semilattices
Аннотация
We give sufficient conditions under which an upper semilattice of computably enumerable m-degrees is isomorphic to an ideal of a Rogers semilattice of a two-element family of sets in the Ershov hierarchy. It is shown that the given conditions are not necessary.
217-225
Binary Formulas in Countably Categorical Weakly Circularly Minimal Structures
Аннотация
Countably categorical weakly circularly minimal structures that are not 1-transitive are studied. We give a characterization of the behavior of binary formulas acting on a set of realizations of a nonalgebraic 1-type, and based on it, we present a complete description of countably categorical non-1-transitive weakly circularly minimal n-convex (n > 1) almost binary theories of convexity rank 1.
226-241
A Sufficient Condition for Nonpresentability of Structures in Hereditarily Finite Superstructures
Аннотация
We introduce a class of existentially Steinitz structures containing, in particular, the fields of real and complex numbers. A general result is proved which implies that if \( \mathfrak{M} \) is an existentially Steinitz structure then the following structures cannot be embedded in any structure Σ-presentable with trivial equivalence over ℍ\( \mathbb{F} \)(\( \mathfrak{M} \)): the Boolean algebra of all subsets of ω, its factor modulo the ideal consisting of finite sets, the group of all permutations on ω, its factor modulo the subgroup of all finitary permutations, the semigroup of all mappings from ω to ω, the lattice of all open sets of real numbers, the lattice of all closed sets of real numbers, the group of all permutations of ℝ Σ-definable with parameters over ℍ\( \mathbb{F} \)(ℝ), and the semigroup of such mappings from ℝ to ℝ.
242-251
Sessions of the Seminar “Algebra i Logika”
252-255
Erratum
Erratum to: Free-Variable Semantic Tableaux for the Logic of Fuzzy Inequalities
256-256