## BOUNDS ON CONTINUOUS SCOTT RANK

## WILLIAM CHAN AND RUIYUAN CHEN

Abstract. An analog of Nadel's effective bound for the continuous Scott rank of metric structures, developed in [3], will be established: Let L be a language of continuous logic with code ˆ . L Let Ω be a weak modulus of uniform continuity with code Ω. ˆ Let D be a countable L -pre-structure. Let ¯ D denote the completion structure of D . Then SR Ω ( ¯ ) D ≤ ω ˆ L ⊕ ⊕D ˆ Ω 1 , the Church-Kleene ordinal relative to ˆ L ⊕ ˆ Ω ⊕D .

## 1. Introduction

The authors of [3] developed a new Scott analysis for continuous logic for metric structures. If L is a language of continuous logic, then an L -structure of continuous logic is a Polish metric space endowed with a suitable interpretation for each symbol of L . In this setting, a countable dense L -pre-structure (Definition 2.6) completely determines the original structure through taking completions. The main goal of this paper is to establish a countable effective bound on the continuous Scott rank of a metric structure which depends on the definability content of the countable dense L -pre-structure in a manner analogous to Nadel's effective bound for countable first order structure.

To motivate the ideas of the Scott analysis and the use of continuous logic to study Polish metric structures, a brief review of the classical Scott analysis will be given:

Let L be a first order language in the classical sense. Let M denote some L -structure. Let ¯ and ¯ be a b two tuples in M of the same length. The Scott analysis begins by attempting to quantify how difficult it is to distinguish ¯ and ¯ in a manner expressible by a b L . For instance, if there was a L -automorphism of M taking ¯ to ¯ , one would consider ¯ and ¯ indistinguishable by the first order expressive power of a b a b L .

By recursion, one defines for each ordinal α , the back-and-forth relation ∼ α on finite tuples of elements of M as follows: Let ¯ = ( a a , ..., a 0 p -1 ) and ¯ = ( b b 0 , ..., b p -1 ) where p ∈ ω .

- · ¯ a ∼ 0 ¯ if and only if the map taking b a i to b i where i &lt; p is a partial L -isomorphism.
- · Suppose α is a limit ordinal and for all β &lt; α , ∼ β has been defined. Then ¯ a ∼ α ¯ if and only if for b all β &lt; α , ¯ a ∼ β ¯ . b
- · Suppose ∼ α has been defined. Then ¯ a ∼ α +1 ¯ if and only if ( b ∀ c )( ∃ d )(¯ ac ∼ α ¯ bd ) ∧ ∀ ( d )( ∃ c )(¯ ac ∼ α ¯ bd ).

Intuitively, if ¬ (¯ a ∼ 0 ¯ ) b holds, then one can say that ¯ and ¯ has been distinguished and in fact, the two a b tuples fail to satisfy the same atomic formulas. If ¬ (¯ a ∼ 1 ¯ ), b then ¯ and ¯ have been distinguished by failing a b a property which is expressible by one existential quantification over atomic formulas. For each α , ∼ α is closely connected to the type satisfied by tuples via formula of quantifier rank less than or equal to α . Of course, if there is an L -automorphism of M taking ¯ to ¯ , then ¯ a b a ∼ α ¯ for all b α ∈ ON. Thus ¯ and ¯ are a b indistinguishable by infinitary L -formulas.

Note that ∼ α is an equivalence relation on tuples from M . Each tuple is ∼ α -related only to tuples of the same length and if α ≤ β , then ∼ β ⊆ ∼ α . One definition of the Scott rank states that SR( M ) is the least ordinal α so that for all β ≥ α , ∼ α = ∼ β . Intuitively, the Scott rank of M is the least ordinal α so that every pair of tuples in M which can be distinguished by an infinitary L -formula has been distinguished by an infinitary formula of rank less than or equal to α . Each distinguishable pair (¯ a, b ¯ ) corresponds to an infinitary L -formula which makes the distinctions. By roughly collecting all these formulas into a single formula, one obtains a formula ϕ M which is called the Scott sentence for M . If the language L is countable and M is countable, then this formula is an invariant distinguishing M from all other countable L -structure: that is, if N is a countable L -structure, then N | = ϕ M if and only if M and N are L -isomorphic.

July 31, 2019. The first author was supported by NSF grant DMS-1703708.

By a simple cardinality consideration, one has that SR( M ) &lt; |M| + . One can also view the back-andforth process as a monotone operator which collects the distinguishable pairs: Let Γ : P ( M &lt;ω ×M &lt;ω ) → P ( M &lt;ω ×M &lt;ω ) be defined by Γ( X ) is the set of (¯ a, b ¯ ) ∈ M &lt;ω ×M &lt;ω so that one of the following holds:

- (1) | ¯ a | = ¯ , that is the length of the two tuples are different. | b |

/negationslash

- (3) ( ∃ c )( ∀ d )((¯ ac, bd ¯ ) ∈ X ) ∨ ∃ ( d )( ∀ c )((¯ ac, bd ¯ ) ∈ X )
- (2) ¬ (¯ a ∼ 0 ¯ ). b

By recursion, define 〈 I α Γ : α ∈ ON by: 〉 I 0 Γ = Γ( ), ∅ I &lt;α Γ = ⋃ β&lt;α I β Γ , and I α Γ = Γ( I &lt;α Γ ). The closure ordinal ‖ Γ q ‖ of Γ is the least ordinal α so that I α Γ = I &lt;α Γ . If Γ is a monotone operator which is definable by a positive Σ-formula in an admissible set A , then Gandy showed that ‖ Γ ‖ ≤ o ( A ) = A∩ ON, the ordinal height of A . (See [1] Chapter VI for more on inductive definability in admissible sets.) For the monotone operator Γ defined above, one can check that all distinguishable pairs of tuples from the Scott analysis appear in I ‖ Γ ‖ Γ and Γ is positive Σ-definable in any admissible set containing the language L and the structure M . If L and M are both countable (so they can essentially be coded by reals), then the minimal such admissible set is the initial segment of G¨del's relativized constructible universe, o L ω L ⊕M 1 ( L ⊕M ), which has ordinal height ω L ⊕M 1 . ω L ⊕M 1 is the Church-Kleene ordinal relative to L ⊕ M which is defined to be the least ordinal that does not have a presentation on ω recursive in L ⊕ M . Thus one has obtained Nadel's [9] effective bound which asserts that if M is a countable L -structure with L a countable first order language, then SR( M ≤ ) ω L ⊕M 1 .

/negationslash

The above is the definition of Scott rank that [3] attempts to generalize. There are other variations of the Scott rank that focus in on tuples ¯ rather than just the stabilization point of the back-and-forth a relations. That is, one can define SR (¯ ∗ a, b ¯ ) to be the least ordinal α so that ¬ (¯ a ∼ α ¯ ) b if such an ordinal exists. Otherwise say SR (¯ ∗ a, b ¯ ) = ∞ . One can define SR (¯) = sup ∗ a { SR (¯ ¯ ) ∗ a, b : SR (¯ ¯ ) ∗ a, b = ∞} . Then SR ( ∗ M ) = sup SR (¯) + 1 : ¯ { ∗ a a ∈ M &lt;ω } . The same argument as above shows that if M is a countable structure in a countable language L , then SR ( ∗ M ≤ ) ω L ⊕M 1 +1. The definition of Scott rank using SR ∗ is somewhat more common. It is the form used in [5] and [4]. The distinction between recursive structures M and N in a recursive language L so that SR ( ∗ M ) = ω ∅ 1 +1 (for example, the Harrison linear ordering) or SR ( ∗ N ) = ω ∅ 1 (for example, the linear ordering of Makkai [8]) are of particular interest in computable model theory. If M and N are two recursive structures so that SR ∗ ( M ) = ω ∅ 1 + 1 and SR ( ∗ N ) = ω ∅ 1 , then SR( M ) = SR( N ) = ω ∅ 1 . The definition of Scott rank used in this article cannot make this distinction; however, for the purpose of finding an effective bound, this will not be relevant.

Polish metric spaces are complete separable metric spaces. The uncountable Polish metric spaces have cardinality 2 ℵ 0 . By cardinality considerations, the classical first order Scott rank of a Polish metric space is less than (2 ℵ 0 ) + . Although Polish metric spaces are not countable, they are entirely determined by their countable dense metric subspace. A natural question asked by Fokina, Friedman, Koerwien, and Nies [7] was whether the Scott rank of a Polish metric space is countable. The first author in [4] asked whether SR( ¯ ) M ≤ ω M 1 , where ¯ M is the completion of the countable metric space M . This is the natural analog of Nadel's effective bound for Polish metric spaces.

