Foundations and Philosophy of Mathematics in Warsaw, the School of Andrzej Mostowski and Philosophy
DOI10.1007/978-3-319-65430-0_38zbMath1406.03015OpenAlexW2808432379MaRDI QIDQ4611691
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_38
axiom of choicefoundations of mathematicsphilosophy of mathematicsgeneralized quantifiersSkolem arithmetic
History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30) Logic with extra quantifiers and operators (03C80) History of mathematical logic and foundations (03-03) Axiom of choice and related propositions (03E25)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Foundational studies. Selected works. Vol. I, II
- The completeness of Peano multiplication
- Logical number theory I. An introduction
- Constructible sets with applications
- Foundations of set theory. With the collaboration of Dirk van Dalen. 2nd revised ed
- On a generalization of quantifiers
- The first order properties of products of algebraic systems
- An application of games to the completeness problem for formalized theories
- Logic with the quantifier “there exist uncountably many”
- Über die Unabhängigkeit des Wohlordnungssatzes vom Ordnungsprinzip
- The axiom of choice
This page was built for publication: Foundations and Philosophy of Mathematics in Warsaw, the School of Andrzej Mostowski and Philosophy