- In the
mathematical discipline of
model theory, the
Ehrenfeucht–Fraïssé game (also
called back-and-forth games) is a
technique based on game semantics...
-
Andrzej Ehrenfeucht (Polish: [ˈand.ʐɛj ˈɛrɛnfɔjxt], born 8
August 1932) is a Polish-American
mathematician and
computer scientist.
Andrzej Ehrenfeucht formulated...
- The
Ehrenfeucht–Mycielski
sequence is a
recursively defined sequence of
binary digits with
pseudorandom properties,
defined by
Andrzej Ehrenfeucht and...
-
model theory, a
field within mathematical logic, the
Ehrenfeucht–Mostowski
theorem (
Ehrenfeucht &
Mostowski 1956)
gives conditions for the
existence of...
- In
theoretical computer science a
bisimulation is a
binary relation between state transition systems, ****ociating
systems that
behave in the same way in...
-
their mathematical properties;
these include the Baum–Sweet sequence,
Ehrenfeucht–Mycielski sequence,
Fibonacci word,
Kolakoski sequence,
regular paperfolding...
-
morphisms f and g on B∗
agree on L if and only if they
agree on T. The
Ehrenfeucht conjecture is that any
subset L has a test set: it has been
proved independently...
- One can
prove that two
structures are
elementarily equivalent with the
Ehrenfeucht–Fraïssé games.
Elementary embeddings are used in the
study of
large cardinals...
-
Fundamenta Mathematicae Vol. 42, No. 2, ss. 271-275, (1955).
Andrzej Ehrenfeucht,
Andrzej Mostowski, "Models of
Axiomatic Theories Admitting Automorphisms"...
- or
without a
right of way on foot
Anastasia Loukaitou-Sideris,
Renia Ehrenfeucht (2009). Sidewalks:
Conflict and
Negotiation Over
Public Space. MIT Press...