However, the question of Fokina, Friedman, Koerwien, and Nies remains open. (See [5] and [6].) Some partial results are known. Fokina, Friedman, Koerwien, and Nies [7] showed that if M is a compact Polish metric space, then SR( M ) = ω and, in fact, SR ( ∗ M ) = ω + 1. Nies informed the first author that their argument used some results of Gromov. See [4] for a combinatorial proof using the K¨nig's lemma. Doucha o [5] showed that if M is a Polish metric space, then SR ∗ ( M ≤ ) ω 1 . So the original question becomes whether there exists a Polish metric space M of Scott rank exactly ω 1 . [4] uses admissible sets and infinitary logic in countable admissible fragments to give another proof of Doucha's result and some additional partial results. A metric space is proper if and only if all its closed balls are compact. [4] showed that if M is a countable metric space so that the completion ¯ M is a proper Polish metric space, then SR ∗ ( ¯ ) M ≤ ω M 1 +1. If M is a countable metric space so that ¯ M is rigid (has no nontrivial autoisometry), then SR ∗ ( M ) &lt; ω M 1 .

The results of [4] are proved by using winning strategies in approximation forms of the Ehrenfeucht-Fra¨ ısse game in an illfounded model of KP . The arguments are quite different than the classical method involving the monotone operator. Although the countable submetric space is essential in representing elements of the completion via Cauchy sequences, the connected between these techniques and the use of the countable dense submetric space of the completion seem very weak.

An alternative logic that appears more suitable for structures on Polish metric spaces is continuous logic for metric structures. The reader should consult [2] and [3] for more details on continuous logic for metric structures. A language L of continuous logic consists of function, relation, and constant symbols. In addition to the arity, each symbol is associated with a modulus of uniform continuity. Connectives are now certain continuous bounded real-valued functions. The intended structures are Polish metric spaces with the functions and relations interpreted by continuous functions on the Polish metric space respecting the indicated modulus.

The authors of [3] proposed and developed a Scott analysis for continuous logic for metric structures. They defined an analogous back-and-forth pseudo-distance which depends on one additional object called a weak modulus of continuity Ω. For each language L , weak modulus Ω, and separable L -structure N of continuous logic, they defined a Scott rank SR Ω ( N ). From their Scott analysis, they derived a Scott sentence ϕ N so that for all separable L -structure M M | , = ( ϕ N = 0) if and only N and M are L -isomorphic in continuous logic, in the case that Ω is a universal weak modulus. See [3] Theorem 3.8 and 5.5 for these results and more details. These results give strong evidence that their theory can justly be called a 'Scott analysis' for continuous logic.

The authors of [3] showed that every Polish metric structure in continuous logic has countable Scott rank by cardinality considerations. Every Polish metric structure in some language L is the completion L -structure of a countable dense L -pre-structure. The main task addressed in this article is to investigate the connection between the Scott rank of a Polish metric structure and any of its countable dense pre-structures.

Let L be a countable L -structure. Let ˆ denote a real coding L L which includes information about the associated modulus of the language. Let Ω be a weak modulus of continuity which is coded by a real Ω. Let ˆ D denote a countable L -pre-structure. The main theorem is

Theorem 4.5. Let L be a countable language with code ˆ L . Let Ω be a weak modulus with code ˆ Ω . Let D be a countable L -pre-structure. Let ¯ D denote the completion structure of D . Then SR ( ¯ ) Ω D ≤ ω ˆ L ⊕ ⊕D ˆ Ω 1 .

As an example, consider the class of metric structures consisting of the pure Polish metric spaces. That is, the language is L = ∅ , which consists of no additional non-logical symbols. Thus L has a code which is recursive. One can take Ω to be the universal weak modulus for this language, which exists and has a recursive code from inspecting the proof of [3] Proposition 5.3. Now suppose D is a countable metric space. D is naturally a pure metric pre-structure of continuous logic. Let ¯ be the completion of D D as a pure Polish metric structure. Then Theorem 4.5 states the continuous Scott rank of ¯ , D SR ( ¯ ), is less than or equal to Ω D ω D 1 , the Church-Kleene ordinal relative to D . This establishes the analog of Nadel's effective bound on the continuous Scott rank of Polish metric spaces.

The basic template for the proof of Theorem 4.5 is the same as the classical first order argument. Now one attempts to define various monotone operators on D &lt;ω ×D &lt;ω that are positive Σ-definable in an admissible set containing D , ˆ , and Ω ˆ . L However, for this to be meaningful, one needs to ensure the computation of the back-and-forth pseudo-distance within the desired admissible set evaluates to the correct or true computation as performed in the real world. This amounts to showing that the first back-and-forth function r 0 is computed correctly by the appropriate admissible set. This will be shown by producing a countable collection of basic formulas respecting the weak modulus Ω which has a code in every admissible set containing ˆ L ⊕ ˆ Ω ⊕D and such that this collection is dense in the collection of all basic formulas respecting the weak modulus under the uniform norm.

The authors would like to thank Andr´ e Nies for commenting on an early draft of this paper.

## 2. Continuous Logic

See [2] for a more detailed exposition on continuous logic for metric structures.

Definition 2.1. [3] A modulus of arity n is a continuous function ∆ : ( R ≥ 0 ) n → R ≥ 0 such that ∆( ¯ ) = 0, 0 and for all ¯ r, s ¯ ∈ ( R ≥ 0 ) n , ∆(¯) r ≤ ∆(¯+¯) r s ≤ ∆(¯)+∆(¯). (+ refers to coordinate-wise addition.) The latter r s succinctly states that ∆ is non-decreasing and subadditive.

Let ∆ be a modulus of arity n . Let ( X , d i X i ) and ( Z, d Z ) be metric spaces where i &lt; n . Define d ∆ : ( ∏ i&lt;n X i ) 2 → R ≥ 0 by d ∆ (¯ x, y ¯) = ∆(( d X 0 (¯(0) x , y ¯(0)) , ..., d X n -1 (¯( x n -1) , y ¯( n -1))))

Let f : ∏ i&lt;n X i → Z . f respects ∆ if and only if d Z ( f (¯) x , f (¯)) y ≤ d ∆ (¯ x, y ¯). Definition 2.2. [3] A weak modulus is a function Ω : ( R ≥ 0 ) ω → [0 , ∞ ] which is non-decreasing, subadditive, lower semi-continuous in the product topology, separately continuous in each coordinate, and Ω( ¯ ) = 0. 0 For each n ∈ ω , define Ω n : ( R ≥ 0 ) n → R ≥ 0 by Ω n ( x , ..., x 0 n -1 ) = Ω( x , ..., x 0 n -1 , 0 0 0 , , ... ).

Fact 2.3. ( [3] Lemma 2.3.) Let Ω be a weak modulus. For all n ∈ ω , Ω n is a modulus of arity n . For all ¯ r ∈ ( R ≥ 0 ) ω , Ω(¯) = sup r n ∈ ω Ω (¯ n r /harpoonupright n ) .

Definition 2.4. A function f : X n → R respects the weak modulus Ω if and only if f respects the modulus Ω . n

Definition 2.5. A relation symbol consists of a symbol R , a natural number a R ( ), and a modulus ∆ R of arity a R ( ). A function symbol consists of a symbol f , a natural number a f ( ), and a modulus ∆ f of arity a f ( ).

- A language of continuous logic is a collection L of relation, function, and constant symbols along with a distinguished binary relation symbol d , which is intended to represent the distance function.

For convenience, one will assume all connectives, relations symbols, and the distance relation can only be interpreted to take value in the interval [0 , 1].

Definition 2.6. Let L be a language of continuous logic. A L -pre-structure is a collection M consisting of the following: There is a (possibly incomplete) metric space M . For each relation symbol R ∈ L , there is a continuous function R M : M a R ( ) → [0 , 1] which respects the modulus ∆ R . For each function symbol f ∈ L , there is a continuous function f : M a f ( ) → M respecting the modulus ∆ f .

- A L -structure is an L -pre-structure where M is a complete metric space.

Fact 2.7. If D is a L -pre-structure, then there is a canonical L -structure on ¯ D , the completion of D , obtained by extending all the interpretation of symbols to the completion. This structure is denoted ¯ D .

Definition 2.8. Let L be a countable language of continuous logic. Fix an infinite set 〈 v i : i ∈ ω 〉 of variables.

- The collection of L -terms is the smallest set closed under the following:
- 1. Each v i is a term.
- 2. If f is a function symbol and t 0 , ..., t a f ( ) -1 are terms, then f ( t 0 , ..., t a f ( ) -1 ) is a term.

The atomic formulas are generated in the following way: If R is a relation symbol and t 0 , ..., t a R ( ) -1 are terms, then R t , ..., t ( 0 a R ( ) -1 ) is an atomic formula. If t 1 and t 2 are terms, then d t ( 1 , t 2 ) is an atomic formula.

The collection of L -formulas, denoted L ω,ω , is the smallest collection closed under the following:

- 1. All atomic formulas are formulas.
- 2. If u : [0 , 1] n → [0 , 1] is a continuous function and ϕ , ..., ϕ 0 n -1 are formulas, then u ϕ , ..., ϕ ( 0 n -1 ) is a formula.
- 3. If ϕ is a formula and v i is a variable, then sup v i ϕ and inf v i ϕ are formulas.

