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...
529 bytes (92 words) - 23:19, 13 May 2016
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
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
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
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...
997 bytes (88 words) - 00:35, 28 April 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) - 09:51, 9 July 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
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,665 words) - 16:14, 21 August 2024
each of the reverse implications in Mostowski models. Lévy attributes most of the results to earlier papers by Mostowski and Lindenbaum. Apostol, Tom M. (1974)...
15 KB (1,998 words) - 22:34, 22 June 2024