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 9 of 9 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 …
-
Automatic presentations of infinite structures
… presentations allow for effective evaluation of first-order formulas over the represented structure in line with the strong correspondence between automata and logics. Accordingly, automatic presentations can be recast in logical terms using various notions of interpretations. The simplicity and …
-
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 …