Each term or formula has a canonically associated modulus. (See [3] Section 2.2 for more details.)

Definition 2.9. The collection of basic formulas is the smallest collection of formulas closed under 1 and 2 in the definition of L ω,ω .

Fact 2.10. If ϕ is a basic formula, then there are atomic formulas ϕ , ..., ϕ 0 k -1 and a continuous function u : [0 , 1] k → [0 , 1] so that ϕ = u ϕ , ..., ϕ ( 0 k -1 ) .

Proof. This is proved by induction.

/square

Definition 2.11. Let L be a language of continuous logic. Let D be a L -pre-structure.

The interpretation of the terms of L are defined as follows:

- 1. For each variable v i , v D i ( a , ..., a 0 n -1 ) = a i , if i &lt; n and a , ..., a 0 n -1 ∈ D .

- 2. Suppose t 0 , ..., t n -1 are terms mentioning variables v , ..., v 0 k -1 , f is a n -ary function symbol, ¯ a = ( a , ..., a 0 k -1 ) is a tuple from D , and each t D j (¯) a has already been defined, then ( f ( t 0 , ..., t n -1 )) D (¯) a = f D ( t D 0 (¯) a , ..., t D n 1 (¯)). a
- The interpretation of formulas is defined recursively as follows:
- 1. If R is a n -ary function symbol and t 0 , ..., t n -1 are terms, then ( R t , ..., t ( 0 n -1 )) D (¯) = a R D ( t D 0 (¯) a , ..., t D n -1 (¯)). a
- 3. Suppose ϕ is a formula such that ϕ D (¯) has been defined, then a
- 2. If u : [0 , 1] n → [0 , 1] is a continuous function and ϕ , ..., ϕ 0 n -1 are formulas such that ϕ D i (¯) has been a defined, then ( u ϕ , ..., ϕ ( 0 n -1 )) D (¯) = a u ϕ ( D 0 (¯) a , ..., ϕ D n -1 (¯)). a

$$( \sup _ { v _ { i } } \varphi ) ^ { \mathcal { D } } ( a _ { 0 }, \dots, a _ { k - 1 } ) = \sup _ { x \in D } \varphi ^ { \mathcal { D } } ( a _ { 0 }, \dots, a _ { i - 1 }, x, a _ { i + 1 }, \dots, a _ { k - 1 } )$$

Definition 2.12. A continuous function f : ( R ≥ 0 ) n → R ≥ 0 is coded by a function ˆ : f Q n → Q ω with the property that for all ¯ p ∈ ( Q ≥ 0 ) n , ˆ (¯) is a Cauchy sequence representing f p f (¯). p Similar coding can be defined if f : [0 , 1] n → [0 , 1].

Let L be a countable language for continuous logic. A code ˆ for L L consists of the following objects: L

- 2. For each function symbol or relation symbol P ∈ L , ˆ
- 1. The symbols of .
- ∆ . P If Ω is a weak modulus, the code for Ω is Ω consisting of Ω ˆ ˆ n for each n ∈ ω .

Each connective u : [0 , 1] n → [0 , 1] has a code ˆ as defined above. u Using this and the recursive definition of formulas, one can obtain codes ˆ for each formula ϕ ϕ .

Let D = ( D,d ) (where d refers to the metric) be a countable L -pre-structure. If f : D n → R , then the code for f is ˆ : f D n → Q ω so that for all ¯ x ∈ D n , ˆ (¯) is a Cauchy-sequence representing f x f (¯). x

The code of D , denoted ˆ , D consists of the underlying set D f , D , ˆ R D , and ˆ . d

If E is a countable collection of functions (which have a code as above), then a code for E is a function ˆ on E ω so that for all n , ˆ ( E n ) is a code for a function in E and for every function f ∈ E , there is some n so that ˆ ( E n ) is a code for f .

Remark 2.13 . Throughout, some of coding details will be left to the reader. For instance, the reader can check that in models of KP , values of functions on appropriate objects can be recovered from the appropriate codes of the function and the objects.

In some sense, information about the L -structure ¯ D is entirely contained in ˆ L ⊕ D . In the following, one will be concerned about analyzing the continuous Scott analysis of ¯ . D Unlike the first order case, the continuous Scott analysis has one additional parameter, a weak modulus Ω. Hence the real ˆ L ⊕ ˆ Ω ⊕D codes all the parameters in the continuous Scott analysis of M relative to the weak modulus Ω. The main concern is to find a bound on the continuous Scott rank of M relative to Ω using these parameters.

Definition 2.14. Let L be a countable language. Let Ω be a weak modulus. Let D be a countable L -pre-structure (which one may assume has domain ω ). Let A be a countable admissible set.

- L (respectively, Ω) is said to belong to the admissible set A if and only if ˆ L ∈ A (or Ω ˆ ∈ A , respectively).
- D is said to belong to A if and only if D ∈ A .

If ϕ ∈ L ω,ω , then ϕ belongs to A if and only if ˆ ϕ ∈ A .

Let L A ω,ω denote the collection of all formulas of L ω,ω that belong to A .

The interpretation of L ω,ω formulas evaluated at elements of D is the same as the interpretation in the completion ¯ : D

Fact 2.15. Let D be a countable L -pre-structure. Let x , ..., x 0 n -1 ∈ D . Let ϕ ∈ L ω,ω . Then ϕ D ( x , ..., x 0 n -1 ) = ϕ ¯ D ( x , ..., x 0 n -1 ) .

Proof. For all terms t and ¯ a ∈ D t , D (¯) = a t ¯ D (¯). a

Fact 2.15 is proved by induction:

Suppose the result holds for ϕ , ..., ϕ 0 n -1 and u : [0 , 1] n → [0 , 1] is a continuous function, then

$$( u ( \varphi _ { 0 }, \dots, \varphi _ { n - 1 } ) ) ^ { \bar { D } } ( \bar { a } ) = u ( \varphi _ { 0 } ^ { \bar { D } } ( \bar { a } ), \dots, \varphi _ { n - 1 } ^ { \bar { D } } ( \bar { a } ) ) = u ( \varphi _ { 0 } ^ { \bar { D } } ( \bar { a } ), \dots, \varphi _ { n - 1 } ^ { \bar { D } } ( \bar { a } ) ) = ( u ( \varphi _ { 0 }, \dots, \varphi _ { n - 1 } ) ) ^ { \bar { D } } ( \bar { a } )$$

by using the induction hypothesis.

Suppose the result holds for ϕ . Let i &lt; k . Then

$$( \sup _ { v _ { i } } \varphi ) ^ { \bar { D } } ( a _ { 0 }, \dots, a _ { k - 1 } ) = \sup _ { b \in \bar { D } } \varphi ^ { \bar { D } } ( a _ { 0 }, \dots, a _ { i - 1 }, b, a _ { i + 1 } \dots, a _ { k } )$$

By the continuity of ϕ and the induction hypothesis,

$$= \sup _ { b \in D } \varphi ^ { \tilde { D } } ( a _ { 1 }, \dots, a _ { i - 1 }, b, a _ { i + 1 }, \dots, a _ { k - 1 } ) = \sup _ { b \in D } \varphi ^ { \mathcal { D } } ( a _ { 1 }, \dots, a _ { i - 1 }, b, a _ { i + 1 }, \dots, a _ { k - 1 } ) = ( \sup _ { v _ { i } } \varphi ) ^ { \mathcal { D } } ( a _ { 0 }, \dots, a _ { k - 1 } ).$$

A similar argument holds for inf.

By induction, the result has been shown.

/square

KP is capable of formulating the syntax and semantics of continuous logic using the codes of various continuous functions and Cauchy sequence representations of reals and elements of ¯ . D The following is straightforward coding:

Fact 2.16. Let L be a countable language of continuous language. Let A be a countable admissible set such that L ∈ A . Let D be a countable L -pre-structure in A . Let ϕ ∈ L A ω,ω . Let ¯ a be a tuple of elements in D . Let ( ϕ D (¯)) a A be the computation of ϕ D (¯) a (considered as a Q -Cauchy sequence) in the admissible set A . Then ϕ D (¯) = ( a ϕ D (¯)) a A and by Fact 2.15, this is equal to ϕ ¯ D (¯) a .

## 3. Density of Basic Formulas Respecting a Weak Modulus

The Scott analysis for continuous logic of [3] is formulated using the back-and-forth pseudo-distance functions 〈 r α : α ∈ ON from Definition 4.1. Like the classical Scott analysis, the continuous Scott analysis 〉 can be expressed through a certain monotone operator. The Scott rank is then the closure ordinal of this operator. To obtain an effective bound, one will show that there is an equivalent monotone operator in a suitable countable admissible set that correctly represents the true Scott analysis occurring in the real world.

This amounts to showing that one can compute each r α correctly in an appropriate admissible set. From Definition 4.1, one can see that from r α , one obtains r α +1 by a simple explicit procedure. Similarly, if β is a limit ordinal, one can obtained r β by a simple explicit procedure from the collection { r γ : γ &lt; β } .

