Trees and Keislers problem

Archive for Mathematical Logic 40 (4):273-276 (2001)
  Copy   BIBTEX


We give a new negative solution to Keisler's problem regarding Skolem functions and elementary extensions. In contrast to existing ad hoc solutions due to Payne, Knight, and Lachlan, our solution uses well-known models



    Upload a copy of this work     Papers currently archived: 91,271

External links

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

Through your library

Similar books and articles

Results on the Generic Kurepa Hypothesis.R. B. Jensen & K. Schlechta - 1990 - Archive for Mathematical Logic 30 (1):13-27.
Game Trees For Decision Analysis.Prakash P. Shenoy - 1998 - Theory and Decision 44 (2):149-171.
Skolem functions and elementary embeddings.Julia F. Knight - 1977 - Journal of Symbolic Logic 42 (1):94-98.
On Scott and Karp trees of uncountable models.Tapani Hyttinen & Jouko Väänänen - 1990 - Journal of Symbolic Logic 55 (3):897-908.
Perfect trees and elementary embeddings.Sy-David Friedman & Katherine Thompson - 2008 - Journal of Symbolic Logic 73 (3):906-918.
Finite Tree Property for First-Order Logic with Identity and Functions.Merrie Bergmann - 2005 - Notre Dame Journal of Formal Logic 46 (2):173-180.
Infinitary Jónsson functions and elementary embeddings.Masahiro Shioya - 1994 - Archive for Mathematical Logic 33 (2):81-86.
On elementary equivalence in fuzzy predicate logics.Pilar Dellunde & Francesc Esteva - 2013 - Archive for Mathematical Logic 52 (1-2):1-17.
The Mathematics of Skolem's Paradox.Timothy Bays - 2006 - In Dale Jacquette (ed.), Philosophy of Logic. North Holland. pp. 615--648.


Added to PP

16 (#875,539)

6 months
3 (#1,002,198)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references