Iterated elementary embeddings and the model theory of infinitary logic

Annals of Pure and Applied Logic 167 (3):309-334 (2016)

Abstract

This article has no associated abstract. (fix it)

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,855

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2016-02-04

Downloads
10 (#907,565)

6 months
1 (#386,001)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

References found in this work

Non-Forking Frames in Abstract Elementary Classes.Adi Jarden & Saharon Shelah - 2013 - Annals of Pure and Applied Logic 164 (3):135-191.
Stationary Logic.Jon Barwise - 1978 - Annals of Mathematical Logic 13 (2):171.
Independence in Finitary Abstract Elementary Classes.Tapani Hyttinen & Meeri Kesälä - 2006 - Annals of Pure and Applied Logic 143 (1-3):103-138.
Categoricity.John T. Baldwin - 2009 - American Mathematical Society.

View all 12 references / Add more references

Citations of this work

Iterated Ultrapowers for the Masses.Ali Enayat, Matt Kaufmann & Zachiri McKenzie - 2018 - Archive for Mathematical Logic 57 (5-6):557-576.
Abstract Elementary Classes Stable in ℵ 0.Saharon Shelah & Sebastien Vasey - 2018 - Annals of Pure and Applied Logic 169 (7):565-587.

Add more citations

Similar books and articles

Lifting Elementary Embeddings J: V Λ → V Λ. [REVIEW]Paul Corazza - 2007 - Archive for Mathematical Logic 46 (2):61-72.
Infinitary Jónsson Functions and Elementary Embeddings.Masahiro Shioya - 1994 - Archive for Mathematical Logic 33 (2):81-86.
Elementary Embeddings and Infinitary Combinatorics.Kenneth Kunen - 1971 - Journal of Symbolic Logic 36 (3):407-413.
An Example Related to Gregory’s Theorem.J. Johnson, J. F. Knight, V. Ocasio & S. VanDenDriessche - 2013 - Archive for Mathematical Logic 52 (3-4):419-434.
Critical Points in an Algebra of Elementary Embeddings.Randall Dougherty - 1993 - Annals of Pure and Applied Logic 65 (3):211-241.
Consistency of V = HOD with the Wholeness Axiom.Paul Corazza - 2000 - Archive for Mathematical Logic 39 (3):219-226.
Infinitary S5‐Epistemic Logic.Aviad Heifetz - 1997 - Mathematical Logic Quarterly 43 (3):333-342.
On Elementary Embeddings From an Inner Model to the Universe.J. Vickers & P. D. Welch - 2001 - Journal of Symbolic Logic 66 (3):1090-1116.
Standardization Principle of Nonstandard Universes.Masahiko Murakami - 1999 - Journal of Symbolic Logic 64 (4):1645-1655.
Notes on Quasiminimality and Excellence.John T. Baldwin - 2004 - Bulletin of Symbolic Logic 10 (3):334-366.
Some Model-Theoretic Results in the Algebraic Theory of Quadratic Forms.Vincent Astier - 2001 - Annals of Pure and Applied Logic 112 (2-3):189-223.
On Colimits and Elementary Embeddings.Joan Bagaria & Andrew Brooke-Taylor - 2013 - Journal of Symbolic Logic 78 (2):562-578.
Large Infinitary Languages: Model Theory.M. A. Dickmann - 1975 - American Elsevier Pub. Co..