与 «NONELEMENTARY»相关的英语书籍
在以下的参考文献中发现
nonelementary的用法。与
nonelementary相关的书籍以及同一来源的简短摘要提供其在 英语文献中的使用情境。
1
Outer Circles: An Introduction to Hyperbolic 3-Manifolds
Let {Gn} be a sequence of r-generator nonelementary kleinian groups
converging algebraically to the group G. Then G is also a nonelementary kleinian
group, and the map Ak → Ak,n ,1≤k≤r, determines a homomorphism φn : G →
Gn for all ...
2
Conceptual Modeling of Information Systems
5.6 ship types than those to nonelementary ones. In the above example, we
might have an event type that changes the publisher of a book. An instance might
be a change in the publisher of Book B1 to P2. As we can see in Fig. 5.7, if we
have ...
3
Computer Science Logic: 23rd International Workshop, CSL ...
In fact, the infinite binary tree S2S with a linear order is automatic [2 J, which
implies that model checking FO over automatic graphs is nonelementary.
Recently, the authors of |26j and [T] asked whether the complexity of model
checking ML ...
Erich Grädel, Reinhard Kahle, 2009
4
Foundations of Hyperbolic Manifolds
If F is the set of all fixed points of hyperbolic elements of a nonelementary
discrete subgroup Γ ofM(Bn), then F = L(Γ). Proof: By Theorem 12.2.3, the set F is
nonempty. Hence F is a nonempty, closed, Γ-invariant subset of L(Γ), and so F =
L(Γ) ...
5
Methods of Cut-Elimination
As a consequence also the complexity of CERES is nonelementary. The
following proposition shows that, in the Statman proof sequence, the lengths of
resolution refutations of the characteristic clause sets are the main source of
complexity in ...
Matthias Baaz, Alexander Leitsch, 2011
6
Hyperbolic Manifolds and Discrete Groups
Otherwise F is called nonelementary. It is clear that A (F) is infinite for each
nonelementary subgroup of Isom(lHI" ). Exercise 3.23. Construct an example of
an elementary subgroup F C lsom(lHl") such that A(F) = Boollil". Lemma 3.24. Let
x, w ...
7
Complex Kleinian Groups
U 8.7 Nonelementary affine groups We now look at the nonelementary quasi-
cocompact affine groups. Recall that a subgroup G C PSL(2, (C) is quasi-
cocompact if its discontinuity region contains an invariant open set with compact
quotient.
Angel Cano, Juan Pablo Navarrete, Seade Kuri José Antonio, 2012
8
In the Tradition of Ahlfors-Bers, V: The Triennial ...
Either := Pco(T) ls discrete and nonelementary, or 2. For each sufficiently large i,
the group Ti is elementary. Proof. It suffices to analyze Case 2b of the above
theorem. Then Ti contains a nontrivial finite normal subgroup Os of rotations
about a ...
9
The History of Linguistics in the Classical Period
At DL 7.69 negative statements are taken to be elementary statements, but this is
probably not the whole Stoic theory, which may be reconstructed as saying more
generally that a negative statement may be elementary or nonelementary. d) ...
10
An Introduction to Statistical Signal Processing
3.17 ⋆Nonelementary conditional probability Perhaps the most important form for
conditional probabilities is the basic form of Pr(Y ∈ F|X = x), a probability
measure on a random variable Y given the event that another random variable X
takes ...
Robert M. Gray, Lee D. Davisson, 2004
