<--- Back to Details
First PageDocument Content
First uncountable ordinal / Forcing / Constructible universe / Philosophy of mathematics / Abstraction / General topology / Spectral theory of ordinary differential equations / Order topology / Ordinal numbers / Mathematics / Symbol
Date: 2010-08-29 06:35:03
First uncountable ordinal
Forcing
Constructible universe
Philosophy of mathematics
Abstraction
General topology
Spectral theory of ordinary differential equations
Order topology
Ordinal numbers
Mathematics
Symbol

Submitted to Topology Proceedings UNIVERSAL LOCALLY COMPACT SCATTERED SPACES

Add to Reading List

Source URL: www.math-inst.hu

Download Document from Source Website

File Size: 225,31 KB

Share Document on Facebook

Similar Documents

Concurrent computing / Scheduling / Computer architecture / System software / Preemption / Thread / Cooperative multitasking / Preempt / Synchronization / Computing

Overview Abstraction The Rest

DocID: 1xW1V - View Document

Computing / Software engineering / Computer programming / Parser generators / Compiling tools / Functional programming / Parser combinator / Parsing / Lex / Scala / Apache HTTP Server

LMS-Verify Abstraction Without Regret for Verified Systems Programming Nada Amin & Tiark Rompf EPFL & Purdue University

DocID: 1xVQq - View Document

Logic / Mathematical logic / Mathematics / Predicate logic / Propositional calculus / Semantics / Philosophical logic / Satisfiability modulo theories / Predicate / Literal / Well-formed formula / Model checking

SMT Techniques for Fast Predicate Abstraction Shuvendu K. Lahiri1 , Robert Nieuwenhuis2 , and Albert Oliveras2 1

DocID: 1xVJt - View Document

Mathematical logic / Logic / Predicate logic / Mathematics / Predicate / FO / Atomic sentence / Primitive recursive function / Syntactic predicate

Predicate Abstraction for Relaxed Memory Models Andrei Dan1 , Yuri Meshman2 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich {andrei.dan, martin.vechev}@inf.ethz.ch

DocID: 1xVFk - View Document