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 8 of 8 for “"First order theories"”.
-
A System for Models of First Order Theories
… and testing properties of models of first-order theories. This system is supposed to provide a convenient and paperless environment for researchers and students investigating or studying such models and algebraic structures in particular. To implement a first-order theory in the …
-
Explanation of independence
… (notions of independence) for complete first-order theories is presented, the principal examples being forking (due to Shelah) and thorn-forking (due to Onshuus). Thorn-forking is characterised in terms of modular pairs in the lattice of algebraically closed sets. Wherever possible, …
-
An Object-oriented Formal Notation: Executable Specifications in Clay = Una notación formal orientada a objetos : especificaciones ejecutables con Clay
… generation of executable prototypes. Clay has a first-order semantics that gives an interpretation in first-order logic of the main object-oriented constructions: inheritance, defining classes by cases, overloading, dynamic binding and static equality. Furthermore, the use of the concrete syntax …
-
Independence in exponential fields
… properties akin to non-forking independence in first order theories. Applying work of Kangas, Hyttinen and Kes�al�a, we prove that in ECFSK our independence notion is the unique independence relation for this class, and that our independence notion in ECFSK,CCP is exactly the canonical …
-
A DOCTRINAL VIEW OF LOGIC
… analysis of both syntax and semantics of logical theories — in particular first-order theories — using the same mathematical structure. The thesis begins with a thorough analysis of Henkin’s Theorem for first-order logic (“every consistent theory has a model”), with the aim of interpreting it in …
-
Infinitesimal Models of Algebraic Theories
… theory of infinitesimal models of algebraic theories that provides us with a formalisation of these notions, and which is in accordance with the intuition when applied in the context of Synthetic Differential Geometry. This allows us to study well-known geometric structures and concepts from …
-
Interior algebras and topology
… 2.2.18). The well-known connection between pre-ordered sets and interior algebras is shown to be a special case of topological duality (see section 4 of chapter 2). The topological concepts of neighbourhoods, convergence and accumulation are generalized to interior algebras (Chapter 3), and are …
-
[Pi 0 1] Classes Boundedness and Degrees
… trees. Historically, Π 0 1 classes have first been considered by Shoenfield in an investigation of the complexity of complete extensions of computably axiomatizable first-order theories, such as Peano arithmetic. We aim for a comprehensive access to the notion of Π 0 1 classes. First of …