Freiling's axioms of symmetry in a general setting and some applications (Q5931219)
From MaRDI portal
![]() | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Freiling's axioms of symmetry in a general setting and some applications |
scientific article; zbMATH DE number 1590721
Language | Label | Description | Also known as |
---|---|---|---|
English | Freiling's axioms of symmetry in a general setting and some applications |
scientific article; zbMATH DE number 1590721 |
Statements
Freiling's axioms of symmetry in a general setting and some applications (English)
0 references
27 February 2002
0 references
The author formulates Freiling's axioms of symmetry [\textit{C. Freiling}, ``Axioms of symmetry: Throwing darts at the real line'', J. Symb. Log. 51, 190-200 (1986; Zbl 0619.03035)] for general second-order structures with respect to a certain ideal of small sets contained in them and finds several equivalence formulations of the principles. The author considers saturated and recursively saturated models and shows that they are symmetric with respect to appropriate classes of small sets when their second-order part consists of definable sets. Some asymmetric models are also exhibited.
0 references
Freiling's axioms
0 references
second-order structures
0 references
saturated
0 references
recursively saturated
0 references