Все выпуски

Изучается бикомпактное расширение счётного дискретного пространства, построенное как пространство Стоуна одной булевой алгебры. Получены новые классы точек этого расширения.

We consider a compactification of a countable discrete space constructed as a Stone space of a Boolean algebra. Some new points of the compactification are constructed.

Рассматривается компактификация BN счётного дискретного пространства N. В данной работе описаны свойства замыканий подмножеств BN, состоящих из различных классов точек. Показано существование точек, не принадлежащих классам, выделенным ранее.

We consider a compactification BN of a countable discrete space N. The paper describes some properties of the closures of subsets of BN, which consist of points belonging to different classes. We prove the existence of points which do not belong to the classes obtained before.

Pассматриваются пространства Стоуна BD и BS двух булевых алгебр. Доказывается, что множество свободных ультрафильтров пространства BD и пространство BS гомеоморфны канторову совершенному множеству.

We consider the Stone spaces BD and BS of two Boolean algebras. We prove, that the subspace Ĉ ⊆ BD of free ultrafilters of the space BD, and the space BS are homeomorphic to the Cantor set.

В работе рассматривается пространство Стоуна булевой алгебры подмножеств одного счетного частично упорядоченного множества. Главной особенностью этого множества является наличие бесконечного числа непосредственных последователей у каждого его элемента. Отсюда следует, что каждый фиксированный ультрафильтр данного пространства Стоуна является неизолированной точкой, а подмножество свободных ультрафильтров всюду плотно. В работе дана классификация точек пространства, доказано, что есть свободные ультрафильтры, которые не являются пределами последовательностей фиксированных ультрафильтров, а также свободные ультрафильтры, определяемые цепями частично упорядоченного множества. Рассмотрены кардинальные инварианты подпространства свободных ультрафильтров. Доказано, что это подпространство имеет счетное число Суслина, но не сепарабельно.

The paper concerns the Stone space of the Boolean algebra of subsets of one countable partially ordered set. The main feature of this set is the existence of countably many successors of each of its elements. From this property it follows that every fixed ultrafilter of this Stone space is a nonisolated point; the subset of free ultrafilters is dense everywhere. The classification of space points is given; the fact that there are free ultrafilters, which are not limits of sequences of fixed ultrafilters, as well as free ultrafilters determined by chains of partially ordered set, is proved. The cardinal invariants of the subspace of free ultrafilters are considered. It is shown that this subspace has the countable Suslin number, but is not separable.

Рассматривается одна булева алгебра и ее пространство Стоуна как бикомпактное расширение счетного дискретного пространства. Доказаны некоторые свойства этого расширения.

We consider one Boolean algebra and its Stone space as a compactification of a countable discrete space. Some properties of the compactification are proved.

В данной работе рассматривается булева алгебра того же типа, что и алгебра, построенная Беллом, и пространство Стоуна этой булевой алгебры. Данное пространство является компактификацией счетного дискретного пространства N. Доказано существование изолированных точек в наросте данной компактификации, которые являются пределами некоторых сходящихся последовательностей. Также доказано, что любое открыто-замкнутое подмножество нашего пространства, которое гомеоморфно βω, является замыканием объединения конечного числа антицепей из N. В конце приведены два примера: замкнутое подмножество нароста без изолированных точек, которое не гомеоморфно βω\ω; подмножество нароста, которое гомеоморфно βω\ω, но не является замкнутым.

We consider the Boolean algebra of the same type as algebra constructed by Bell, and the Stone space of this Boolean algebra. This space is a compactification of a countable discrete space N. We prove that there are isolated points in a remainder of this compactification, which are limits of some convergent sequences. We prove that a clopen subset of our space, which is homeomorphic to βω, is a closure of the union of finitely many antichains from N. We construct two examples: a clopen subset of the remainder without isolated points, which is not homeomorphic to βω\ω; a subset of the remainder which is homeomorphic to βω\ω, but is not a clopen.

