课题基金 / 基金详情

Mathematical Sciences: Conference on Applied Model Theory

Mathematical Sciences: Conference on Applied Model Theory
数学科学：应用模型理论会议
批准号：
9625584
负责人：
Steffen Lempp
金额：
$0.72万
依托单位：
University of Wisconsin-Madison
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
1996
资助国家：
美国
项目状态：
已结题
起止时间：
1996-03-01 至 1997-02-28
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=9625584&HistoricalAwards=false
关键词：
MathematicalSciencesConferenceAppliedModel

项目摘要

项目成果

Steffen Lempp的其他基金

相似基金

相关文献

中文摘要
翻译
DMS 9625584 S.伦普大学威斯康星州在麦迪逊 这次会议将于1996年3月12日至13日在符号逻辑协会年会结束时举行。 其主要目标是 将模型理论的最新发展传达给广泛的 逻辑学家。 这笔赠款将用于9名演讲者和16名研究生的费用。学生支持将通过以下方式与可用资金协调 的ASL。
英文摘要
DMS 9625584 S. Lempp, U. Wisconsin at Madison This conference will take place on March 12-13, 1996, at the close of the annual Association for Symbolic Logic meeting. Its primary aim is to communicate recent developments in Model Theory to a wide range of logicians. The grant will be used for expenses for 9 speakers and 16 graduate students. The student support will be coordinated with funds available via the ASL.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Computability Theory
  • 批准号：
    0555381
  • 项目类别：
    Continuing Grant
  • 资助金额：
    $0.0万
  • 财政年份：
    2006
  • 负责人：
    Steffen Lempp
  • 依托单位：
    University of Wisconsin-Madison
Computability Theory
  • 批准号：
    0140120
  • 项目类别：
    Standard Grant
  • 资助金额：
    $0.0万
  • 财政年份：
    2002
  • 负责人：
    Steffen Lempp
  • 依托单位：
    University of Wisconsin-Madison
Computability and Effective Constructions in Mathematics
  • 批准号：
    0075899
  • 项目类别：
    Standard Grant
  • 资助金额：
    $3.52万
  • 财政年份：
    2000
  • 负责人：
    Steffen Lempp
  • 依托单位：
    University of Wisconsin-Madison
Computability, Enumerability, Decidability and Definability
  • 批准号：
    9732526
  • 项目类别：
    Standard Grant
  • 资助金额：
    $9.66万
  • 财政年份：
    1998
  • 负责人：
    Steffen Lempp
  • 依托单位：
    University of Wisconsin-Madison
国内基金
海外基金
Handbook of the Mathematics of the Arts and Sciences的中文翻译
  • 批准号：
    12226504
  • 项目类别：
    数学天元基金项目
  • 资助金额：
    20.0万元
  • 批准年份：
    2022
  • 负责人：
    黄朝凌
  • 依托单位：
    湖北文理学院
SCIENCE CHINA: Earth Sciences
Journal of Environmental Sciences
SCIENCE CHINA Information Sciences