GeezerVisonThe World Wide Web, restored to 800 pixels of glory. |
| Home|About|Gaming cabinet|Archives|How it works|Starter sites |
GeezerVison is showing mathworld.wolfram.com — Definable Set -- from Wolfram MathWorld 
Definable SetA definable set is an analytic, Borel, or coanalytic set. In model theory, a definable set in a structure is a set of tuples specified by a first-order formula, with parameters from a stated parameter set. Boolean operations on such sets correspond to logical combinations of formulas. A Keisler measure is a finitely additive probability measure on this Boolean algebra. See alsoDefinable Amenability, Definable Group, Keisler Measure, Model TheoryExplore with Wolfram|Alpha
More things to try: ReferencesConant, G.; Gannon, K.; and Hanson, J. E. "Generically Stable Keisler Measures." 25 Aug 2026. https://arxiv.org/abs/2608.24605.Referenced on Wolfram|AlphaDefinable SetCite this as:Weisstein, Eric W. "Definable Set." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/DefinableSet.html Subject classifications |
| You are visitor 01402503 — GeezerVison does not store the pages you look up. Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required. |