<--- Back to Details
First PageDocument Content
Forcing / Symbol / Constructible universe / PCF theory / Ordinal number / Operator theory / Ordinary differential equations / Spectral theory / Spectral theory of ordinary differential equations / Mathematical logic / Mathematics / Set theory
Date: 2010-08-29 05:32:25
Forcing
Symbol
Constructible universe
PCF theory
Ordinal number
Operator theory
Ordinary differential equations
Spectral theory
Spectral theory of ordinary differential equations
Mathematical logic
Mathematics
Set theory

Add to Reading List

Source URL: www.math-inst.hu

Download Document from Source Website

File Size: 187,65 KB

Share Document on Facebook

Similar Documents

Forcing / Symbol / Constructible universe / PCF theory / Ordinal number / Operator theory / Ordinary differential equations / Spectral theory / Spectral theory of ordinary differential equations / Mathematical logic / Mathematics / Set theory

PDF Document

DocID: d46F - View Document

Set theory / Order theory / Boolean algebra / Algebraic structures / Algebraic logic / PCF theory / Model theory / Stationary set / Ideal / Mathematical logic / Mathematics / Logic

Publications of T. Jech 1. (with B. Balcar), Modeli teorii mnoжestv obrazovannye soverxennym ˇ otnoxeniem, (Models of set theory given by perfect relations), Casopis pro pˇestov´an´ı matematiky[removed]), 413–434

DocID: 56gK - View Document

Mathematical logic / Theory of computation / Functions and mappings / Formal methods / Models of computation / Function / Computable number / Sheaf / Lambda calculus / Mathematics / Computability theory / Theoretical computer science

Real PCF extended with ∃ is universal (Extended Abstract∗) Mart´ın H¨otzel Escard´o

DocID: 3BYf - View Document