权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

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
关键词：
Mathematical Sciences Conference Applied Model

项目摘要

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.

DMS 9625584 S.伦普大学威斯康星州在麦迪逊这次会议将于1996年3月12日至13日在符号逻辑协会年会结束时举行。其主要目标是将模型理论的最新发展传达给广泛的逻辑学家这笔赠款将用于9名演讲者和16名研究生的费用。学生支持将通过以下方式与可用资金协调的ASL。

项目成果

期刊论文数量（0）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

数据更新时间：{{ journalArticles.updateTime }}

DOI：
{{ item.doi }}
发表时间：
{{ item.publish_year }}
期刊：
{{ item.journal_name }}
影响因子：
{{ item.factor }}
作者：
{{ item.authors }}
通讯作者：
{{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ monograph.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ patent.updateTime }}

Steffen Lempp其他文献

Computability-theoretic and proof-theoretic aspects of partial and linear orderings

DOI：
10.1007/bf02783429
发表时间：
2003-03-01
期刊：
ISRAEL JOURNAL OF MATHEMATICS
影响因子：
0.800
作者：
Rodney G. Downey;Denis R. Hirschfeldt;Steffen Lempp;Reed Solomon
通讯作者：
Reed Solomon

2016 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC University of Connecticut Storrs, CT, USA May 23–26, 2016

符号逻辑协会 2016 年北美年会康涅狄格大学美国康涅狄格州斯托尔斯 2016 年 5 月 23-26 日

DOI：
发表时间：
2017
期刊：
Bulletin of Symbolic Logic
影响因子：
0.6
作者：
A. Urquhart;Zoé Chatzidakis;École Normale;Magdalena Kaufmann;Patricia A. Blanchette;Uri Andrews;Hristo Ganchev;R. Kuyper;Steffen Lempp;Joseph S. Miller;And ALEXANDRA A. SOSKOVA;M. Soskova;Eric P. Astor;D. Dzhafarov;And REED SOLOMON;Jacob Suggs;David R. Belanger;Greg Igusa;Ludovic Patey;D. Turetsky;Jonathan Stephenson;Erin Caulfield;Spencer Unger
通讯作者：
Spencer Unger

Descriptive Set Theory and Computable Topology

描述集合论和可计算拓扑

DOI：
发表时间：
2022
期刊：
影响因子：
0
作者：
M. Hoyrup;A. Pauly;V. Selivanov;M. Soskova;Dagstuhl Reports;Steffen Lempp;Jun Le Goh;K. Ng;Ronnie Chen;Takayuki Kihara;Matthias Schröder;Tu Darmstadt;DE License;Martin Ziegler;Riccardo Camerlo;E. Fokina;Nikolay Bazhenov;Dino Rossegger;Luca San;Alexandra Mauro;Stefan Soskova;Vatev Main;Philipp Schlicht;Alexandra A. Soskova;Rachael Alvir;W. Calvert;G. Goodman;V. Harizanov;Julia F. Knight;R. Miller;Andrei S. Morozov;Stefan V. Vatev;R. Weisshaar
通讯作者：
R. Weisshaar