𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Some model theoretic results for θ-logic

✍ Scribed by H. Jerome Keisler

Book ID
112888947
Publisher
The Hebrew University Magnes Press
Year
1966
Tongue
English
Weight
624 KB
Volume
4
Category
Article
ISSN
0021-2172

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Some Model-Theoretic Results for the Rel
Some Model-Theoretic Results for the Relevant Logic with Quantification
✍ Mirosław Szatkowski 📂 Article 📅 1986 🏛 John Wiley and Sons 🌐 English ⚖ 594 KB

SOME MODEL-THEORETIC RESULTS FOR THE RELEVANT LOGIC WITH QUANTIFICATION by MIROSEAW SZATKOWSEI in Bydgoszcz (Poland) 0. In [ 5 ] , R. ROUTLEY and R . K. MEYER describe a semantics for the relevant logic with quantification (RQ). A proof of the Compactness theorem for RQ was given by J. B. FREEMAN in

Some model-theoretic results in the alge
Some model-theoretic results in the algebraic theory of quadratic forms
✍ Vincent Astier 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 268 KB

This paper studies some model-theoretic properties of special groups of ÿnite type. Special groups are a ÿrst-order axiomatization of the algebraic theory of quadratic forms, introduced by Dickmann and Miraglia, which is essentially equivalent to abstract Witt rings. More precisely, we consider ele

Some results of convergence acceleration
Some results of convergence acceleration for a general ϑ-type algorithm
✍ A. Fdil 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 876 KB

In this paper, we propose a general O-type algorithm for accelerating the convergence of sequences. It generalizes some known sequence transformations such as the O-algorithm, the iterated O2, the iterated A 2, and the T-algorithm. Some general convergence acceleration results are given. Some result