搜索结果: 1-5 共查到“理学 definability”相关记录5条 . 查询时间(0.062 秒)
Data compression and definability of types in stable and dependent formulas
Data compression formulas
font style='font-size:12px;'>
2015/9/28
Data compression and definability of types in stable and dependent formulas.
Decidability of definability
Decidability definability
font style='font-size:12px;'>
2011/1/20
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
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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
font style='font-size:12px;'>
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.