A View of Revival of Mathematical Logic in Warsaw, 1945–1975

DOI10.1007/978-3-319-65430-0_45zbMath1405.01039OpenAlexW2808252500MaRDI QIDQ4611698

Victor W. Marek

Publication date: 21 January 2019

Published in: Studies in Universal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-65430-0_45

zbMATH Keywords

logic in Warsaw

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Schools of mathematics (01A72)

Cites Work

• Constructible sets with applications
• Sentences undecidable in formalized arithmetic. An exposition of the theory of Kurt Gödel
• Undecidable theories
• Models of axiomatic theories admitting automorphisms
• On a generalization of quantifiers
• The classical and the ω-complete arithmetic
• On definable sets of positive integers
• Axiom of choice for finite sets