The First-Order Syntax of Variadic Functions

Notre Dame Journal of Formal Logic 54 (1):47-59 (2013)
  Copy   BIBTEX

Abstract

We extend first-order logic to include variadic function symbols, and prove a substitution lemma. Two applications are given: one to bounded quantifier elimination and one to the definability of certain Borel sets.

Categories

Keywords

Reprint years

DOI

10.1215/00294527-1731380

Links

PhilArchive



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

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

Introduction to mathematical logic.Michał Walicki - 2012 - Hackensack, NJ: World Scientific.
An application of category-theoretic semantics to the characterisation of complexity classes using higher-order function algebras.Martin Hofmann - 1997 - Bulletin of Symbolic Logic 3 (4):469-486.
A feasible theory for analysis.Fernando Ferreira - 1994 - Journal of Symbolic Logic 59 (3):1001-1011.
On a hitherto unexploited extension of the finitary standpoint.Kurt Gödel - 1980 - Journal of Philosophical Logic 9 (2):133 - 142.
Higher Order Modal Logic.Reinhard Muskens - 2006 - In Patrick Blackburn, Johan Van Benthem & Frank Wolter (eds.), Handbook of Modal Logic. Elsevier. pp. 621-653.
Linear order and its place in grammar.Richard Wiese - 2003 - Behavioral and Brain Sciences 26 (6):693-694.
On Quantified Modal Logic.Melvin Fitting - unknown
The mathematics of logic: a guide to completeness theorems and their applications.Richard Kaye - 2007 - New York: Cambridge University Press.
Pure Second-Order Logic with Second-Order Identity.Alexander Paseau - 2010 - Notre Dame Journal of Formal Logic 51 (3):351-360.
Eliminating definitions and Skolem functions in first-order logic.Jeremy Avigad - manuscript
Variations on a theme by Weiermann.Toshiyasu Arai - 1998 - Journal of Symbolic Logic 63 (3):897-925.
Modal logic: an introduction to its syntax and semantics.Nino Barnabas Cocchiarella & Max A. Freund - 2008 - New York: Oxford University Press. Edited by Max A. Freund.

Analytics

Added to PP
2012-01-29

Downloads
94 (#179,520)

6 months
12 (#202,587)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Samuel Allen Alexander
Ohio State University (PhD)

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references