Adding Skolem functions to simple theories

Archive for Mathematical Logic 43 (3):359-370 (2004)
  Copy   BIBTEX

Abstract

We examine the conditions under which we can keep simplicity or categoricity after adding a Skolem function to the theory

Categories

Keywords

Reprint years

DOI

10.1007/s00153-003-0201-3

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,551

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

Skolem Functions in Non-Classical Logics.Tore Fjetland Øgaard - 2017 - Australasian Journal of Logic 14 (1):181-225.
Some Remarks on Finite Löwenheim‐Skolem Theorems.Martin Grohe - 1996 - Mathematical Logic Quarterly 42 (1):569-571.
Trees and Keislers problem.Ali Enayat - 2001 - Archive for Mathematical Logic 40 (4):273-276.
Positive logics.Saharon Shelah & Jouko Väänänen - 2023 - Archive for Mathematical Logic 62 (1):207-223.
Ordered abelian groups that do not have elimination of imaginaries.Martina Liccardo - forthcoming - Archive for Mathematical Logic:1-17.
Countable unions of simple sets in the core model.P. D. Welch - 1996 - Journal of Symbolic Logic 61 (1):293-312.
On nested simple recursion.Ján Komara - 2011 - Archive for Mathematical Logic 50 (5-6):617-624.
Eliminating definitions and Skolem functions in first-order logic.Jeremy Avigad - manuscript
Categoricity in homogeneous complete metric spaces.Åsa Hirvonen & Tapani Hyttinen - 2009 - Archive for Mathematical Logic 48 (3-4):269-322.
Uniformization and Skolem Functions in the Class of Trees.Shmuel Lifsches & Saharon Shelah - 1998 - Journal of Symbolic Logic 63 (1):103-127.

Analytics

Added to PP
2013-11-23

Downloads
35 (#648,941)

6 months
7 (#718,806)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Generic expansion and Skolemization in NSOP 1 theories.Alex Kruckman & Nicholas Ramsey - 2018 - Annals of Pure and Applied Logic 169 (8):755-774.
Generic multiplicative endomorphism of a field.Christian D'Elbée - 2025 - Annals of Pure and Applied Logic 176 (4):103554.

Add more citations

References found in this work

Simple theories.Byunghan Kim & Anand Pillay - 1997 - Annals of Pure and Applied Logic 88 (2-3):149-164.
Generic structures and simple theories.Z. Chatzidakis & A. Pillay - 1998 - Annals of Pure and Applied Logic 95 (1-3):71-92.
The number of types in simple theories.Enrique Casanovas - 1999 - Annals of Pure and Applied Logic 98 (1-3):69-86.

Add more references