Skip to search formSkip to main contentSkip to account menu

Ehrenfeucht–Mycielski sequence

Known as: Ehrenfeucht-Mycielski sequence 
The Ehrenfeucht–Mycielski sequence is a recursively defined sequence of binary digits with pseudorandom properties, defined by Andrzej Ehrenfeucht… 
Wikipedia (opens in a new tab)

Related topics

Related topics

5 relations
Ackermann functionBitstreamCIAA (formerly WIA)Suffix tree

Broader (1)

Pseudorandomness

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Normality of the Ehrenfeucht-Mycielski Sequence
We study the binary Ehrenfeucht Mycielski sequence seeking a balance between the number of occurrences of different binary… 
2008
2008
Ehrenfeucht-Fraïssé games in finite set theory
2007
2007
EF equivalent not isomorphic models
We construct non-isomorphic models M, N, e.g. of cardinality aleph_1 such that in the Ehrenfeucht-Fraisse game of length zeta… 
2004
2004
Shrinking games and local formulas
2004
2004
The Guatemalan potato tuber moth ( Scrobipalpopsis solanivora Povolný, 1973) before the gateways of Europe (Lepidoptera, Gelechiidae)
POVOLNÝ, D.: The Guatemalan potato tuber moth (Scrobipalpopsis solanivora Povolný, 1973) before the gateways of europe… 
2003
2003
The Ehrenfeucht-Mycielski Sequence
We study the disjunctive binary sequence introduced by Ehrenfeucht and Mycielski in [1]. The match length associated to the bits… 
2003
2003
Ehrenfeucht-Mostowski models in Abstract Elementary Classes
In [15], Shelah proclaims the aim of reconstructing model theory, ‘with no use of even traces compactness’. We analyze here one… 
2001
2001
A remark on Martin's Conjecture
Abstract We prove that the strong Martin conjecture is false. The counterexample is the first-order theory of infinite atomic… 
1997
1997
OBITUARIES: Professor M.A. Soltys
1986
1986
Note on Ehrenfeucht's conjecture and Hilbert's basis theorem
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)