Thus one will need to show that there is an appropriate countable admissible set which can compute the initial function r 0 correctly. From Definition 4.1, r 0 is defined by taking a certain supremum over all basic L -formulas respecting a modulus Ω. The collection of all such formulas is uncountable and so certainly does not belong to any countable admissible set. The main result of this section is to show that there is a countable collection of such formulas which is dense in the uniform norm among the collection of all basic L -formulas respecting Ω and this collection is arithmetical in the code for L and Ω. See Fact 3.13 for the precise statement.

Definition 3.1. Suppose n ∈ ω . A subset A ⊆ ( R ≥ 0 ) n is said to be nice if and only if

- 1. For all ¯ x ∈ A and all ¯ y ∈ ( R ≥ 0 ) n such that for all i &lt; n , ¯( ) y i ≤ ¯( ), then ¯ x i y ∈ A .
- 2. There is an open set U ⊆ ( R ≥ 0 ) n with ¯ 0 ∈ U and U ⊆ A .

The following will be useful notation throughout:

Definition 3.2. For ¯ x ∈ R k , let π x (¯) ∈ ( R ≥ 0 ) k be defined by π x (¯)( ) = i | ¯( ) x i | for all i &lt; k .

Fact 3.3. Suppose f : A → R ≥ 0 is a function defined on a nice A ⊆ ( R ≥ 0 ) n , is non-decreasing, f ( ¯ ) 0 = 0 , continuous at ¯ 0 , and has code ˆ f . Then there is a function g : ( R ≥ 0 ) n → R ≥ 0 so that

- (i) g is a modulus of arity n with the property that for all ¯ x ∈ A g x , (¯) ≤ f (¯) x .
- (ii) g is the largest modulus of arity n below f in the following sense: if h is a modulus of arity n below f in the sense that for all ¯ x ∈ A h x , (¯) ≤ f (¯) x , then one has that for all ¯ x ∈ ( R ≥ 0 ) n , h x (¯) ≤ g x (¯) .
- (iii) ˆ g , the code of g , is arithmetic in any function f : A ∩ ( Q ≥ 0 ) n → Q ω such that for all ¯ p ∈ A ∩ ( Q ≥ 0 ) n , f (¯) p is a Cauchy sequence representing f (¯) p .

(Note that f is essentially a real and it codes f on ( Q ≥ 0 ) n in a manner similar to how continuous functions are coded, but if f is not continuous, then f may not be recovered from f .)

Proof. For notational simplicity, if ¯ and ¯ are elements of ( x y R ≥ 0 ) n , then one writes ¯ x /precedesequal ¯ if and only if for y all i &lt; n , ¯( ) x i ≤ ¯( ). y i

Define function g on ( R ≥ 0 ) n as follows:

$$g ( \bar { x } ) = \inf \left \{ f ( \bar { x } _ { 0 } ) + \dots + f ( \bar { x } _ { k - 1 } ) \, \colon k \in \omega \wedge \bar { x } _ { 0 }, \dots, \bar { x } _ { k - 1 } \in A \cap ( \mathbb { Q } ^ { \geq 0 } ) ^ { n } \wedge \bar { x } \preceq \sum _ { i < k } \bar { x } _ { i } \right \} \\ \text{Note that $a(\bar{0})=0$ since $f(\bar{0})=0$ and for all $\bar{x}\in A\cap (\mathbb{O}^{\geq 0})\n_{\ } a(\bar{x}\lambda)<f(\bar{x}\lambda)$} }.$$

Note that g ( ¯ ) 0 = 0 since f ( ¯ ) 0 = 0 and for all ¯ x ∈ A ∩ ( Q ≥ 0 ) n , g x (¯) ≤ f (¯). x

(Claim 1) g is non-decreasing: Suppose ¯ x, y ¯ ∈ ( R ≥ 0 ) n is such that ¯ x /precedesequal ¯. y Fix some ¯ y , ..., y 0 ¯ k -1 ∈ A ∩ ( Q ≥ 0 ) n so that ¯ y /precedesequal ∑ i&lt;k ¯ . y i Then ¯ x /precedesequal ∑ i&lt;k ¯ y k since ¯ x /precedesequal ¯. y Since ¯ y , ..., y 0 ¯ k -1 with ¯ y ≤ ∑ i&lt;k ¯ y i were arbitrary, one has that g x (¯) ≤ g y (¯) by the definition of g .

∑ (Claim 3) g is continuous: Fix /epsilon1 &gt; 0. Since f is continuous at ¯ and property 2 of the niceness of 0 A , there is some δ &gt; 0 so that for all ¯ x ∈ ( R ≥ 0 ) n with the property that for all i &lt; n , ¯( ) x i &lt; δ , one has that ¯ x ∈ A and f (¯) x &lt; /epsilon1 .

(Claim 2) g is subadditive: Fix ¯ x and ¯. y Suppose ¯ x , ..., x 0 ¯ k -1 ∈ A ∩ ( Q ≥ 0 ) n are such that ¯ x /precedesequal ∑ i&lt;k ¯ . x i Suppose ¯ y , ..., y 0 ¯ p -1 ∈ A ∩ ( Q ≥ 0 ) n are such that ¯ y /precedesequal ∑ i&lt;p ¯ . y i Let ¯ z , ..., z 0 ¯ k + p -1 enumerate ¯ x , ..., x 0 ¯ k -1 , y ¯ 0 , ..., y ¯ p -1 . Then ¯+¯ x y /precedesequal i&lt;k + p ¯ . z i It follows from the definition of g that g x (¯+¯) y ≤ g x (¯)+ g y (¯).

Fix ¯ x ∈ ( R ≥ 0 ) n . Let y ∈ ( R ≥ 0 ) n be such that for all i &lt; n , π y (¯ -¯)( ) x i &lt; δ 2 . Choose a ¯ z ∈ ( Q ≥ 0 ) n such that π y (¯ -¯) x /precedesequal ¯ and ¯( ) z z i &lt; δ for all i &lt; k . By the choice of δ , ¯ z ∈ A ∩ ( Q ≥ 0 ) n . Without loss of generality, suppose that g y (¯) ≥ g x (¯). Note that ¯ y /precedesequal ¯ + x π y (¯ -¯). x Using the fact that g is non-decreasing, subadditive, g is less than f on A ∩ ( Q ≥ 0 ) n , and the choice of ¯ and z δ , one has that

$$\tau ( \bar { x } )$$

$$| g ( \bar { y } ) - g ( \bar { x } ) | = g ( \bar { y } ) - g ( \bar { x } ) \leq g ( \bar { x } + \pi ( \bar { y } - \bar { x } ) ) - g ( \bar { x } ) \leq g ( \bar { x } ) + g ( \pi ( \bar { y } - \bar { x } ) ) - g ( \bar { x } ) \\ = g ( \pi ( \bar { y } - \bar { x } ) ) \leq g ( \bar { z } ) \leq f ( \bar { z } ) < \epsilon$$

The continuity of g has been established

It has been shown that g is a modulus.

(Claim 4) For all ¯ x ∈ A , g x (¯) ≤ f (¯): x For each j ∈ ω , let ¯ x j /precedesequal ¯ be such that x ¯ x j ∈ ( Q ≥ 0 ) n and (¯ x -¯ )( ) x j i &lt; 1 j +1 for all i &lt; n . Since ¯ x ∈ A and A is nice, ¯ x j ∈ A ∩ ( Q ≥ 0 ) n for all j ∈ ω . Since g y (¯) ≤ f (¯) for all y ¯ y ∈ A ∩ ( Q ≥ 0 ) n , the continuity of g and the fact that f is non-decreasing imply that g x (¯) = lim j →∞ g x (¯ ) = lim j j →∞ f (¯ ) x j ≤ f (¯). x

(Claim 5) g is the largest n -ary modulus below f : Suppose h is modulus below f but there is some ¯ x ∈ ( R ≥ 0 ) n so that g x (¯) &lt; h x (¯). Then there is some ¯ x , ..., x 0 ¯ k -1 ∈ A ∩ ( Q ≥ 0 ) n so that ¯ x /precedesequal ∑ i&lt;k ¯ x i and ∑ i&lt;k f (¯ ) x i &lt; h x (¯). However since h is an n -ary modulus, one must have

Contradiction.

$$\sum _ { i < k } f ( \bar { x } _ { i } ) < h ( \bar { x } ) \leq \sum _ { i < k } h ( \bar { x } _ { i } ) \leq \sum _ { i < k } f ( \bar { x } _ { i } )$$

Note that the definition of g depends only the value of f on A ∩ ( Q ≥ 0 ) n . This implies that there is a code ˆ of g g which is arithmetic in f . /square

