Explore: Andrzej Mostowski

Discover books, insights, and more — all in one place.

Learn more about Andrzej Mostowski with top reads curated from trusted sources — all in one place.

Topic Search

Search for any topic

AI-Generated Overview About “andrzej-mostowski”:


Books Results

Source: The Open Library

The Open Library Search Results

Search results from The Open Library

1Set theory and hierarchy theory

By

“Set theory and hierarchy theory” Metadata:

  • Title: ➤  Set theory and hierarchy theory
  • Author: ➤  
  • Language: English
  • Number of Pages: Median: 345
  • Publisher: Springer-Verlag
  • Publish Date:
  • Publish Location: Berlin, New York

“Set theory and hierarchy theory” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1976
  • Is Full Text Available: No
  • Is The Book Public: No
  • Access Status: No_ebook

Online Marketplaces

Find Set theory and hierarchy theory at online marketplaces:



Wiki

Source: Wikipedia

Wikipedia Results

Search Results from Wikipedia

Andrzej Mostowski

Andrzej Mostowski (1 November 1913 – 22 August 1975) was a Polish mathematician. He worked primarily in logic and foundations of mathematics and is perhaps

Mostowski collapse lemma

logic, the Mostowski collapse lemma, also known as the Shepherdson–Mostowski collapse, is a theorem of set theory introduced by Andrzej Mostowski (1949, theorem

Arithmetical hierarchy

arithmetic hierarchy or Kleene–Mostowski hierarchy (after mathematicians Stephen Cole Kleene and Andrzej Mostowski) classifies certain sets based on

Mostowski

palace in Warsaw Andrzej Mostowski (1913 - 1975), a Polish mathematician Mostowski collapse lemma, in mathematical logic Ehrenfeucht–Mostowski theorem, in

Kazimierz Kuratowski

he 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

Alfred Tarski

Ph.D. dissertations, including those of – in chronological order – Andrzej Mostowski, Bjarni Jónsson, Julia Robinson, Robert Vaught, Solomon Feferman,

Interpretability

Handbook of Proof Theory. North-Holland: 476–546. Alfred Tarski, Andrzej Mostowski, and Raphael Robinson (1953) Undecidable Theories. North-Holland.

Axiom of choice

permutation models introduced by Abraham Fraenkel and developed further by Andrzej Mostowski. The basic technique can be illustrated as follows: Let xn and yn

Andrzej Grzegorczyk

by Lars Kristiansen Ehrenfeucht, Andrzej; Marek, Victor Witold; Srebrny, Marian (editors) (2008): Andrzej Mostowski and Foundational Studies. IOS Press

Andrzej Ehrenfeucht

Andrzej Ehrenfeucht (Polish: [ˈand.ʐɛj ˈɛrɛnfɔjxt], born 8 August 1932) is a Polish-American mathematician and computer scientist. Andrzej Ehrenfeucht