Search for dissertations about: "topos"
Showing result 1 - 5 of 6 swedish dissertations containing the word topos.
-
1. Enthymemes in Dialogue: A micro-rhetorical approach
Abstract : In dialogue we frequently present arguments which are based on commonly accepted non-logical inferences. In rhetorical theory, this type of argument is called an enthymeme, and a pattern of reasoning that it is based on is called a topos. The main purpose of this thesis is to investigate the role that enthymemes play in natural language dialogue. READ MORE
-
2. Metal Organic Frameworks: History, Synthesis, and Topological approach
Abstract : The storage, separation, purification and catalytic reactions of small molecules are important research domains in both pure and applied chemistry, where porous materials play a major role. Among the different possible options for the preparation porous materials a recent approach is to build structures based on metal ions, metal complexes, or metal clusters, bridged by organic ligands. READ MORE
-
3. Localic Categories of Models and Categorical Aspects of Intuitionistic Ramified Type Theory
Abstract : This thesis contains three papers, all in the general area of categorical logic, together with an introductory part with some minor results and proofs of known results which does not appear to be (easily) available in the literature.In Papers I and II we investigate the formal system Intuitionistic Ramified Type Theory (IRTT), introduced by Erik Palmgren, as an approach to predicative topos theory. READ MORE
-
4. Constructive Newton–Puiseux Theorem, Sheaf Model of the Separable Closure and Dynamic Evaluation
Abstract : Computing the Puiseux expansions of a plane algebraic curve defined by an affine equation over an algebraically closed field is a an important algorithm in algebraic geometry. This is the so-called Newton–Puiseux Theorem. The termination of this algorithm, however, is usually justified by non-constructive means. READ MORE
-
5. Ultrasheaves
Abstract : This thesis treats ultrasheaves, sheaves on the category of ultrafilters. In the classical theory of ultrapowers, you start with an ultrafilter and, given a structure, you construct the ultrapower of the structure over the ultrafilter. READ MORE
