《序、拓撲及形式語義學的數學基礎》是依託四川大學，由羅懋康擔任項目負責人的重點項目。
基本介紹
- 中文名：序、拓撲及形式語義學的數學基礎
- 項目類別：重點項目
- 項目負責人：羅懋康
- 依託單位：四川大學
- 批准號：10331010
- 申請代碼：A0112
- 負責人職稱：教授
- 研究期限：2004-01-01 至 2007-12-31
- 支持經費：95（萬元）
項目摘要
研究Locale、Fuzzy拓撲等序結構與拓撲結構的共同載體並從格上拓撲統一觀點研討其拓撲結構的深層次關係；研究具重要意義的連續型完備格關係表示問題，給出相關套用；代數化表示和處理拓撲學中若干重要性質；構造性建立經典拓撲學中選擇公理等價定理的對應結果，在廣義Grothendieck topos上重建連續函式環理論；在Locale上系統研究環、模結構，使交換代數理論通過Locale與直覺邏輯，拓撲學
