Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 6 of 6 for “"continuous logic"”.
-
Model Theory of Nakano Spaces
… Nakano spaces are shown to be axiomatizable in continuous logic for metric structures. The theory of atomless Nakano spaces equipped with a modular having a fixed compact essential range is shown to admit quantifier elimination. It is also shown that if this essential range is moreover bounded …
-
Model theory and probability
… counterparts. In this thesis, the author uses a continuous version of first order logic that has been developed recently and that is better suited for applications to metric structures than classical first order logic. The set of truth values in continuous logic is the interval [0,1] instead of …
-
Topics on the geometry and classification of Banach lattices
… tools from functional analysis and mathematical logic. This work can be roughly divided into four parts. The first part (Chapter 2) presents several geometric results on Banach lattice analogues of classical Banach space theorems which ground results from later sections. The second part (Chapters …
-
Urban megaprojects-based approach in urban planning: from isolated objects to shaping the city:The case of Dubai
… that encompasses family ties, business logic and individualist visions. UMPS are not exceptions or isolated developments, they are in Dubai, a mean through which the city is expanding and being managed. UMPs are here the backbone public planning instrument to what we can call a …
-
Development of constrained fuzzy logic for modeling biological regulatory networks and predicting contextual therapeutic effects
… In this thesis, we develop methods for using continuous logic-based models to aide our understanding of these signaling networks and facilitate data interpretation. We present a novel modeling framework called constrained fuzzy logic (cFL) that maintains a simple logic-based description of …
-
Contributions to model theory of metric structures
Made available in DSpace on 2010-05-19T18:36:29Z (GMT). No. of bitstreams: 3 Tellez_Hernando.pdf: 683026 bytes, checksum: 63aec6056aa460a185790c297edd2ee9 (MD5) 1_Tellez_Hernando.pdf: 683016 bytes, checksum: 1498cf52175b63f07a8ffcf6f6c61998 (MD5) license.txt: 4064 bytes, checksum: …