Fact 3.4. Let ϕ , ..., ϕ 0 k -1 be atomic formulas of L ω,ω with free variables v , ..., v 0 n -1 . Let ∆ 0 , ..., ∆ k -1 be the canonical modulus of ϕ , ..., ϕ 0 k -1 , respectively, as mentioned at the end of Definition 2.8. Assume that each ∆ i is not the constant 0 function. Let Ω be a weak modulus. Then there is an k -ary modulus ∆ with a code which is arithmetic in ˆ L ⊕ ˆ Ω such that for all continuous functions u : [0 , 1] k → [0 , 1] , u ϕ , ..., ϕ ( 0 k ) respects Ω if and only if u respects ∆ .

Proof. First, observe that since each ϕ i is atomic, ∆ is recursive in i ˆ . L Suppose u : [0 , 1] k → [0 , 1] is continuous with canonical modulus ∆ u . The canonical modulus for u ϕ , ..., ϕ ( 0 k -1 ) is ∆ (∆ u 0 , ..., ∆ k -1 ). Suppose u ϕ , ..., ϕ ( 0 k -1 ) respects Ω n . This means that for all ¯ x ∈ ( R ≥ 0 ) n ,

$$\Delta ^ { u } ( \Delta _ { 0 } ( \bar { x } ), \dots, \Delta _ { k - 1 } ( \bar { x } ) ) \leq \Omega _ { n } ( \bar { x } )$$

Hence ∆ u must satisfy the following relation: For all ¯ r ∈ ( R ≥ 0 ) k such that there is some ¯ with the property x that for all i &lt; k , ∆ (¯) i x ≥ ¯( ), r i

$$\Delta ^ { u } ( \bar { r } ) \leq \inf \{ \Omega _ { n } ( \bar { x } ) \, \colon \bar { x } \in ( \mathbb { R } ^ { \geq 0 } ) ^ { n } \wedge ( \forall i < k ) ( \Delta _ { i } ( \bar { x } ) \geq \bar { r } ( i ) ) \}$$

## Let f be defined by

$$f ( \bar { r } ) = \inf \{ \Omega _ { n } ( \bar { x } ) \, \colon \bar { x } \in ( \mathbb { R } ^ { \geq 0 } ) ^ { n } \wedge ( \forall i < k ) ( \Delta _ { i } ( \bar { x } ) \geq \bar { r } ( i ) ) \}.$$

Using the assumption that each ∆ i is not constantly 0, f is defined on a nice A ⊆ ( R ≥ 0 ) k .

Note that ∆ u (¯) r ≤ f (¯) for all ¯ r r ∈ A if and only if u ϕ , ..., ϕ ( 0 k -1 ) respect Ω n :

( ⇒ ) is clear.

( ⇐ ) Suppose there is some ¯ r ∈ A so that f (¯) r &lt; ∆ (¯). Then there is some ¯ so that for all u r x i , ∆ (¯) i x ≥ ¯( ) r i and Ω (¯) n x &lt; ∆ (¯). u r Let ¯ be such that s ¯( ) s i = ∆ (¯). i x Since for all i &lt; k , ¯( ) r i ≤ ¯( ), s i one has that ∆ (¯) u r ≤ ∆ (¯). u s But then Ω n (¯) x &lt; ∆ (¯) u r ≤ ∆ (¯) = ∆ (∆ (¯) u s u 0 x , ..., ∆ k -1 (¯)). x The canonical modulus for the formula does not respect Ω n .

f is clearly non-decreasing where it is defined.

Next to show f is continuous at ¯ : 0 Let /epsilon1 &gt; 0. Since Ω n is continuous, there is some δ &gt; 0 so that Ω n (¯) x &lt; /epsilon1 whenever ¯ has the property that for all x i &lt; k , ¯( ) x i &lt; δ . Since each ∆ j is not constant in a neighborhood of ¯ , 0 for each j , there is some ¯ z j with ¯ ( ) z j i &lt; δ n for each i &lt; k and ∆ (¯ ) j z j &gt; 0. Let ¯ = z ∑ j&lt;k ¯ . z j Since each ∆ is non-decreasing for 0 i ≤ i &lt; k , ∆ (¯) i z &gt; 0. Let γ = min ∆ (¯) : { i z i &lt; k } . Suppose ¯ is such that for all r i &lt; k , ¯( ) r i &lt; γ . Then

$$\Omega _ { n } ( \bar { z } ) \in \{ \Omega _ { n } ( \bar { x } ) \, \colon \bar { x } \in ( \mathbb { R } ^ { \geq 0 } ) ^ { n } \wedge ( \forall i < k ) ( \Delta _ { i } ( \bar { x } ) \geq \bar { r } ( i ) ) \}$$

Hence f (¯) r ≤ Ω (¯) n z &lt; /epsilon1 . f is continuous at ¯ . 0

One can find a function f : A ∩ ( Q ≥ 0 ) n → Q ω with the properties in Fact 3.3 for this function f which is arithmetic in ˆ L ⊕ ˆ . Ω (Note that in the definition of f , one obtains the same function if the infimum is taken over ¯ x ∈ ( Q ≥ 0 ) n with the required property above.) Fact 3.3 states there is a largest modulus ∆ below f which is arithmetic in ˆ L ⊕ ˆ . Ω This completes the proof. /square

Definition 3.5. Let I ⊆ R be an open or closed interval. Let X be a compact metric space. Let C X,I ( ) be the collection of continuous functions f : X → I .

For f ∈ C X,I ( ), let ‖ f ‖ = sup x ∈ X | f ( x ) | be the uniform norm of f .

If f, g ∈ C X,I ( ), then define ( f ∧ g )( x ) = min { f ( x , g ) ( x ) } and ( f ∨ g )( x ) = max { f ( x , g ) ( x ) } .

L ⊆ C X,I ( ) is a lattice if and only if if for all f, g ∈ L f , ∧ g, f ∨ g ∈ L .

The following fact follows from the proof of the Stone-Weierstass theorem:

Fact 3.6. Let X be a compact metric space. Let I ⊆ R be an interval, f ∈ C X,I ( ) , and L ⊆ C X,I ( ) be a lattice.

Suppose for all x, y ∈ X , there is some g ∈ L so that g x ( ) = f ( x ) and g y ( ) = f ( y ) . Then for all /epsilon1 &gt; 0 , there is some h ∈ L so that ‖ f -h ‖ &lt; /epsilon1 .

Proof. Fix f ∈ C X,I ( ). Pick an /epsilon1 &gt; 0. Fix x ∈ X . By the assumption, for each y ∈ X , choose functions g x y ∈ L so that f ( x ) = g x y ( x ) and f ( y ) = g x y ( y ). Define A x y = { z ∈ X : g x y ( z ) &lt; f z ( ) + /epsilon1 } . A x y is open using the continuity of g x y and f . Note that y ∈ A x y . ⋃ y ∈ X A x y covers X . By compactness, there is a finite set F x ⊆ X so that y ∈ F x A x y = X .

For x ∈ X , let B x = { z ∈ X : f ( z ) -/epsilon1 &lt; k x ( z ) } . Each B x is open and x ∈ B x . ⋃ x ∈ X B x = X . By compactness, there is a finite set F ⊆ X so that x ∈ F B x = X .

⋃ Define k x = ∧ y ∈ F x g x y . Since L is a lattice, k x ∈ L . Note that k x ( x ) = f ( x ). For any z ∈ X , there is some y ∈ F x so that z ∈ A x y . Then k x ( z ) ≤ g y x ( z ) &lt; f z ( ) + /epsilon1 . This show that for all z ∈ X k , x ( z ) &lt; f z ( ) + /epsilon1 .

⋃ Let h z ( ) = ∨ x ∈ F k x ( z ). Again since L is a lattice, h ∈ L . Pick any z ∈ X . By the above, f ( z ) -/epsilon1 &lt; k x ( z ) ≤ h z ( ). Also by the above, k x ( z ) &lt; f z ( ) + /epsilon1 . Hence ‖ f -h ‖ &lt; /epsilon1 . /square

Fact 3.8 is the main technical approximation that will be needed. The following notation facilitates the exposition.

Definition 3.7. If ∆ is a k -ary modulus, then let ∆ : ˜ R n → R ≥ 0 be defined by ∆(¯) = ∆( ˜ x π x (¯)). ˜ ∆ is a continuous function that respects ∆ using subadditivity.

Let f : R k → R be a continuous function and ∆ be a k -ary modulus. Let U f,x, ¯ ∆ (¯) = z f (¯) + ∆(¯ x ˜ z -¯). x Let L f,x, ¯ ∆ (¯) = z f (¯) x -˜ (¯ ∆ z -¯). x Note that f respects ∆ if and only for all ¯, x L f,x, ¯ ∆ (¯) z ≤ f (¯) z ≤ U f,x, ¯ ∆ (¯) z for all ¯. z

Let ∆ be a k -ary modulus of uniform continuity so that ∆[[0 1] , k ] ⊆ [0 , 1]. Let ¯ x, y ¯ ∈ [0 , 1] k . Suppose ∆( (¯ π y -¯)) x &gt; 0. Let a, b ∈ [0 , 1] with a ≤ b &lt; a +∆( (¯ π y -¯)). x Let ∆ ˜ ¯ ¯ x,y a,b : [0 , 1] k → [0 , 1] be defined by

