Inger Sigstam
Universitetslektor vid Matematiska institutionen; Akademisk personal
- Telefon:
- 018-471 32 23
- E-post:
- inger.sigstam@math.uu.se
- Besöksadress:
- Ångströmlaboratoriet, Regementsvägen 10
- Postadress:
- Box 480
751 06 UPPSALA
Ladda ned kontaktuppgifter för Inger Sigstam vid Matematiska institutionen; Akademisk personal
Universitetslektor vid Matematiska institutionen; Algebra, logik och representationsteori
- Telefon:
- 018-471 32 23
- E-post:
- Inger.Sigstam@math.uu.se
- Besöksadress:
- Ångströmlaboratoriet, Regementsvägen 10
- Postadress:
- Box 480
751 06 UPPSALA
- Akademiska meriter:
- FD
Kort presentation
Jag är studierektor för grund- och avancerad nivå i matematik. Jag är kursansvarig för Baskurs i matematik. Mitt forskningsintresse ligger i ämnesområdet matematisk logik, och rör effektiv matematik med hjälp av punktfri topologi, formella rum och domänteori.
Publikationer
Senaste publikationer
Fullständighetssatsen för predikatlogiken via sekventkalkyl.
2004
Kompletterande material för kursen Algebra MN1.
2004
Representability of locally compact spaces by domains and formal spaces
Ingår i THEORETICAL COMPUTER SCIENCE, s. 319-331, 1997
Representability of locally compact regular spaces by domains and formal spaces
Ingår i THEORETICAL COMPUTER SCIENCE, s. 319-331, 1997
FORMAL SPACES AND THEIR EFFECTIVE PRESENTATIONS
Ingår i ARCHIVE FOR MATHEMATICAL LOGIC, s. 211-246, 1995
Alla publikationer
Artiklar i tidskrift
Representability of locally compact spaces by domains and formal spaces
Ingår i THEORETICAL COMPUTER SCIENCE, s. 319-331, 1997
Representability of locally compact regular spaces by domains and formal spaces
Ingår i THEORETICAL COMPUTER SCIENCE, s. 319-331, 1997
FORMAL SPACES AND THEIR EFFECTIVE PRESENTATIONS
Ingår i ARCHIVE FOR MATHEMATICAL LOGIC, s. 211-246, 1995