搜索结果: 1-7 共查到“definability”相关记录7条 . 查询时间(0.039 秒)
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.
The definability of physical concepts
theory of definition definability of physical concepts
2008/4/21
Our main purpose here is to make some considerations about the definability of physical concepts like mass, force, time, space, spacetime, and so on. Our starting motivation is a collection of suppose...
Definability and a Nonlinear Sigma Model
Definability Nonlinear Sigma Model Compactification
2008/4/11
The concept of definability of physical fields is introduced and a set-theoretical foundation is proposed. In this foundation, we obtain a scale invariant nonlinear sigma model and then show that qua...