Search for dissertations about: "Mathematical logic"
Showing result 1  5 of 50 swedish dissertations containing the words Mathematical logic.

1. Effective Domains and Admissible Domain Representations
Abstract : This thesis consists of four papers in domain theory and a summary. The first two papers deal with the problem of defining effectivity for continuous cpos. READ MORE

2. Contributions to Pointfree Topology and Apartness Spaces
Abstract : The work in this thesis contains some contributions to constructive pointfree topology and the theory of apartness spaces. The first two papers deal with constructive domain theory using formal topology. READ MORE

3. A Natural Interpretation of Classical Proofs
Abstract : In this thesis we use the syntacticsemantic method of constructive type theory to give meaning to classical logic, in particular Gentzen's LK.We interpret a derivation of a classical sequent as a derivation of a contradiction from the assumptions that the antecedent formulas are true and that the succedent formulas are false, where the concepts of truth and falsity are taken to conform to the corresponding constructive concepts, using function types to encode falsity. READ MORE

4. 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

5. Decontextualized language, logic, and algebra : the relationship between Mozambican students’ achievement in school mathematics and their language and social background
Abstract : Researchers in mathematics education have always stressed the relevance of algebra in school mathematics and have produced a wide range of empirical and theoretical outcomes in relation to this field. In addition, the importance of language proficiency for success in school mathematics has been explored in a variety of different contexts, as has been the relation between students’ social class and achievement in mathematics. READ MORE