Applications of PCF Theory

13 years 4 months ago

Download shelah.logic.at

We deal with several pcf problems; we characterize another version of exponentiation: number of -branches in a tree with nodes, deal with existence of independent sets in stable theories, possible cardinalities of ultraproducts and the

Saharon Shelah

Real-time Traffic

Independent Sets | JSYML 2000 | Pcf Problems | Stable Theories |

claim paper

» Canonical structure in the universe of set theory part one

» Fault Tolerance in Cluster Federations with O2PCF

» Enriching an Effect Calculus with Linear Types

» Induction and Recursion on the Partial Real Line via Biquotients of Bifree Algebras

» On Natural Nondcpo Domains

» The Suslin operator in applicative theories Its prooftheoretic analysis via ordinal theori...

» Embedding a logical theory of constructions in Agda

» Satisfiability Modulo the Theory of Costs Foundations and Applications

Post Info
More Details (n/a)

Added	19 Dec 2010
Updated	19 Dec 2010
Type	Journal
Year	2000
Where	JSYML
Authors	Saharon Shelah

Comments (0)

Sciweavers

Applications of PCF Theory

Independent Sets | JSYML 2000 | Pcf Problems | Stable Theories |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers