𝔖 Bobbio Scriptorium
✦   LIBER   ✦

First-Order Frege Theory is Undecidable

✍ Scribed by Warren Goldfarb

Book ID
110321369
Publisher
Springer Netherlands
Year
2001
Tongue
English
Weight
48 KB
Volume
30
Category
Article
ISSN
0022-3611

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

The first-order theory of linear one-ste
The first-order theory of linear one-step rewriting is undecidable
✍ Ralf Treinen πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 758 KB

The theory of one-step rewriting for a given rewrite system R and signature C is the firstorder theory of the following structure: its universe consists of all C-ground terms, and its only predicate is the relation "x rewrites to y in one step by R". The structure contains no function symbols and no

THE AMBIGUOUS TYPE THEORY IS HEREDITARIL
THE AMBIGUOUS TYPE THEORY IS HEREDITARILY UNDECIDABLE
✍ Andrey A. Kuzichev πŸ“‚ Article πŸ“… 1992 πŸ› John Wiley and Sons 🌐 English βš– 84 KB

## Abstract The ambiguous type theory ATT is introduced in [1] in order to obtain a new proof of Specker's theorem on typical ambiguity [3]. In the present paper we imbed the recursively undecidable theory TR of a single transitive‐reflexive relation in an arbitrary stratified theory T such that T

Mathematical Logic for Computer Science
Mathematical Logic for Computer Science Volume 883 || First-Order Logic: Undecidability and Model Theory *
✍ Ben-Ari, Mordechai πŸ“‚ Article πŸ“… 2012 πŸ› Springer London 🌐 English βš– 181 KB

Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to under

The theory of theΞ±degrees is undecidable
The theory of theΞ±degrees is undecidable
✍ C. T. Chong; T. A. Slaman πŸ“‚ Article πŸ“… 2010 πŸ› The Hebrew University Magnes Press 🌐 English βš– 269 KB