๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A Model-Theoretic Study of Some Systems Containing S3

โœ Scribed by R. I. Goldblatt

Publisher
John Wiley and Sons
Year
1973
Tongue
English
Weight
508 KB
Volume
19
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A Model-Theoretic Property of Sharply Bo
A Model-Theoretic Property of Sharply Bounded Formulae, with some Applications
โœ Jan Johannsen ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 581 KB

We define a property of substructures of models of arithmetic, that of being length-initial, and show that sharply bounded formulae are absolute between a model and its length-initial submodels. We use this to prove independence results for some weak fragments of bounded arithmetic by constructing a

Multinuclear NMR study of protonation in
Multinuclear NMR study of protonation in some indolizine systems
โœ Jerzy W. Wiench; Lech Stefaniak; Graham A. Webb ๐Ÿ“‚ Article ๐Ÿ“… 1994 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 283 KB

## Abstract ^1^H, ^13^C and ^15^N NMR data are presented for seven indolizine derivatives in solutions of dimethyl sulphoxide and trifluoroacetic acid (TFA). The TFA solutions contain species protonated at position Nโ€1 in all cases. The most definitive evidence for the site of protonation is provid