Transplendent Models: Expansions Omitting a Type

Research output: Contribution to journal › Article › peer-review

Authors

Colleges, School and Institutes

Details

Original languageEnglish
Pages (from-to)413-428
JournalNotre Dame Journal of Formal Logic
Volume53
Issue number3
Publication statusPublished - 1 Jan 2012
Save citation Saved citations (0)

Copy the text from this field...

View graph of relations

DOI

By the same authors

Interpretations between ω-logic and second-order arithmetic

Sadie Kaye, 1 Sep 2014, In: Journal of Symbolic Logic. 79, 03, p. 845-858

Research output: Contribution to journal › Article › peer-review

CIRCULARITY IN SOUNDNESS AND COMPLETENESS

Sadie Kaye, 1 Mar 2014, In: The Bulletin of Symbolic Logic. 20, 01, p. 24-38

Research output: Contribution to journal › Article › peer-review

Amphi-ZF : axioms for Conway games

Sadie Kaye, 1 May 2012, In: Archive for Mathematical Logic. 51, 3-4, p. 353-371 19 p.

Research output: Contribution to journal › Article

The model theory of generic cuts

Sadie Kaye, 2012, (Accepted/In press) Logic without Borders, a special volume in honour of Jouko Väänänen's Sixtieth Birthday. Cornaros, C., Dimitracopoulos, C. & Cégielski, C. (eds.). CSLI Publications, (Lecture Notes).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution