排序方式: 共有5条查询结果,搜索用时 15 毫秒
1
1.
Algebra and Logic - The Lambek calculus with the unit can be defined as the atomic theory (algebraic logic) of the class of residuated monoids. This calculus, being a theory of a broader class of... 相似文献
2.
S. M. Dudakov 《Journal of Mathematical Sciences》2011,172(5):654-662
This paper continues investigations into the database of queries of first-order language theory. It is known that for many decidable theories, the collapse result holds: each locally generic query is equivalent to some restricted query. But, until now, the problem of effective construction of this query remains almost unexplored. We use earlier results of the author on the construction of a method of effective obtaining this query. The method is rather general and applicable, for example, to the Presburger arithmetic and the real number theory. 相似文献
3.
S. M. Dudakov 《Mathematical Notes》2007,81(3-4):456-466
It has been proved (by S. M. Dudakov and M. A. Taitslin) that the reducibility of some models of a theory implies the second pseudofinite homogeneity property for this theory. We prove the converse, namely, that any theory with the first or the second pseudofinite homogeneity property has a reducible model and, therefore, possesses the second isolation property. This also proves the equivalence of the second isolation property and the second pseudofinite homogeneity property, in contrast to the first pseudofinite homogeneity property, which is more general than the first isolation property (this was established by O. V. Belegradek, A. P. Stolboushin, and M. A. Taitslin). 相似文献
4.
Earlier, Belegradek, Stolboushkin, and Taitslin proved that the collapse result holds in the theory of natural numbers with addition, i.e., each locally generic query using addition can be written without it. In this paper, we use the sufficient conditions of the collapse result obtained by Taitslin to prove that it holds in any extensions of the Presburger arithmetic by a unary function compatible with addition. The notion of a function compatible with addition was proposed by A. L. Semenov. 相似文献
5.
1