Avancerad sökning

Hittade 1 avhandling som matchar ovanstående sökkriterier.

1. 1. Ultrasheaves

   Författare :Jonas Eliasson; Viggo Stoltenberg-Hansen; Steve Awodey; Carsten Butz; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Logic; symbolic and mathematical; 03G30; 03C20; 03H05; Matematisk logik; Mathematical logic; Matematisk logik;

   Sammanfattning : 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. LÄS MER