Iterated elementary embeddings and the model theory of infinitary logic

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2015.12.004

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,642

External links

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

Through your library

My notes

Similar books and articles

CUMMINGS, J., Possible behaviours for the Mitchell ordering DOUGHERTY, R., Critical points in an algebra of elementary embeddings DOWNEY, R. and STOB, M., Splitting theorems in recursion theory. [REVIEW]J. Vaananen - 1993 - Annals of Pure and Applied Logic 65:307.
Beyond abstract elementary classes: On the model theory of geometric lattices.Tapani Hyttinen & Gianluca Paolini - 2018 - Annals of Pure and Applied Logic 169 (2):117-145.
Realisability for infinitary intuitionistic set theory.Merlin Carl, Lorenzo Galeotti & Robert Passmann - 2023 - Annals of Pure and Applied Logic 174 (6):103259.
Infinitary action logic with exponentiation.Stepan L. Kuznetsov & Stanislav O. Speranski - 2022 - Annals of Pure and Applied Logic 173 (2):103057.
Non-stationary support iterations of Prikry forcings and restrictions of ultrapower embeddings to the ground model.Moti Gitik & Eyal Kaplan - 2023 - Annals of Pure and Applied Logic 174 (1):103164.
Infinitary first-order categorical logic.Christian Espíndola - 2019 - Annals of Pure and Applied Logic 170 (2):137-162.
Modality, bisimulation and interpolation in infinitary logic.Johan van Benthem - 1999 - Annals of Pure and Applied Logic 96 (1-3):29-41.
BAILEY, C. and DOWNEY, R., Tabular degrees in (Y-recursion theory BALDWIN, JT and SHELAH, S., The primal framework II: Smoothness BERARDUCCI, A. and INTRIGILA, B., Combinatorial. [REVIEW]Sb Cooper, L. Harrington & Ah Lachlan - 1992 - Annals of Pure and Applied Logic 55:321.
Elementary Embeddings and Infinitary Combinatorics.Kenneth Kunen - 1971 - Journal of Symbolic Logic 39 (2):331-331.
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.

Analytics

Added to PP
2016-02-04

Downloads
13 (#1,066,279)

6 months
27 (#114,075)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

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

Add more citations

References found in this work

Model theory for infinitary logic.H. Jerome Keisler - 1971 - Amsterdam,: North-Holland Pub. Co..
Stationary logic.Jon Barwise - 1978 - Annals of Mathematical Logic 13 (2):171.
Non-forking frames in abstract elementary classes.Adi Jarden & Saharon Shelah - 2013 - Annals of Pure and Applied Logic 164 (3):135-191.
Independence in finitary abstract elementary classes.Tapani Hyttinen & Meeri Kesälä - 2006 - Annals of Pure and Applied Logic 143 (1-3):103-138.
Abstract elementary classes and infinitary logics.David W. Kueker - 2008 - Annals of Pure and Applied Logic 156 (2):274-286.

View all 12 references / Add more references