𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Topology for the Space of Countable Models of a First Order Theory

✍ Scribed by J. T. Baldwin; J. M. Plotkin

Publisher
John Wiley and Sons
Year
1974
Tongue
English
Weight
446 KB
Volume
20
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Interval Topology and Order-Convergence
Interval Topology and Order-Convergence in the Hyperspace of a Topological Space
✍ Hans-Jürgen Schmidt 📂 Article 📅 1984 🏛 John Wiley and Sons 🌐 English ⚖ 410 KB

In the hyperspace Exp X of all closed subsets of a topological space X interval and order topology solely use the c-relation in Exp X for their definitions whereas HAUSDORFB set convergence and VIETORIS topology use neighbourhoods in X itself. Nevertheless there exist intimate but non-trivial relati

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

A continuum theory for first-order phase
A continuum theory for first-order phase transitions based on the balance of structure order
✍ M. Fabrizio; C. Giorgi; A. Morro 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 188 KB 👁 1 views

## Abstract First‐order phase transitions are modelled by a non‐homogeneous, time‐dependent scalar‐valued order parameter or phase field. The time dependence of the order parameter is viewed as arising from a balance law of the structure order. The gross motion is disregarded and hence the body is

A Galois correspondence for countable sh
A Galois correspondence for countable short recursively saturated models of PA
✍ Erez Shochat 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 207 KB

## Abstract In this paper we investigate the properties of automorphism groups of countable short recursively saturated models of arithmetic. In particular, we show that Kaye's Theorem concerning the closed normal subgroups of automorphism groups of countable recursively saturated models of arithme

A Cauchy integral formula for a class of
A Cauchy integral formula for a class of elliptic systems of partial differential equations of first order in the space
✍ Bernd Goldschmidt 📂 Article 📅 1982 🏛 John Wiley and Sons 🌐 English ⚖ 451 KB 👁 1 views

## Abstract This paper is a continuation of [6]. Here we construct a CAUCHY integral formula and a POMPEJU‐representation for elliptic systems of partial differential equations of first order in __R^n^__, which may be described with the help of a CLIFFORD‐algebra. Moreover we study properties of th