Algebraic theories with definable Skolem functions

Journal of Symbolic Logic 49 (2):625-629 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274194

Links

PhilArchive



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

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

Minimal realizability of intuitionistic arithmetic and elementary analysis.Zlatan Damnjanovic - 1995 - Journal of Symbolic Logic 60 (4):1208-1241.
A note on definable Skolem functions.Philip Scowcroft - 1988 - Journal of Symbolic Logic 53 (3):905-911.
Algebraic Functions.M. Campercholi & D. Vaggione - 2011 - Studia Logica 98 (1-2):285-306.
Eliminating definitions and Skolem functions.Jeremy Avigad - unknown
Witnessing functions in bounded arithmetic and search problems.Mario Chiari & Jan Krajíček - 1998 - Journal of Symbolic Logic 63 (3):1095-1115.
Eliminating definitions and Skolem functions in first-order logic.Jeremy Avigad - manuscript
On the ranges of algebraic functions on lattices.Sergiu Rudeanu & Dan A. Simovici - 2006 - Studia Logica 84 (3):451 - 468.
Algebraic Theories with Definable Skolem Functions.Lou van Den Dries - 1984 - Journal of Symbolic Logic 49 (2):625 - 629.

Analytics

Added to PP
2009-01-28

Downloads
41 (#386,790)

6 months
7 (#421,763)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

On non-compact p-adic definable groups.Will Johnson & Ningyuan Yao - 2022 - Journal of Symbolic Logic 87 (1):188-213.
Pseudo real closed fields, pseudo p-adically closed fields and NTP2.Samaria Montenegro - 2017 - Annals of Pure and Applied Logic 168 (1):191-232.
Strongly determined types.Alexandre A. Ivanov & Dugald Macpherson - 1999 - Annals of Pure and Applied Logic 99 (1-3):197-230.
Groups of dimension two and three over o-minimal structures.A. Nesin, A. Pillay & V. Razenj - 1991 - Annals of Pure and Applied Logic 53 (3):279-296.

View all 14 citations / Add more citations

References found in this work

No references found.

Add more references