#### Filter Results:

#### Publication Year

2008

2010

#### Co-author

#### Key Phrase

#### Publication Venue

Learn More

e mondi formul @Y A is selector for formul '@Y A in struture w if there exists unique suset P of w whih stises nd this P lso stises 'F e show tht for every ordinl ! ! ! there re formuls hving no seletor in the struture @; <AF por !1D we deide whih formuls hve seletor in @; <AD nd onstrut seletors for themF e dedue the… (More)

Dedicated with deepest appreciation and respect to Boris Abramovich Trakhtenbrot whose inspiration as a teacher, a researcher and a role model has been guiding us and many others for many years. Abstract. A formula ψ(Y) is a selector for a formula ϕ(Y) in a structure M if there exists a unique Y that satisfies ψ in M and this Y also satisfies ϕ. A formula… (More)

A monadic formula ψ(Y) is a selector for a monadic formula ϕ(Y) in a structure M if ψ defines in M a unique subset P of the domain and this P also satisfies ϕ in M. If C is a class of structures and ϕ is a selector for ψ in every M ∈ C, we say ϕ is a selector for ϕ over C. For a monadic formula ϕ(X, Y) and ordinals α ≤ ω 1 and δ < ω ω , we decide whether… (More)

- ‹
- 1
- ›