Find link

language:

Find link is a tool written by Edward Betts.

searching for Self-embedding 5 found (8 total)

Dushnik–Miller theorem (277 words) [view diff] exact match in snippet view article find links to article

there exist computable linear orders with no computable non-identity self-embedding. Cantor's isomorphism theorem Laver's theorem Downey, Rodney G.; Jockusch

Slicing the Truth (768 words) [view diff] exact match in snippet view article find links to article

stronger theorems in combinatorics including the Dushnik–Miller theorem on self-embedding of infinite linear orderings, Kruskal's tree theorem, Laver's theorem

Center embedding (1,170 words) [view diff] exact match in snippet view article find links to article

subclause. Iterated center embedding of the same type of clause is called self-embedding. Japanese allows a singly nested clause, but an additional nesting makes

Homomorphic encryption (4,692 words) [view diff] exact match in snippet view article find links to article

be converted into a fully homomorphic encryption through a recursive self-embedding. For Gentry's "noisy" scheme, the bootstrapping procedure effectively

Merge (linguistics) (4,114 words) [view diff] exact match in snippet view article

Theory, and transitioned to Phrase Structure Grammar with a minor edit. Self-embedding occurs from either the left or right side of Phrase Structure rules