Andrzej Mostowski (1 November 1913 – 22 August 1975) was a Polish mathematician. He is perhaps best remembered for the Mostowski collapse lemma. Born in...
10 KB (771 words) - 19:13, 26 December 2023
Mostowski (feminine: Mostowska, plural: Mostowscy) is a surname. It may refer to: Mostowski Palace (Polish: Pałac Mostowskich), an 18th-century palace...
530 bytes (92 words) - 08:40, 4 November 2024
logic, the Mostowski collapse lemma, also known as the Shepherdson–Mostowski collapse, is a theorem of set theory introduced by Andrzej Mostowski (1949, theorem...
5 KB (591 words) - 07:22, 7 February 2024
Tadeusz Antoni Mostowski (19 October 1766, Warsaw - 6 December 1842, Paris) was a Polish writer, journalist, literary critic and politician. He was the...
5 KB (546 words) - 02:27, 16 August 2024
Arithmetical hierarchy (redirect from Kleene–Mostowski hierarchy)
arithmetic hierarchy or Kleene–Mostowski hierarchy (after mathematicians Stephen Cole Kleene and Andrzej Mostowski) classifies certain sets based on...
25 KB (4,584 words) - 14:43, 24 August 2024
In mathematical set theory, the Mostowski model is a model of set theory with atoms where the full axiom of choice fails, but every set can be linearly...
1 KB (96 words) - 13:33, 19 September 2024
Mostowski Palace (Polish: Pałac Mostowskich) is an 18th-century palace in Warsaw, Poland, located at ul. Nowolipie 2 (2 Nowolipie Street) — prior to World...
3 KB (252 words) - 11:21, 4 November 2024
theory, a field within mathematical logic, the Ehrenfeucht–Mostowski theorem (Ehrenfeucht & Mostowski 1956) gives conditions for the existence of a model with...
1 KB (145 words) - 16:18, 4 November 2019
models introduced by Abraham Fraenkel and developed further by Andrzej Mostowski. The basic technique can be illustrated as follows: Let xn and yn be distinct...
58 KB (7,685 words) - 23:16, 6 November 2024
was the head of the topology section. One of his students was Andrzej Mostowski. Kazimierz Kuratowski was one of a celebrated group of Polish mathematicians...
16 KB (1,787 words) - 03:16, 22 October 2024