КНИГИ НА АНГЛИЙСКИЙ ЯЗЫКЕ, ИМЕЮЩЕЕ ОТНОШЕНИЕ К СЛОВУ «DEFINABILITY»
Поиск случаев использования слова
definability в следующих библиографических источниках. Книги, относящиеся к слову
definability, и краткие выдержки из этих книг для получения представления о контексте использования этого слова в литературе на английский языке.
1
Definability and Computability
In this book, Yurii L. Ershov posits the view that computability-in the broadest sense-can be regarded as the Sigma-definability in the suitable sets.
I͡Uriĭ Leonidovich Ershov, 1996
2
Duality and
Definability in First Order Logic
Using the theory of categories as a framework, this book develops a duality theory for theories in first order logic in which the dual of a theory is the category of its models with suitable additional structure.
3
Interpolation and
Definability: Modal and Intuitionistic Logics
This book is a specialized monograph on interpolation and definability, a notion central in pure logic and with significant meaning and applicability in all areas where logic is applied, especially computer science, artificial intelligence, ...
Dov M. Gabbay, Larisa Maksimova, 2005
4
Outer Model Theory and the
Definability of Forcing
A new notion of class forcing was defined by M. C. Stanley which is not a priori definable in the ground model. In this thesis, we explore conditions under which the Definability Lemma holds for this new notion.
5
Implicit
Definability on Finite Structures and Unambiguous ...
Phokion Gerasimos Kolaitis. We say that 0($i, . . . ,Sk) defines the sequence of
queries (Qi,. . □ ,Qk) implicitly on C if for every structure D in C the sequence (Qi(
D),. . . ,Q*(D)) is the only sequence of relations (R\, . . . , Rk) on D of arities ni, ...
Phokion Gerasimos Kolaitis, 1989
6
Words and Other Wonders: Papers on Lexical and Semantic Topics
Lexical semantics cannot at the same time retain a monosemic bias and the ideal
of classical definability: there exist cases where sticking to the intuitively plausible
idea that a particular lexical item is univocal leads to the conclusion that it ...
7
Explanatory Translation: Beyond the Kuhnian Model of ...
In this sense definability as a correspondence differs radically from many
correspondence relations to be studied later in Chapter 7, below. A survey of the
concepts, results, and notation concerning definability to be needed in this
section ...
8
Computer Science Logic: 12th International Workshop, CSL'98, ...
We have previously observed that the Ajtai- Immerman theorem can be
rephrased in terms of invariant definability: A class of finite structures is FOL
invariantly definable iff it is in AC0. Invariant definability is a notion closely related
to but ...
Georg Gottlob, Etienne Grandjean, Katrin Seyr, 1999
Our objective is to develop, within the confines of TPL, a notion of computability
or definability that applies to any TDT. We aim to provide a notion that will service
our discussion of specification and, in particular, the role played by computability
...
10
Typed Lambda Calculi and Applications: 4th International ...
We introduce a notion of Grothendieck logical relation and use it to characterise
the definability of morphisms in stable bicartesian closed categories by terms of
the simply-typed lambda calculus with finite products and finite sums.
НОВОСТИ, В КОТОРЫХ ВСТРЕЧАЕТСЯ ТЕРМИН «DEFINABILITY»
Здесь показано, как национальная и международная пресса использует термин
definability в контексте приведенных ниже новостных статей.
Review: Faith No More Leave Us Asking 'What Is It?' on 'Sol Invictus'
We're supposed to admire the fact that 30 years after their debut album, they haven't moved an inch closer to definability. But with weirder ... «SPIN, Май 15»
Sound & Color Remote Control
... momentary lapses into pleading desperation, and hollered devotion. Genre-defiance is a mesmerising stand-in for ready definability here. «Rolling Stone Australia, Апр 15»
Microwave Backhaul Radio uses Air Division Duplexing.
... fees, lower site/tower rental fees and lower maintenance costs, while software definability offers downstream savings in upgrade costs. «ThomasNet News, Мар 15»
MIMOtech Announces Doubling of Backhaul Throughput With Air …
... fees, lower site/tower rental fees and lower maintenance costs, while software definability offers downstream savings in upgrade costs. «PR Newswire, Мар 15»
Overview of Emotions
... has proven utterly refractory to definitional efforts; probably no other term in psychology shares its non-definability with its frequency of use. «Black Voice News, Дек 14»
Review by László Kocsis
... Open Question Argument against the definability of 'good', which says that moral terms cannot be synonymous or cointensive with non-moral ... «Metapsychology, Апр 14»
This Investing Advice Represents Everything That Is Wrong With …
He advises looking at the qualifications of the fund manager, examining the fund for consistency, definability, soundness, relative versus ... «Business Insider, Июл 13»
THE WILDERNESS OF MANITOBA
In the 2000s, and now, there's no definability. The '90s had a things, the '80, contemporary stuff is just a mish-mash of inspirations. Going off the ... «TORO Magazine, Дек 12»
The Ivan Piris Non-Problem Problem
Hell, WhoScored has him the 5th best player on Roma, if I think most stats in football are poppycock as their quantitative definability is too ... «Chiesa Di Totti, Дек 12»
America's 8 Worst Food Trends, Part 2
This is definability not a trend limited to Brooklyn, but the examples of King's County are so obvious they serve to illustrate what is wrong with ... «Forbes, Май 12»
