𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Restricted Decision Problems in Some Classes of Algebraic Systems

✍ Scribed by Michałl Muzalewski

Publisher
John Wiley and Sons
Year
1978
Tongue
English
Weight
513 KB
Volume
24
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Some Non-Recursive Classes of Thue Syste
Some Non-Recursive Classes of Thue Systems With Solvable Word Problem
✍ Ann Yasuhara 📂 Article 📅 1974 🏛 John Wiley and Sons 🌐 English ⚖ 863 KB

We take as our general setting decision problems regarding certain combinatorial properties of THUE systems and algebraic properties of the semi-groups they present. Let the class of all THUE systems be divided up as follows: V o = {all THUE systems with unsolvable word problem}, Wl = {all THUE sys

THE DECISION PROBLEM FOR RESTRICTED UNIV
THE DECISION PROBLEM FOR RESTRICTED UNIVERSAL QUANTIFICATION IN SET THEORY AND THE AXIOM OF FOUNDATION
✍ Franco Parlamento; Alberto Policriti 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 775 KB

## Abstract The still unsettled decision problem for the restricted purely universal formulae ((∀)~0~‐formulae) of the first order set‐theoretic language based over =, ∈ is discussed in relation with the adoption or rejection of the axiom of foundation. Assuming the axiom of foundation, the related