on continuous functions definable in expansions of the
play

On continuous functions definable in expansions of the ordered real - PowerPoint PPT Presentation

On continuous functions definable in expansions of the ordered real additive group Philipp Hieronymi University of Illinois at Urbana-Champaign Bedlewo July 2017 Philipp Hieronymi (Illinois) On continuous functions Bedlewo July 2017 1 / 14


  1. On continuous functions definable in expansions of the ordered real additive group Philipp Hieronymi University of Illinois at Urbana-Champaign Bedlewo July 2017 Philipp Hieronymi (Illinois) On continuous functions Bedlewo July 2017 1 / 14

  2. Throughout this talk, we will consider expansions R of ( R , <, +). Motivating question. Can we classify such expansions according to the geometric/topological complexity of its definable sets (definable functions)? Philipp Hieronymi (Illinois) On continuous functions Bedlewo July 2017 2 / 14

  3. Throughout this talk, we will consider expansions R of ( R , <, +). Motivating question. Can we classify such expansions according to the geometric/topological complexity of its definable sets (definable functions)? A disclaimer. Two perspectives on first-order expansions of ( R , <, +): 1 as a concrete collection of (definable) subsets of R n , 2 in terms of its theory, up to bi-interpretability. For this talk, we take perspective 1. Philipp Hieronymi (Illinois) On continuous functions Bedlewo July 2017 2 / 14

  4. Throughout this talk, we will consider expansions R of ( R , <, +). Motivating question. Can we classify such expansions according to the geometric/topological complexity of its definable sets (definable functions)? A disclaimer. Two perspectives on first-order expansions of ( R , <, +): 1 as a concrete collection of (definable) subsets of R n , 2 in terms of its theory, up to bi-interpretability. For this talk, we take perspective 1. References. Unless otherwise stated (or said) the results are from the following three papers: H.-Walsberg, ‘Interpreting the monadic second order theory of one successor in expansions of the real line’ , Israel J. to appear, Fornasiero-H.-Walsberg, ‘How to avoid a compact set’ , Preprint H.-Walsberg, ‘On continuous functions definable in expansions of the ordered real additive group’ , Preprint soon Philipp Hieronymi (Illinois) On continuous functions Bedlewo July 2017 2 / 14

  5. An ω -orderable set is a definable set that admits a definable ordering with order type ω . We say that such a set is dense if it is dense in some open subinterval of R . Philipp Hieronymi (Illinois) On continuous functions Bedlewo July 2017 3 / 14

  6. An ω -orderable set is a definable set that admits a definable ordering with order type ω . We say that such a set is dense if it is dense in some open subinterval of R . Trivial Trichotomy. An expansion R of ( R , <, +) satisfies exactly one of the following three conditions: (A) R does not define a dense ω -orderable set. (B) R defines a dense ω -orderable, but avoids a compact set. (C) R defines every compact set. Philipp Hieronymi (Illinois) On continuous functions Bedlewo July 2017 3 / 14

  7. An ω -orderable set is a definable set that admits a definable ordering with order type ω . We say that such a set is dense if it is dense in some open subinterval of R . Trivial Trichotomy. An expansion R of ( R , <, +) satisfies exactly one of the following three conditions: (A) R does not define a dense ω -orderable set. (B) R defines a dense ω -orderable, but avoids a compact set. (C) R defines every compact set. Observation: Type C ⇒ No model-theoretic tameness. Philipp Hieronymi (Illinois) On continuous functions Bedlewo July 2017 3 / 14

  8. An ω -orderable set is a definable set that admits a definable ordering with order type ω . We say that such a set is dense if it is dense in some open subinterval of R . Trivial Trichotomy. An expansion R of ( R , <, +) satisfies exactly one of the following three conditions: (A) R does not define a dense ω -orderable set. (B) R defines a dense ω -orderable, but avoids a compact set. (C) R defines every compact set. DST Observation: Type C ⇒ No model-theoretic tameness. Philipp Hieronymi (Illinois) On continuous functions Bedlewo July 2017 3 / 14

  9. An ω -orderable set is a definable set that admits a definable ordering with order type ω . We say that such a set is dense if it is dense in some open subinterval of R . Trivial Trichotomy. An expansion R of ( R , <, +) satisfies exactly one of the following three conditions: (A) R does not define a dense ω -orderable set. (B) R defines a dense ω -orderable, but avoids a compact set. (C) R defines every compact set. DST Observation: Type C ⇒ No model-theoretic tameness. Observation: O-minimality ⇒ Type A. Philipp Hieronymi (Illinois) On continuous functions Bedlewo July 2017 3 / 14

  10. An ω -orderable set is a definable set that admits a definable ordering with order type ω . We say that such a set is dense if it is dense in some open subinterval of R . Trivial Trichotomy. An expansion R of ( R , <, +) satisfies exactly one of the following three conditions: (A) R does not define a dense ω -orderable set. (B) R defines a dense ω -orderable, but avoids a compact set. (C) R defines every compact set. DST Observation: Type C ⇒ No model-theoretic tameness. Observation: O-minimality ⇒ Type A. Observation: NTP2 ⇒ Type A. Philipp Hieronymi (Illinois) On continuous functions Bedlewo July 2017 3 / 14

  11. An ω -orderable set is a definable set that admits a definable ordering with order type ω . We say that such a set is dense if it is dense in some open subinterval of R . Trivial Trichotomy. An expansion R of ( R , <, +) satisfies exactly one of the following three conditions: (A) R does not define a dense ω -orderable set. Tame geometry (B) R defines a dense ω -orderable, but avoids a compact set. (C) R defines every compact set. DST Observation: Type C ⇒ No model-theoretic tameness. Observation: O-minimality ⇒ Type A. Observation: NTP2 ⇒ Type A. Philipp Hieronymi (Illinois) On continuous functions Bedlewo July 2017 3 / 14

  12. An ω -orderable set is a definable set that admits a definable ordering with order type ω . We say that such a set is dense if it is dense in some open subinterval of R . Trivial Trichotomy. An expansion R of ( R , <, +) satisfies exactly one of the following three conditions: (A) R does not define a dense ω -orderable set. Tame geometry (B) R defines a dense ω -orderable, but avoids a compact set. (C) R defines every compact set. DST Observation: Type C ⇒ No model-theoretic tameness. Observation: O-minimality ⇒ Type A. Observation: NTP2 ⇒ Type A. Observation: Type B interprets ( N , P ( N ) , +1 , ∈ ), can be decidable. Philipp Hieronymi (Illinois) On continuous functions Bedlewo July 2017 3 / 14

  13. An ω -orderable set is a definable set that admits a definable ordering with order type ω . We say that such a set is dense if it is dense in some open subinterval of R . Trivial Trichotomy. An expansion R of ( R , <, +) satisfies exactly one of the following three conditions: (A) R does not define a dense ω -orderable set. Tame geometry (B) R defines a dense ω -orderable, but avoids a compact set. Automata (C) R defines every compact set. DST Observation: Type C ⇒ No model-theoretic tameness. Observation: O-minimality ⇒ Type A. Observation: NTP2 ⇒ Type A. Observation: Type B interprets ( N , P ( N ) , +1 , ∈ ), can be decidable. Philipp Hieronymi (Illinois) On continuous functions Bedlewo July 2017 3 / 14

  14. An ω -orderable set is a definable set that admits a definable ordering with order type ω . We say that such a set is dense if it is dense in some open subinterval of R . Trivial Trichotomy. An expansion R of ( R , <, +) satisfies exactly one of the following three conditions: (A) R does not define a dense ω -orderable set. Tame geometry (B) R defines a dense ω -orderable, but avoids a compact set. Automata (C) R defines every compact set. DST Observation: Type C ⇒ No model-theoretic tameness. Observation: O-minimality ⇒ Type A. Observation: NTP2 ⇒ Type A. Observation: Type B interprets ( N , P ( N ) , +1 , ∈ ), can be decidable. Observation: Type A can interpret ( R , <, + , · , Z ). Philipp Hieronymi (Illinois) On continuous functions Bedlewo July 2017 3 / 14

  15. An ω -orderable set is a definable set that admits a definable ordering with order type ω . We say that such a set is dense if it is dense in some open subinterval of R . Trivial Trichotomy. An expansion R of ( R , <, +) satisfies exactly one of the following three conditions: (A) R does not define a dense ω -orderable set. Tame geometry (B) R defines a dense ω -orderable, but avoids a compact set. Automata (C) R defines every compact set. DST Observation: Type C ⇒ No model-theoretic tameness. Observation: O-minimality ⇒ Type A. Observation: NTP2 ⇒ Type A. Observation: Type B interprets ( N , P ( N ) , +1 , ∈ ), can be decidable. Observation: Type A can interpret ( R , <, + , · , Z ). ‘What about decidability of the theory? Just as biological taxonomy does not tell us whether a species is tasty, the classificaton here does not deal with decidability.’ - Saharon Shelah Philipp Hieronymi (Illinois) On continuous functions Bedlewo July 2017 3 / 14

  16. Definition. An infinite definable subset of R n is ω -orderable if it admits a definable ordering with order type ω . We say that such a set is dense if it is dense in some open subinterval of R . Philipp Hieronymi (Illinois) On continuous functions Bedlewo July 2017 4 / 14

  17. Definition. An infinite definable subset of R n is ω -orderable if it admits a definable ordering with order type ω . We say that such a set is dense if it is dense in some open subinterval of R . Observations. If D is ω -orderable, so is D k . Philipp Hieronymi (Illinois) On continuous functions Bedlewo July 2017 4 / 14

Recommend


More recommend