𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On translations of complete first order theories

✍ Scribed by Seyed Mohammad Bagheri

Publisher
John Wiley and Sons
Year
2003
Tongue
English
Weight
134 KB
Volume
49
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

Abstract

In this paper, some basic properties of automorphisms of first order languages and some examples are presented. In particular, an omitting types theorem is proved.

πŸ“œ SIMILAR VOLUMES

Fregean Extensions of First-Order Theori
Fregean Extensions of First-Order Theories
✍ John L. Bell πŸ“‚ Article πŸ“… 1994 πŸ› John Wiley and Sons 🌐 English βš– 205 KB

## Abstract It is shown by Parsons [2] that the first‐order fragment of Frege's (inconsistent) logical system in the __Grundgesetze der Arithmetic__ is consistent. In this note we formulate and prove a stronger version of this result for arbitrary first‐order theories. We also show that a natural a

A first order theory of bibliographic ob
A first order theory of bibliographic objects
✍ Karen Wickett; Allen Renear πŸ“‚ Article πŸ“… 2009 πŸ› Wiley (John Wiley & Sons) 🌐 English βš– 116 KB

## Abstract We present a characterization of the core entities and relationships of the Functional Requirements for Bibliographic Records (FRBR) in first order logic. Evidence from the text and diagrams in FRBR support the identification of axioms that capture the constraints and assumptions built