PCF theory

#	Item
1	PDF Document Add to Reading List Source URL: www.math-inst.hu Language: English - 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
2	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 Add to Reading List Source URL: www.math.psu.edu Language: English - Date: 2010-05-28 08:39:16 Set theory Order theory Boolean algebra Algebraic structures Algebraic logic PCF theory Model theory Stationary set Ideal Mathematical logic Mathematics Logic
3	Real PCF extended with ∃ is universal (Extended Abstract∗) Mart´ın H¨otzel Escard´o Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2001-03-06 21:46:10 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