<--- Back to Details
First PageDocument Content
Mathematics / Mathematical analysis / Order theory / Non-standard analysis / Abstraction / Ultrafilter / Cofinal / Continuous function / Constructible universe / Riemann surfaces / Complex analysis
Date: 2010-06-06 18:41:00
Mathematics
Mathematical analysis
Order theory
Non-standard analysis
Abstraction
Ultrafilter
Cofinal
Continuous function
Constructible universe
Riemann surfaces
Complex analysis

Continuous Cofinal Maps on Ultrafilters Natasha Dobrinen University of Denver joint work with Stevo Todorcevic

Add to Reading List

Source URL: spot.colorado.edu

Download Document from Source Website

File Size: 87,10 KB

Share Document on Facebook

Similar Documents

JCAMECH Vol. 49, No. 1, June 2018, ppDOI: jcamechFree vibration and buckling analysis of third-order shear deformation plate theory using exact wave propagation approach

JCAMECH Vol. 49, No. 1, June 2018, ppDOI: jcamechFree vibration and buckling analysis of third-order shear deformation plate theory using exact wave propagation approach

DocID: 1vqHW - View Document

Higher-order theory of mind in negotiations under incomplete information Harmen de Weerd1 , Rineke Verbrugge1 , Bart Verheij1,2 1  Institute of Artificial Intelligence, University of Groningen

Higher-order theory of mind in negotiations under incomplete information Harmen de Weerd1 , Rineke Verbrugge1 , Bart Verheij1,2 1 Institute of Artificial Intelligence, University of Groningen

DocID: 1vpMN - View Document

Higher-order interference and single-system postulates characterizing quantum theory Howard Barnum,1, 2, ∗ Markus P. M¨ uller,3, † and Cozmin Ududec4, ‡ 1  arXiv:1403.4147v4 [quant-ph] 3 Jan 2015

Higher-order interference and single-system postulates characterizing quantum theory Howard Barnum,1, 2, ∗ Markus P. M¨ uller,3, † and Cozmin Ududec4, ‡ 1 arXiv:1403.4147v4 [quant-ph] 3 Jan 2015

DocID: 1vmik - View Document

Estimating the use of higher-order theory of mind using computational agents1 Harmen de Weerd Denny Diepgrond

Estimating the use of higher-order theory of mind using computational agents1 Harmen de Weerd Denny Diepgrond

DocID: 1v9Mh - View Document

J. Korean Math. Soc.  FORMALIZING THE META-THEORY OF FIRST-ORDER PREDICATE LOGIC Hugo Herberlin, SunYoung Kim, and Gyesik Lee Abstract. This paper introduces a representation style of variable binding using dependent typ

J. Korean Math. Soc. FORMALIZING THE META-THEORY OF FIRST-ORDER PREDICATE LOGIC Hugo Herberlin, SunYoung Kim, and Gyesik Lee Abstract. This paper introduces a representation style of variable binding using dependent typ

DocID: 1v7hr - View Document