×

A logical look at characterizations of geometric transformations under mild hypotheses. (English) Zbl 0987.51010

The author analyses several logical reformulations of characterizations of geometric transformations under mild hypotheses in geometries with orthogonality or circles, all in first-order language. In particular, model theoretical counterparts of characterization theorems are evolved and proved.

MSC:

51M05 Euclidean geometries (general) and generalizations
03C40 Interpolation, preservation, definability
51B10 Möbius geometries
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Aczél, J.; McKiernan, M. A., On characterizations of plane projective and complex Möbius-transformations, Math. Nachr., 33, 315-337 (1967) · Zbl 0152.19204
[2] Alsina, C.; Garcia-Roig, J. L.; Ger, R., How to keep the quadrilateral inscribed, Abh. Math. Sem. Univ. Hamburg, 65, 123-133 (1995) · Zbl 0851.39009
[3] Benz, W., Vorlesungen über Geometrie der Algebren (1973), Springer-Verlag: Springer-Verlag Berlin · Zbl 0258.50024
[4] Beth, E. W., On Padoa’s method in the theory of definition, Indag. Math., 15, 330-339 (1953) · Zbl 0053.34402
[5] Carathéodory, C., The most general transformation of plane regions which transforms circles into circles, Bull. Amer. Math. Soc., 43, 573-579 (1937) · JFM 63.0294.03
[6] Ewald, G., Über den Begriff der Orthogonalität in der Kreisgeometrie, Math. Ann., 131, 463-469 (1956) · Zbl 0072.15801
[7] Gardner, R. J.; Mauldin, D., Bijections of \(R^n\) onto itself, Geom. Dedicata, 26, 323-332 (1988) · Zbl 0654.51022
[8] Hodges, W., Model theory, (Encyclopedia of Mathematics and its Applications, 42 (1993), Cambridge University Press: Cambridge University Press Cambridge)
[9] Keisler, H. J., Theory of models with generalized atomic formulas, J. Symb. Logic, 25, 1-26 (1960) · Zbl 0107.00803
[10] Kestelman, H., Advanced Problem 6436 (proposed in 1983, solution by A. Tissier), Amer. Math. Monthly, 92, 291-292 (1985)
[11] Lyndon, R. C., Properties preserved under homomorphism, Pacific J. Math., 9, 143-154 (1959) · Zbl 0093.01101
[12] Prażmowski, K., Various systems of primitive notions for Euclidean geometry based on the notion of circle, Bull. Polish Acad. Sci. Math., 31, 23-29 (1983) · Zbl 0539.51012
[13] Schröder, E. M., Zur Kennzeichnung fanoscher affin-metrischer Geometrien, J. Geom., 16, 56-62 (1981) · Zbl 0461.51008
[14] Schwabhäuser, W.; Szmielew, W.; Tarski, A., Metamathematische Methoden in der Geometrie (1983), Springer-Verlag: Springer-Verlag Berlin · Zbl 0564.51001
[15] Scott, D., A symmetric primitive notion for Euclidean geometry, Indag. Math., 18, 456-461 (1956) · Zbl 0072.15502
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.