Abstract
A first-order property of a structure is a property that can be expressed by a formula of first-order logic. Many properties are first-order but some important ones are not. We will see why finiteness, minimality, order-minimality, and being well-ordered are not first-order, and how some such properties can be expressed in higher-order logics.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Recall that a theory is any set of first-order sentences.
References
Knight, J. F., Anand P., & Steinhorn, C. (1986). Definable sets in ordered structures. II. Transactions of the American Mathematical Society, 295(2), 593–605.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2024 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this chapter
Cite this chapter
Kossak, R. (2024). First-Order Properties. In: Mathematical Logic. Springer Graduate Texts in Philosophy, vol 4. Springer, Cham. https://doi.org/10.1007/978-3-031-56215-0_14
Download citation
DOI: https://doi.org/10.1007/978-3-031-56215-0_14
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-56214-3
Online ISBN: 978-3-031-56215-0
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)