𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Decidability of Some Logics with Free Quantifier Variables

✍ Scribed by D. A. Anapolitanos; J. A. Väänänen

Publisher
John Wiley and Sons
Year
1981
Tongue
English
Weight
342 KB
Volume
27
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

FREE VIBRATIONS OF ELLIPTICAL RINGS WITH
FREE VIBRATIONS OF ELLIPTICAL RINGS WITH CIRCUMFERENTIALLY VARIABLE THICKNESS
✍ R.S. HWANG; C.H.J. FOX; S. MCWILLIAM 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 177 KB

This paper deals with the in-plane free vibration of rings with a nominally elliptical centreline. Results are presented for rings of constant axial length that have a rectangular cross-section, the radial thickness of which is constant or has a simple, analytically de"ned circumferential variation.

FREE VIBRATION ANALYSIS OF RECTANGULAR P
FREE VIBRATION ANALYSIS OF RECTANGULAR PLATES WITH VARIABLE THICKNESS
✍ T. Sakiyama; M. Huang 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 299 KB

An approximate method for analyzing the free vibration of thin and moderately thick rectangular plates with arbitrary variable thickness is proposed. The approximate method is based on the Green function of a rectangular plate. The Green function of a rectangular plate with arbitrary variable thickn

FREE-VIBRATION ANALYSIS OF RIGHT TRIANGU
FREE-VIBRATION ANALYSIS OF RIGHT TRIANGULAR PLATES WITH VARIABLE THICKNESS
✍ T. SAKIYAMA; M. HUANG 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 233 KB

An approximate method for analyzing the free vibration of right triangular plates with arbitrary variable thickness and various boundary conditions is proposed. In this paper, a right triangular plate is considered as a kind of rectangular plate with non-uniform thickness. Therefore, the free-vibrat

Free solution mobility of small single-s
Free solution mobility of small single-stranded oligonucleotides with variable charge densities
✍ Qian Dong; Earle Stellwagen; John M. Dagle; Nancy C. Stellwagen 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 139 KB

## Abstract The free solution mobilities of six single‐stranded 16‐nucleotide DNA oligomers with the same sequence, containing up to 11 neutral phosphoramidate internucleoside linkages, have been measured by capillary electrophoresis. The mobilities of the partially charged oligomers increase linea