Mathematical logic. On numbers, sets, structures, and symmetry

DOI10.1007/978-3-319-97298-5zbMath1462.03002OpenAlexW4248046334MaRDI QIDQ1785529

Roman Kossak

Publication date: 28 September 2018

Published in: Springer Graduate Texts in Philosophy (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-97298-5

zbMATH Keywords

structuresminimal structuresorder-minimal structures

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Axiomatics of classical set theory and its fragments (03E30) General logic (03Bxx)

Related Items (1)

A formally verified abstract account of Gödel's incompleteness theorems

This page was built for publication: Mathematical logic. On numbers, sets, structures, and symmetry