Abstract
Throughout this chapter, we require that all formulae are written in Polish notation and that the variables are among v0; v1; v2; : : : Notice that the former requirement is just another notation which does not involve brackets, and that by the Variable Substitution Theorem 2.12, the latter requirement gives us semantically equivalent formulae.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Halbeisen, L., Krapf, R. (2020). Maximally Consistent Extensions. In: Gödel's Theorems and Zermelo's Axioms. Birkhäuser, Cham. https://doi.org/10.1007/978-3-030-52279-7_4
Download citation
DOI: https://doi.org/10.1007/978-3-030-52279-7_4
Published:
Publisher Name: Birkhäuser, Cham
Print ISBN: 978-3-030-52278-0
Online ISBN: 978-3-030-52279-7
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)