𝔖 Bobbio Scriptorium
✦   LIBER   ✦

First-order theory of weakly eccentric orbital motion

✍ Scribed by Sławomir Breiter; Eric Bois

Publisher
Springer Netherlands
Year
1994
Tongue
English
Weight
707 KB
Volume
60
Category
Article
ISSN
1572-9478

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

First-order invariants of Euclidean moti
First-order invariants of Euclidean motions
✍ P. S. Donelan; C. G. Gibson 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 985 KB

Let E(n) be the Lie group of proper rigid motions of Euclidean n-space. The paper is concerned with the adjoint action of E(n) on its Lie algebra e(n), and the induced action on the Grassmannian of subspaces of e(n) of a given dimension. For the adjoint action, the authors list explicit generators f

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