$$\tilde { \Delta } ^ { \bar { x }, \bar { y } } _ { a, b } ( \bar { z } ) = \min _ { \substack { \tau \neq \bar { a } \\ \tau \neq \bar { a } } } \tilde { \Delta } ( \bar { z } - \bar { x } ) \Big \} \\. \quad. \quad. \quad \tau \neq \bar { a }$$

Note that since ∆ respects ∆, so does the ∆ ˜ ˜ ¯ ¯ x,y a,b .

If ∆( (¯ π y -¯)) = 0, then define x

$$\tilde { \Delta } _ { a, a } ^ { \bar { x }, \bar { y } } ( \bar { z } ) = a.$$

This also respects ∆.

Note that if ¯ x, y ¯ ∈ ( Q ∩ [0 , 1]) k and a, b ∈ Q ∩ [0 , 1], then the code for ∆ ˜ ¯ ¯ x,y a,b is arithmetic in the code for ∆.

For ¯ x, y, a, b ¯ satisfying the above conditions, ∆ ˜ ¯ ¯ x,y a,b : [0 , 1] k → [0 , 1], ˜ ∆ ¯ ¯ x,y a,b (¯) = x a , ˜ ∆ ¯ ¯ x,y a,b (¯) = y b , and this function respects ∆.

Fact 3.8. Let ∆ be a k -ary-modulus. Let ¯ x, y, a, b ¯ and ¯ x , y , a , b ′ ¯ ′ ′ ′ satisfy the conditions in Definition 3.7. Let M the maximum of ∆ on [0 , 1] k . Then

$$\ell \quad \begin{array} { c } \ell & \alpha \end{array} \lambda \end{array} \lambda \begin{array} { c } \ell & \alpha \end{array} \lambda \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \end{array} \lambda \end{array} \lambda \end{array} \lambda \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \end{array} \lambda \end{array} \lambda \end{array} \lambda \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \end{array} \lambda \end{array} \lambda \end{array} \lambda \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \end{array} \lambda \end{array} \lambda \end{array} \lambda \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \end{array} } \lambda \end{array} \lambda \end{array} \lambda \end{array} \lambda \end{array} \lambda \end{array} \lambda \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{\array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell } \ell \quad \begin{array} { c } \ell \quad \begin{array } { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad  \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c. c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \begin{array} { c } \ell \quad \elphi \quad \end{array} \lambda \end{array} \lambda \end{array} \lambda \end{array} \lambda \end{array} \lambda \end{array} \lambda \end{array} \lambda \end{array} \lambda \end{array} \lambda \end{array} \lambda \end{array} \lambda \end{array} \lambda \end{array} \lambda \end{array} \lambda \end{array} \lambda \end{array} \lambda \end{array} \lambda \end{array}$$

∣ ∣ ∣ ∣ ∣ The main observation is that for a fixed ¯ x, y, a, b ¯ , the latter expression in the above gets arbitrarily close to 0 as ¯ x , y , a , b ′ ¯ ′ ′ ′ get close to ¯ x, y, a, b ¯ , respectively. Therefore ‖ ˜ ∆ ¯ ¯ x,y a,b -˜ ∆ ¯ x ,y ′ ¯ ′ a ,b ′ ′ ‖ approaches 0 as ¯ x , y , a , b ′ ¯ ′ ′ ′ gets close to ¯ x, y, a, b ¯ .

Proof. For any ¯ z ∈ [0 , 1] k , one has by definition

$$\mu _ { \nu } \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \\ \mu _ { \nu } \cdots \cdots \cdots \cdots \cdots \cdots \cdots \\ | \tilde { \Delta } _ { a, b } ^ { \, \tilde { x }, \tilde { y } } ( \bar { z } ) - \tilde { \Delta } _ { a ^ { \prime }, b ^ { \prime } } ^ { \, \tilde { x } ^ { \prime }, \tilde { y } ^ { \prime } } ( \bar { z } ) | & \leq \left | a + \frac { b - a } { \tilde { \Delta } ( \bar { y } - \bar { x } ) } \tilde { \Delta } ( \bar { z } - \bar { x } ) - a ^ { \prime } - \frac { b ^ { \prime } - a ^ { \prime } } { \tilde { \Delta } ( \bar { y } ^ { \prime } - \bar { x } ^ { \prime } ) } \tilde { \Delta } ( \bar { z } - \bar { x } ^ { \prime } ) \right | \\ \text{ing the triangle inequality to extract out } | a - a ^ { \prime } |, \, \text{one obtains} \\. \quad 1 \quad h - a \quad \tilde { h } ^ { \prime } - a ^ { \prime } \quad \tilde { \cdot } \quad 1$$

∣ Using the triangle inequality to extract out | a -a ′ | , one obtains

$$\dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \delta \delta ( \bar { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \that \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde  \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde } \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde $ \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde [ \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \tilde { \t                                                                                                                                                                                                         }                                                                                                                                                                                                       
                                                                                                                                                                                                       .                                                                                                                                                                                                        \endforel } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } ) } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } { } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } _ } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } }, } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } }., } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } }, _ } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } }, \ } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } }$$

∣ By subtracting and adding the same expression, one has

$$\cdots \, \circ \, \circ \, \circ \, \kappa \cdots \, \kappa \cdots \, \circ \, \circ \, \cdots \, \circ \, \cdots \, \\ = | a - a ^ { \prime } | + \left | \frac { b - a } { \tilde { \Delta } ( \bar { y } - \bar { x } ) } \right | | \tilde { \Delta } ( \bar { z } - \bar { x } ) - \tilde { \Delta } ( \bar { z } - \bar { x } ^ { \prime } ) | + \tilde { \Delta } ( \bar { z } - \bar { x } ^ { \prime } ) \left | \frac { b - a } { \Delta ( \pi ( \bar { y } - \bar { x } ) ) } - \frac { b ^ { \prime } - a ^ { \prime } } { \tilde { \Delta } ( \bar { y } ^ { \prime } - \bar { x } ^ { \prime } ) } \right | \\ \text{By assumption, } \tilde { \Delta } ( \bar { z } - \bar { x } ^ { \prime } ) \leq M. \, \text{ Using the properties of } \Delta \text{ from Definition 2.1, one can show that } | \tilde { \Delta } ( \bar { z } - \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{ } \text{$$

$$\Phi _ { x } \Phi _ { x } \Phi _ { x } \Phi _ { x } \Phi _ { x } \Phi _ { x } \Phi _ { x } \Phi _ { x } \Phi _ { x } \Phi _ { x } \Phi _ { x } \Phi _ { x } \Phi _ { x } \Phi _ { x } \Phi _ { x } \Phi _ { x } \Phi _ { x } \Phi _ { x } \Phi _ { x } \Phi _ { x } \Phi _ { x } \Phi _ { x } \Phi _ { x } \Phi _ { x } \Phi _ { x } \Phi _ { x } \Phi _ { x } \Phi _ { x } \Phi _ { x } \Phi _{ x } \Phi _ { x } \Phi _ { x } \Phi _ { x } \Phi _ { x } \Phi _ { x } \Phi _ { x } \Phi _ { x } \Phi _ { x } \Phi _ { x } \Phi _ { x } \Phi _ { x } \Phi _ { x } \Phi _ { x } \Phi _ { x } \Phi _ { x } \Phi _ { x } \Phi _ { x } \Phi _ { x } \Phi _ { x } \Phi _ { x } \Phi _ { x } \Phi _ { x } \Phi _ { x } \Phi _ { x } \Phi _ { x } \Phi _ { x } \Phi _ { x } \Phi _ { x } \Psi _ { x } \Psi _ { x } \Psi _ { x } \Psi _ { x } \Psi _ { x } \Psi _ { x } \Psi _ { x } \Psi _ { x } \Psi _ { x } \Psi _ { x } \Psi _ { x } \Psi _ { x } \Psi _ { x } \Psi _ { x } \Psi _ { x } \Psi _ { x } \Psi _ { x } \Psi _ { x } \Psi _ { x } \Psi _ { x } \Psi _ { x } \Psi _ { x } \Psi _ { x } \Psi _ { x } \Psi _ { x } \Psi _ { x } \Psi _ { x } \Psi _ { x } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psigma _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Phi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { y } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psigma _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Phi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { x } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Ps i _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z x } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Phis _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z r } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psilon _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z. } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psis _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \Psi _ { z } \$$

∣ ∣ ∣ ∣ By assumption, ∆(¯ ˜ z -¯ ) x ′ ≤ M . Using the properties of ∆ from Definition 2.1, one can show that | ˜ (¯ ∆ z -¯) x -˜ (¯ ∆ z -¯ ) x ′ | = ∆( (¯ | π z -¯)) x -∆( (¯ π z -¯ )) x ′ | ≤ | ˜ (¯ ∆ x -¯ ) . x ′ | Thus one has

