Abstract
A first-order property of a structure is a property that can be expressed in first-order logic. Some important properties are first-order but many 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.
A theory is a set of first-order sentences.
References
Knight, J. F., Pillay, A., & 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
© 2018 Springer International Publishing AG part of Springer Nature
About this chapter
Cite this chapter
Kossak, R. (2018). First-Order Properties. In: Mathematical Logic. Springer Graduate Texts in Philosophy, vol 3. Springer, Cham. https://doi.org/10.1007/978-3-319-97298-5_14
Download citation
DOI: https://doi.org/10.1007/978-3-319-97298-5_14
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-97297-8
Online ISBN: 978-3-319-97298-5
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)