搜索结果: 1-5 共查到“理学 definability”相关记录5条 . 查询时间(0.046 秒)
Data compression and definability of types in stable and dependent formulas
Data compression formulas
2015/9/28
Data compression and definability of types in stable and dependent formulas.
For a fixed infinite structure with finite signature , we study the following computational problem: Input are quantifier-free first-order -formulas 0, 1, . . . , n that define relat...
Uniform Definability and Undecidability in Classes of Structures
Uniform Definability Undecidability Classes of Structures
2011/1/18
We present a concept of uniform encodability of theories and develop tools related to this concept. As an application we obtain general undecidability results which are uniform for large families of s...
Definability of the variety generated by a commutative monoid in the lattice of commutative semigroup varieties
commutative monoid lattice commutative semigroup varieties
2010/11/11
Let M be a commutative monoid. We provide an explicit first-order formular that defines the variety generated by M in the lattice of commutative semigroup varieties.
Proofs of definability of some varieties and sets of varieties of semigroups
Semigroup, variety lattice of varieties first-order formula definable set of varieties
2010/12/1
We show that many important varieties and sets of varieties of semigroups may be defined by relatively simple and transparent first-order formulas in the lattice of all semigroup varieties.