$$\lambda ^ { \prime } _ { 1 } \quad \vdash \cdots \lambda ^ { \prime } _ { 2 } \quad \vdash \cdots \lambda ^ { \prime } _ { 3 } \quad \vdash \cdots \lambda ^ { \prime } _ { 4 } - \vdash \cdots \lambda ^ { \prime } _ { 5 } \quad \vdash \cdots \lambda ^ { \prime } _ { 7 } \quad \vdash \cdots \lambda ^ { \prime } _ { 8 } \quad \vdash \cdots \lambda ^ { \prime } _ { 9 } \quad \vdash \cdots \lambda ^ { \prime } _ { 9 } \quad \vdash \cdots \lambda ^ { \prime } _ { 9 } \quad \vdash \cdots \lambda ^ { \prime } _ { 9 } \quad \vdash \cdots \lambda ^ { \prime } _ { 9 } \quad \vdash \cdots \lambda ^ { \prime } _ { 9 } \quad \vdash \cdots \lambda ^ { \prime } _ { 9 } \quad \vdash \cdots \lambda ^ { \prime } _ { 9 } \quad \vdash \cdots \lambda ^ { \prime } _ { 9 } \quad \vdash \cdots \lambda ^ { \prime } _ { 9 } \quad \vdash \cdots \lambda ^ { \prime } _ { 9 } \quad \vdash \cdots \\ \leq | a - a ^ { \prime } | + \left | \frac { b - a } { \tilde { \Delta } ( \bar { y } - \bar { x } ) } \right | \tilde { \Delta } ( \bar { x } - \bar { x } ^ { \prime } ) + M \left | \frac { b - a } { \tilde { \Delta } ( \bar { y } - \bar { x } ) } - \frac { b ^ { \prime } - a ^ { \prime } } { \tilde { \Delta } ( \bar { y } ^ { \prime } - \bar { x } ^ { \prime } ) } \right | \\ \text{statement has been verified.} \\ \text{main observation: Note that as a approaches $a^{\prime}$, the first term goes to 0. As $\bar{x}$ approach}$$

∣ The first statement has been verified.

For the main observation: Note that as a approaches a ′ , the first term goes to 0. As ¯ approaches ¯ , the x x ′ second term approaches 0. As a , b , ¯, x ¯ approaches y a ′ , b ′ , ¯ , x ′ ¯ , y ′ respectively, the third term goes to 0. /square

Fact 3.9. Let A ⊆ A ′ ⊆ C X,I ( ) . Let L A ( ) and L A ( ′ ) be the lattice generated by A and A ′ , respectively. Suppose for all /epsilon1 &gt; 0 and f ′ ∈ A ′ , there is some f ∈ A so that ‖ f -f ′ ‖ &lt; /epsilon1 . Then for all /epsilon1 &gt; 0 and f ′ ∈ L A ( ′ ) , there is some f ∈ L A ( ) so that ‖ f -f ′ ‖ &lt; /epsilon1 .

Proof. Observe that if ‖ f -f ′ ‖ &lt; /epsilon1 and ‖ g -g ′ ‖ &lt; /epsilon1 , then ‖ f ∧ g -f ′ ∧ g ′ ‖ &lt; /epsilon1 and ‖ f ∨ g -f ′ ∨ g ′ ‖ &lt; /epsilon1 . The result follows from this observation by induction. /square

Definition 3.10. Let ∆ is a k -ary modulus. Let D ′ ∆ be the smallest lattice containing ∆ ˜ ¯ ¯ x,y a,b where ¯ x, y ¯ ∈ ( R ∩ [0 , 1]) k and a, b ∈ R ∩ [0 , 1] satisfy the conditions in Definition 3.7 (with respect to ∆).

Let D ∆ be the smallest lattice containing ∆ ˜ ¯ ¯ x,y a,b where ¯ x, y ¯ ∈ ( Q ∩ [0 , 1]) k and a, b ∈ Q ∩ [0 , 1] satisfying the conditions in Definition 3.7 (with the respect to ∆). D ∆ is a countable set. D ∆ has a code which is arithmetic in the code of ∆.

Fact 3.11. Let ∆ be a modulus of arity k . If u : [0 , 1] k → [0 , 1] is a function respecting ∆ and /epsilon1 &gt; 0 , then there is a h ∈ D ∆ so that ‖ u -h ‖ &lt; /epsilon1 .

Proof. Fix /epsilon1 &gt; 0. Fix ¯ x, y ¯ ∈ [0 , 1] k . First suppose that ∆( π y (¯ -¯)) x &gt; 0. Without loss of generality, suppose that u x (¯) ≤ u y (¯). Since u respects the modulus ∆, u x (¯) ≤ u y (¯) &lt; u x (¯) + ∆( π y (¯ -¯)). x Hence ˜ ∆ ¯ ¯ x,y u x ,u y (¯) (¯) ∈ D ′ ∆ . If ∆( (¯ π y -¯)) = 0, then x u x (¯) = u y (¯). In this case, consider ∆ ˜ ¯ ¯ x,y u x ,u x (¯) (¯) ∈ D ′ ∆ . This shows that Fact 3.6 can be used to find some h ∈ D ′ ∆ so that ‖ u -h ‖ &lt; /epsilon1 .

. /square

Using Fact 3.8 and Fact 3.9, one can find some h ∈ D ∆ so that ‖ u -h ‖ &lt; /epsilon1

Fact 3.12. Let Ω be a weak modulus. Let ϕ , ..., ϕ 0 k -1 be atomic formulas of L ω,ω with free variables among v , ..., v 0 n -1 . Then there is a countable set E ϕ ,..., ϕ ( 0 k -1 ) with the following properties:

1. All formulas ψ ∈ E ϕ ,..., ϕ ( 0 k -1 ) are basic n -ary respecting Ω .

2. For any /epsilon1 &gt; 0 , any L -structure M , and any formula of the form u ϕ , ..., ϕ ( 0 k -1 ) respecting Ω where u : [0 , 1] k → [0 , 1] is continuous, there is some formula ψ ∈ E ϕ ,..., ϕ ( 0 k -1 ) so that ‖ ψ M -u ϕ , ..., ϕ ( 0 k -1 ) M ‖ &lt; /epsilon1 . 3. There is a real arithmetic in ˆ L ⊕ ˆ Ω which codes E ϕ ,..., ϕ ( 0 k -1 ) .

Proof. Let ∆ i be the canonical modulus for ϕ i . Suppose some of the ∆ i are constantly 0. Without loss of generality, assume that there is some j &lt; k so that ∆ is constantly 0 for all i i ≥ j . Fix a L -structure M . There are constants b , ..., b j k -1 in [0 , 1] so that for each i ≥ j , ϕ M i takes constant value b j . Define ˜( u ϕ , ..., ϕ 0 j -1 ) = u ϕ , ..., ϕ ( 0 j -1 , b j , ..., b k -1 ). ˜( u ϕ , ..., ϕ 0 j -1 ) respects the weak modulus Ω and, ˜( u ϕ , ..., ϕ 0 j -1 ) and u ϕ , ..., ϕ ( 0 k -1 ) are equal when interpreted in M .

From the above discussion, it suffices to consider the case when all the modulus ∆ 0 , ..., ∆ k -1 are not constantly zero.

Let ∆ be the modulus from Fact 3.4. Let E ϕ ,..., ϕ ( 0 k -1 ) be the collection of the formulas of the form u ϕ , ..., ϕ ( 0 k -1 ) where u ∈ D ∆ . /square

Finally, the next fact shows that there is a countable dense set F n Ω of n -ary basic formulas respecting the weak modulus Ω which is dense among the collection of all basic n -ary formulas ϕ . Also F n Ω has a code arithmetic in ˆ L ⊕ ˆ . Ω

Fact 3.13. There is a countable set F n Ω of n -ary basic formulas respecting the weak modulus Ω such that for all /epsilon1 &gt; 0 , L -structures M , and basic n -ary-formulas ϕ respecting Ω , there is some ψ ∈ F n Ω so that ‖ ψ M -ϕ M ‖ &lt; /epsilon1 . Moreover, the code for F n Ω is arithmetic in ˆ L ⊕ ˆ Ω .

Proof. Fix an L -recursive enumeration of all finite tuples ( ϕ , ..., ϕ 0 k -1 ) (where k ∈ ω ) of atomic formulas in the free variables v , ..., v 0 n -1 . Let F n Ω be the union of all such E ϕ ,..., ϕ ( 0 k -1 ). This works using Fact 2.10 and Fact 3.12. /square

## 4. Continuous Scott Analysis

The following is the back-and-forth pseudo-distance:

Definition 4.1. ([3] Definition 3.1) Let L be a language of continuous logic. Let M be a L -structure. Let ¯ a, b ¯ be tuples from M of the same length. Let Ω be a weak modulus.

Let

$$r _ { 0 } ( \bar { a }, \bar { b } ) = \sup _ { \varphi } | \varphi ^ { \mathcal { M } } ( \bar { a } ) - \varphi ^ { \mathcal { M } } ( \bar { b } ) |$$

