Publisher
Springer International Publishing
Reference8 articles.
1. Doets, K. (1996). Basic model theory. Studies in logic, language and information. CSLI Publications.
2. Isaacson, D. (1987). Arithmetical truth and hidden higher-order concepts. In Logic colloquium ’85 (Orsay, 1985). Studies in logic and the foundations of mathematics (Vol. 122, pp. 147—169). North-Holland.
3. Jeřábek, E. (2019). Rigid models of Presburger arithmetic. Mathematical Logic Quarterly, 65(1), 108–115.
4. Kaye, R. (1991). M͡odels of Peano arithmetic. Oxford Logic Guides (Vol. 15). Oxford Science Publications/The Clarendon Press/Oxford University Press.
5. Kossak, R., & Schmerl J. H. (2006). The structure of models of Peano arithmetic. Oxford logic guides (Vol. 50). Oxford Science Publications/The Clarendon Press/Oxford University Press.