Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

31

APAL
2008

favoriteEmaildiscussreport

104views more APAL 2008»

Atomic models higher up

13 years 11 months ago

Atomic models higher up

Download www.math.harvard.edu

There exists a countable structure M of Scott rank CK 1 where M 1 = CK 1 and where the LCK 1 ,-theory of M is not -categorical. The Scott rank of a model is the least ordinal where the model is prime in its L,-theory. Most well-known models with unbounded atoms below CK 1 also realize a non-principal LCK 1 ,-type; such a model that preserves the 1-admissibility of CK 1 will have Scott rank CK

Jessica Millar, Gerald E. Sacks

Real-time Traffic

APAL 2008 | Countable Structure | Model | Scott Rank |

claim paper

Related Content

» Building up to macroprogramming an intermediate language for sensor networks

» Monotonicity Inference for HigherOrder Formulas

» Symbolic Reachability Analysis of HigherOrder ContextFree Processes

» ASPDock proteinprotein docking algorithm using atomic solvation parameters model

» Grounded Concept Development Using Introspective Atoms

» CoarsetoFine Inference and Learning for FirstOrder Probabilistic Models

» A Model for TradeUp and Change in Considered Brands

» AVIO detecting atomicity violations via access interleaving invariants

» The Complexity of Model Checking Collapsible HigherOrder Pushdown Systems

Post Info
More Details (n/a)

Added	08 Dec 2010
Updated	08 Dec 2010
Type	Journal
Year	2008
Where	APAL
Authors	Jessica Millar, Gerald E. Sacks

Comments (0)