where the supremum is taken over all basic L -formulas respecting Ω. Suppose r β has been defined for all β &lt; α and α is a limit ordinal, then let

$$r _ { \alpha } ( \bar { a }, \bar { b } ) = \sup _ { \beta < \alpha } r _ { \beta } ( \bar { a }, \bar { b } )$$

Suppose r α has been defined, let

$$r _ { \alpha + 1 } ( \bar { a }, \bar { b } ) = \sup _ { c, d \in M } \inf _ { c ^ { \prime }, d ^ { \prime } \in M } r _ { \alpha } ( \bar { a } c, \bar { b } d ^ { \prime } ) \vee r _ { \alpha } ( \bar { a } c ^ { \prime }, \bar { b } d ^ { \prime } )$$

For each n ∈ ω , let r α,n be the restriction of r α to M n × M n .

Fact 4.2. ( [3] Lemma 3.2 and 3.3) Let α be an ordinal and n ∈ ω . r α,n is a pseudo-distance. Each r α,n is a uniformly continuous function respecting the modulus Ω n .

If α &lt; β and ¯ a is a tuple in M , then r α (¯ a, b ¯ ) ≤ r β (¯ a, b ¯ ) .

Definition 4.3. ([3] Definition 3.6) The least ordinal α so that r α = r α +1 is the Scott rank of M with respect to Ω and is denoted SR Ω ( M ).

Fact 4.4. Let L be a countable language with code ˆ L . Let D be a countable L -pre-structure. Let ¯ D denotes its completion structure. Let Ω be a weak modulus with code ˆ Ω . Let A be a countable admissible set containing ˆ L ⊕ ˆ Ω ⊕D . Let ¯ ¯ a, b be tuples from D of the same length. Let ( r 0 (¯ a, b ¯ )) A be the computation of r 0 (¯ a, b ¯ ) in A . Then r 0 (¯ a, b ¯ ) = ( r 0 (¯ a, b ¯ )) A .

Proof. Fact 2.16 implies that for any ϕ ∈ L A ω,ω , ϕ ¯ D (¯) = ( a ϕ ¯ D (¯)) a A and ϕ ¯ D ( ¯ ) b = ( ϕ ¯ D ( ¯ )) b A . That is, the computation of formulas ϕ ∈ L A ω,ω is the same as in the real world.

Together, these facts show that the computation of r 0 (¯ a, b ¯ ) in A gives the true value of r 0 (¯ a, b ¯ ). /square

Let n be the length ¯. a The computation of r 0 (¯ a, b ¯ ) in A entails using only the basic n -ary formulas respecting Ω which belong to L A ω,ω when evaluating the supremum. The set F n Ω from Fact 3.13 is contained in and is dense in the collection of all n -ary basic formulas respecting Ω under the uniform norm. The entire set F n Ω is hyperarithmetic in ˆ L ⊕ ˆ . Ω So F n Ω ∈ A . In particular, each function of F n Ω is in L A ω,ω .

Theorem 4.5. Let L be a countable language with code ˆ L . Let Ω be a weak modulus with code ˆ Ω . Let D be a countable L -pre-structure. Let ¯ D denote its completion structure. Then SR ( ¯ ) Ω D ≤ ω ˆ L ⊕ ⊕D ˆ Ω 1 .

Proof. Let A be any admissible set containing ˆ L ⊕ ˆ Ω ⊕D .

Fix a q ∈ Q &gt; 0 . Define the following operator Γ q : P ( D &lt;ω × D &lt;ω ) → P ( D &lt;ω × D &lt;ω ) by: Γ( X ) is the set of (¯ a, b ¯ ) so that one of the following hold:

/negationslash

- 1. | ¯ a | = ¯ | b |
- 3. ( ∃ c ∈ D )( ∃ d ∈ D )( ∀ c ′ ∈ D )( ∀ d ′ ∈ D )((¯ ac , bd ′ ¯ ) ∈ X ∨ (¯ ac, b, d ¯ ′ ) ∈ X )
- 2. r 0 (¯ a, b ¯ ) &gt; q .

For each q ∈ Q , Γ q is defined by a positive Σ-formula with parameters from A . By results of Gandy (see [1], Chapter VI, Corollary 2.8), the closure ordinal ‖ Γ q ‖ of Γ q is less than or equal to the o ( A ) = A ∩ ON, the ordinal height of A .

Let I ∞ Γ q = I ‖ Γ q ‖ Γ q be the least fixed point of Γ q . By Fact 4.4, r 0 is computed correctly by A . So (¯ a, b ¯ ) ∈ I ∞ Γ q if and only if there is some α so that r α (¯ a, b ¯ ) &gt; q .

Letting A = L ω ˆ L ⊕ ⊕D ˆ Ω 1 ( ˆ L ⊕ ˆ Ω ⊕D ), which has ordinal height o ( A ) = ω ˆ L ⊕ ⊕D ˆ Ω 1 , completes the proof. /square

Let γ = sup q ∈ Q &gt; 0 ‖ Γ q ‖ . By the above, γ ≤ o ( A ). So r γ (¯ a, b ¯ ) = r β (¯ a, b ¯ ) for all tuples ¯ a, b ¯ from D and β ≥ γ . By Fact 4.2, each r β,n is a continuous function on ¯ D n × ¯ D n . Since for each β ≥ γ , r γ,n /harpoonupright D n × D n = r β,n /harpoonupright D n × D n , one has that r γ,n /harpoonupright ¯ D n × ¯ D n = r β,n /harpoonupright ¯ D n × ¯ D n for all β ≥ γ . Hence r β (¯ a, b ¯ ) = r γ (¯ a, b ¯ ) for all β ≥ γ and all tuples ¯ a, b ¯ of the same length from ¯ . D SR ( ¯ ) Ω D ≤ γ and in fact is equal. As γ ≤ o ( A ), one has SR Ω ( ¯ ) D ≤ o ( A ).

## References

- 1. Jon Barwise, Admissible sets and structures , Springer-Verlag, Berlin-New York, 1975, An approach to definability theory, Perspectives in Mathematical Logic. MR 0424560 (54 #12519)
- 2. Ita¨ ı Ben Yaacov, Alexander Berenstein, C. Ward Henson, and Alexander Usvyatsov, Model theory for metric structures , Model theory with applications to algebra and analysis. Vol. 2, London Math. Soc. Lecture Note Ser., vol. 350, Cambridge Univ. Press, Cambridge, 2008, pp. 315-427. MR 2436146
- 3. Ita¨ ı Ben Yaacov, Michal Doucha, Andr´ e Nies, and Todor Tsankov, Metric Scott analysis , Adv. Math. 318 (2017), 46-87. MR 3689736
- 4. William Chan, Bounds on Scott Ranks of Some Polish Metric Spaces , arXiv e-prints (2019), arXiv:1906.04351.

- 5. Michal Doucha, Scott rank of Polish metric spaces , Ann. Pure Appl. Logic 165 (2014), no. 12, 1919-1929. MR 3256743
- 6. Michal Doucha, Erratum to: Scott rank of Polish metric spaces [Ann. Pure Appl. Logic 165 (12) (2014) 19191929] , Annals of Pure and Applied Logic 168 (2017), no. 7, 1490.
- 7. Sy Friedman, Katia Fokina, Martin Koerwien, and Andre Nies, The Scott rank of Polish metric spaces , arXiv e-prints (2019), arXiv:1906.00351.
- 8. M. Makkai, An example concerning Scott heights , J. Symbolic Logic 46 (1981), no. 2, 301-318. MR 613284 (82m:03049)
- 9. Mark Nadel, Scott sentences and admissible sets , Ann. Math. Logic 7 (1974), 267-294. MR 0384471 (52 #5348)

Department of Mathematics, University of North Texas, Denton, TX 76203

E-mail address : William.Chan@unt.edu

Department of Mathematics, University of Illinois at Urbana-Champaign, Urbana, IL 61801 E-mail address : ruiyuan@illinois.edu
William Chan Ruiyuan Chen
Bounds on Continuous Scott Rank
An analog of Nadel's effective bound for the continuous Scott rank of metric
structures, developed by Ben Yaacov, Doucha, Nies, and Tsankov, will be
established: Let $\mathscr{L}$ be a language of continuous logic with code
$\hat{\mathscr{L}}$. Let $\Omega$ be a weak modulus of uniform continuity with
code $\hat{\Omega}$. Let $\mathcal{D}$ be a countable
$\mathscr{L}$-pre-structure. Let $\bar{\mathcal{D}}$ denote the completion
structure of $\mathcal{D}$. Then $\mathrm{SR}_\Omega(\bar{D}) \leq
\omega_1^{\hat{\mathscr{L}}\oplus\hat{\Omega}\oplus\mathcal{D}}$, the
Church-Kleene ordinal relative to
$\hat{\mathscr{L}}\oplus\hat{\Omega}\oplus\mathcal{D}$.