Andrzej Ehrenfeucht (Polish: [ˈand.ʐɛj ˈɛrɛnfɔjxt], born 8 August 1932) is a Polish-American mathematician and computer scientist. Andrzej Ehrenfeucht formulated...
6 KB (503 words) - 21:06, 18 August 2024
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...
10 KB (1,295 words) - 21:45, 16 May 2023
The Ehrenfeucht–Mycielski sequence is a recursively defined sequence of binary digits with pseudorandom properties, defined by Andrzej Ehrenfeucht and...
6 KB (782 words) - 19:41, 1 April 2023
model theory, a field within mathematical logic, the Ehrenfeucht–Mostowski theorem (Ehrenfeucht & Mostowski 1956) gives conditions for the existence of...
1 KB (145 words) - 16:18, 4 November 2019
In theoretical computer science a bisimulation is a binary relation between state transition systems, associating systems that behave in the same way in...
14 KB (2,013 words) - 05:25, 12 June 2024
influential 1989 paper in the Journal of the ACM, with Anselm Blumer, Andrzej Ehrenfeucht, David Haussler, introducing the Vapnik–Chervonenkis dimension to computational...
7 KB (382 words) - 15:00, 17 October 2023
Free monoid (redirect from Ehrenfeucht conjecture)
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...
22 KB (2,985 words) - 23:05, 23 February 2024
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...
8 KB (956 words) - 00:42, 21 September 2023
their mathematical properties; these include the Baum–Sweet sequence, Ehrenfeucht–Mycielski sequence, Fibonacci word, Kolakoski sequence, regular paperfolding...
6 KB (663 words) - 15:42, 8 July 2024
Fundamenta Mathematicae Vol. 42, No. 2, ss. 271-275, (1955). Andrzej Ehrenfeucht, Andrzej Mostowski, "Models of Axiomatic Theories Admitting Automorphisms"...
10 KB (771 words) - 19:13, 26 December 2023
Archived from the original on June 20, 2017. Retrieved July 8, 2010. Ehrenfeucht, Renia; Nelson, Marla (2011). "Planning, Population Loss and Equity in...
270 KB (25,132 words) - 14:45, 26 August 2024
(25 September – 16 November 1941) Generalmajor Heinz-Joachim Werner-Ehrenfeucht (16–22 November 1941) Generalleutnant Hans Reichsfreiherr von Boineburg-Lengsfeld...
6 KB (548 words) - 19:54, 31 July 2024
of the ACM, 27, 1984. Kearns and Vazirani, pg. 1-12, Blumer, Anselm; Ehrenfeucht, Andrzej; David, Haussler; Manfred, Warmuth (October 1989). "Learnability...
7 KB (907 words) - 10:26, 6 May 2024
or without a right of way on foot Anastasia Loukaitou-Sideris, Renia Ehrenfeucht (2009). Sidewalks: Conflict and Negotiation Over Public Space. MIT Press...
29 KB (3,094 words) - 16:19, 24 August 2024
in a signature with equality and one unary function, established by Ehrenfeucht in 1959. The first-order theory of the natural numbers in the signature...
16 KB (1,901 words) - 20:59, 8 May 2024
Logic for Applicative Common Lisp Aristotelian logic Equiconsistency Ehrenfeucht-Fraisse game Extension by definitions Extension (predicate logic) Herbrandization...
93 KB (13,105 words) - 23:48, 26 August 2024
December 2013. Retrieved 3 August 2015. Loukaitou-Sideris, Anastasia; Ehrenfeucht, Renia (2009). Sidewalks: Conflict and Negotiation Over Public Space...
20 KB (2,403 words) - 06:47, 23 August 2024
application of the Horton–Strahler index in the analysis of social networks. Ehrenfeucht, Rozenberg & Vermeir (1981) applied a variant of Strahler numbering (starting...
16 KB (2,065 words) - 19:43, 20 August 2024
1969. Among the mathematical concepts named after Mycielski are: The Ehrenfeucht–Mycielski sequence, a sequence of binary digits with pseudorandom properties...
5 KB (352 words) - 18:53, 25 December 2023
headquarters Andrzej Ehrenfeucht (born 1932), mathematician and computer scientist; formulated the Ehrenfeucht–Fraïssé game and Ehrenfeucht–Mycielski sequence...
151 KB (15,524 words) - 16:27, 8 August 2024
physicist, and a daughter Ina, who married the mathematician Andrzej Ehrenfeucht. Tarski applied for a chair of philosophy at Lwów University, but on...
50 KB (5,747 words) - 01:15, 1 July 2024
Communications of the ACM, 31 (5): 572–578 Anselm Blumer, Janet Blumer, Andrzej Ehrenfeucht, David Haussler, Ross M. McConnell (1983). Linear size finite automata...
8 KB (968 words) - 05:26, 29 July 2024
Andrzej Białynicki-Birula Karol Borsuk Jacob Bronowski Jan Brożek Andrzej Ehrenfeucht Meier Eidelheit Samuel Eilenberg Andrzej Grzegorczyk Witold Hurewicz...
179 KB (1,679 words) - 01:44, 28 August 2024
smallest cumulative sum within the play instead of the long-term average. Ehrenfeucht, A.; Mycielski, J. (June 1979). "Positional strategies for mean payoff...
9 KB (1,307 words) - 03:53, 28 August 2024
Oxford: Pergamon, pp. 201–223, MR 0147389 Reviewed by Kreisel, G.; Ehrenfeucht, A. (1967), "Review of Le Programme Ultra-Intuitionniste des Fondements...
8 KB (903 words) - 06:44, 4 March 2024
Oxford: Pergamon, pp. 201–223, MR 0147389 Reviewed by Kreisel, G.; Ehrenfeucht, A. (1967), "Le Programme Ultra-Intuitionniste des Fondements des Mathematiques...
20 KB (1,990 words) - 21:23, 31 July 2024
method of determining elementary equivalence was later formulated as the Ehrenfeucht–Fraïssé game. Fraïssé worked primarily in relation theory. Another of...
4 KB (281 words) - 08:13, 22 August 2024
learning". J. Mach. Learn. Res. 17 (1): 1319–1333. arXiv:1507.00473. Ehrenfeucht, Andrzej; Haussler, David; Kearns, Michael; Valiant, Leslie (1989). "A...
14 KB (2,202 words) - 11:47, 24 May 2024
(2000). The nature of statistical learning theory. Springer. Blumer, A.; Ehrenfeucht, A.; Haussler, D.; Warmuth, M. K. (1989). "Learnability and the Vapnik–Chervonenkis...
17 KB (2,769 words) - 17:33, 7 June 2024
geometry of the cube. It was originally written in Polish by Aniela Ehrenfeucht (née Miklaszewska, 1905–2000), titled Ciekawy Sześcian [the interesting...
4 KB (406 words) - 04:57, 30 January 2023