𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The non-definability notion and first order logic

✍ Scribed by Michal Krynicki

Publisher
Springer Netherlands
Year
1988
Tongue
English
Weight
466 KB
Volume
47
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Universal First-Order Definability in Mo
Universal First-Order Definability in Modal Logic
✍ R. E. Jennings; D. K. Johnston; P. K. Schotch πŸ“‚ Article πŸ“… 1980 πŸ› John Wiley and Sons 🌐 English βš– 198 KB

UPiIVERSAL FIRST-ORDER DEFINABILITY I N MODAL LOGIC by R. E. JENNIXGS and D. K. JOHNSTON in Burnaby, British Columbia (Canada) and P. K. SCHOTCH in Halifax, Nova Scotia (Canada)l) In [ l ] R. I. GOLDBLATT presents a model theoretic characterization of the class of modal sentences determined by firs

Decidability and Definability Results Co
Decidability and Definability Results Concerning Well-Orderings and Some Extensions of First Order Logic
✍ Bogdan Stanislaw Chlebus πŸ“‚ Article πŸ“… 1980 πŸ› John Wiley and Sons 🌐 English βš– 452 KB

DECIDABILITY AND DEFINABILITY RESULTS CONCERNING WELL-ORDERINGS AND SOME EXTENSIONS OF FIRST ORDER LOGIC by BOGDAN STANISLAW CHLEBUS in Warsaw (Poland) ## 1. Introdiirtion Let L\* denote a countable extension of the first order language L. I n this paper 1 ) definability of the class of well-order

Sperner spaces and first-order logic
Sperner spaces and first-order logic
✍ Andreas Blass; Victor Pambuccian πŸ“‚ Article πŸ“… 2003 πŸ› John Wiley and Sons 🌐 English βš– 79 KB

## Abstract We study the class of Sperner spaces, a generalized version of affine spaces, as defined in the language of pointline incidence and line parallelity. We show that, although the class of Sperner spaces is a pseudo‐elementary class, it is not elementary nor even ℒ︁~∞__Ο‰__~‐axiomatizable.

Relating Z and First-Order Logic
Relating Z and First-Order Logic
✍ Andrew P. Martin πŸ“‚ Article πŸ“… 2000 πŸ› Springer 🌐 English βš– 228 KB