✦ LIBER ✦

Characterization of Finitely Axiomatizable Classes of Models.by A. D. Tajmanov; Elliott Mendelson

✍ Scribed by Review by: Andrzej Mostowski

Book ID: 124972179
Publisher: Association for Symbolic Logic
Year: 1973
Tongue: English
Weight: 342 KB
Volume: 38
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2271769

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Characterization of Axiomatizable Classe

Characterization of Axiomatizable Classes of Models. IIby A. D. Tajmanov

✍ Review by: Andrzej Mostowski 📂 Article 📅 1973 🏛 Association for Symbolic Logic 🌐 English ⚖ 207 KB

On a Class of Models, Closed with Respec

On a Class of Models, Closed with Respect to Direct Productby A. D. Tajmanov

✍ Review by: Peter G. Hinman 📂 Article 📅 1965 🏛 Association for Symbolic Logic 🌐 English ⚖ 319 KB

Characterizing cryptogroups with a finit

Characterizing cryptogroups with a finite number of({mathcal{H}})-classes in each({mathcal{D}})-class by their subsemigroups

✍ Mario Petrich 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 264 KB

A logic characterized by the class of co

A logic characterized by the class of connected models with nested domains

✍ Giovanna Corsi 📂 Article 📅 1989 🏛 Springer Netherlands 🌐 English ⚖ 426 KB

The main aim of this paper is to introduce the logic QE-LC whose language contains the 'existence' predicate E and which is characterized by the class of connected (Kripke) E-models with nested domains.

Elimination of Anticipation of a Class o

Elimination of Anticipation of a Class of Singular 2D Roesser Models by State Feedbacks

✍ T. Kaczorek 📂 Article 📅 2005 🏛 Springer US 🌐 English ⚖ 305 KB

Magnetic field analysis of a 70-MW-class

Magnetic field analysis of a 70-MW-class superconducting generator by the 3D finite element method

✍ Kazuhiko Takahashi; Miyoshi Takahashi; Masaki Sato; Ryouichi Shiobara; Kiyotaka 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 614 KB