Рассматривается задача построения вершинного описания выпуклого полиэдра, заданного как множество решений некоторой системы линейных неравенств, коэффициенты которой являются алгебраическими числами. Обратная задача эквивалентна (двойственна) исходной. Предлагаются программные реализации нескольких модификаций хорошо известного метода двойного описания (метода Моцкина-Бургера), решающего поставленную задачу. Рассматривается два случая: 1) элементы системы неравенств - произвольные алгебраические числа, при этом каждое такое число задается минимальным многочленом и локализующим интервалом; 2) элементы системы неравенств принадлежат заданному конечному расширению ${\mathbb Q} (\alpha)$ поля ${\mathbb Q}$, при этом для $\alpha$ задаются минимальный многочлен и локализующий интервал, а все элементы исходной системы, конечные и промежуточные результаты представлены как многочлены от $\alpha$. Как и ожидалось, программная реализация для второго варианта значительно превосходит реализацию для первого варианта по производительности. Для большего ускорения во втором случае предлагается использовать булевы матрицы вместо матриц невязок. Результаты вычислительного эксперимента показывают, что программные реализации вполне пригодны для решения задач умеренных размеров.

We consider the problem of constructing the dual representation of a convex polyhedron defined as a set of solutions to a system of linear inequalities with coefficients which are algebraic numbers. The inverse problem is equivalent (dual) to the initial problem. We propose program implementations of several variations of the well-known double description method (Motzkin-Burger method) solving this problem. The following two cases are considered: 1) the elements of the system of inequalities are arbitrary algebraic numbers, and each such number is represented by its minimal polynomial and a localizing interval; 2) the elements of the system belong to a given extension ${\mathbb Q} (\alpha)$ of ${\mathbb Q}$, and the minimal polynomial and the localizing interval are given only for $\alpha$, all elements of the system, intermediate and final results are represented as polynomials of $\alpha$. As expected, the program implementation for the second case significantly outperforms the implementation for the first one in terms of speed. In the second case, for greater acceleration, we suggest using a Boolean matrix instead of the discrepancy matrix. The results of a computational experiment show that the program is quite suitable for solving medium-scale problems.

Решаются вопросы, связанные с замыканием счётных подмножеств пространства Стоуна одной булевой алгебры, являющегося компактификацией счётного дискретного пространства. Показано существование сходящихся последовательностей в наросте этого расширения.

We consider closures of countable subsets of Stone space of one Boolean algebra, which is a compactification of a countable discrete space. We prove the existence of converging sequences in a remainder of this compactification.

Рассмотрены недостатки аристотелевского базиса силлогистики, показано почему в классической логике возникли парадоксы материальной импликации и предлагается способ проверки соответствия условного суждения логическому следованию (материальной импликации). Показано, что в ортогональном базисе полисиллогистики эти парадоксы невозможны.

The article analyzes the disadvantages of Aristotle syllogistic basis. The author indicates reasons for paradoxes of tangible implication in classical logics. It is suggested to verify correlations between a conditioned judgment and a tangible implication. Such paradoxes are not allowed in the multi-level syllogistic orthogonal basis.

В статье рассматривается возможность и актуальность замены в классической логике и традиционной силлогистике многосмыслового базиса Аристотеля на односмысловой ортогональный базис, изоморфный отношениям «равносильно», «влечет», «независимы»  между терминами рассуждений и случайными событиями в теории вероятностей. Обсуждаются теоретические результаты и приложения. Выявляются недостатки математической модели, лежащей в основе классической логики, и предлагается ее улучшенный вариант - логика S_L1, в основе которой уточненная математическая модель - невырожденная булева алгебра и сопряженная с ней алгебраическая система на основе множеств. В работе описываются  неклассическая интерпретация умозаключений в ортогональном базисе и возможности эффективной компьютерной проверки логического следования в семантическом смысле, также обоснован новый метод решений логических уравнений. Приводятся примеры решения задач.

The article explains the reasons to replace the multi-semantic basis of Aristotle in classical logic and traditional syllogistic with a mono-semantic basis, isomorphic to relationships ``equivalent'', ``entailing'', ``independent'', which happen between terms of reasoning and random events in probability theory. Theoretical results and applications are discussed. The author identifies the drawbacks of the mathematical model which is the basis of classical logics. An advanced version of the mathematical model which is logic S_L1, based on non-degenerative Boolean algebra and an adjoint algebraic set-based system, is proposed. The article considers a non-classical interpretation of judgments in the orthogonal basis of syllogistics; it also describes the opportunities of effective computer validation of logical implication in semantics. A new method of solving logic equations is presented. The samples of solutions are presented.