✦ LIBER ✦

A Class of Models for Second Order Arithmeticby A. Mostowski;Formal System of Analysis Based on an Infinitistic Rule of Proofby A. Mostowski

✍ Scribed by Review by: H. B. Enderton

Book ID: 124959553
Publisher: Association for Symbolic Logic
Year: 1969
Tongue: English
Weight: 392 KB
Volume: 34
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2271018

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Rule-Based Approach for Second Order M

A Rule-Based Approach for Second Order Model Formulation of Linear Time Invariant Multivariable Systems

✍ S. N. Sivanandam; R. Venkatesan; J. Suganthi 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 373 KB

Efficient Reduced Order State Space Mode

Efficient Reduced Order State Space Model Computation for a Class of Second Order Index One Systems

✍ Benner, Peter; Kranz, Burkhard; Saak, Jens; Uddin, M. Monir 📂 Article 📅 2012 🏛 John Wiley and Sons ⚖ 158 KB

An ILC scheme for a class of nonlinear c

An ILC scheme for a class of nonlinear continuous-time systems with time-iteration-varying parameters subject to second-order internal model

✍ Chenkun Yin; Jian-Xin Xu; Zhongsheng Hou 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 231 KB 👁 2 views

Phase Diagram for a System of Polydisper

Phase Diagram for a System of Polydisperse Components Consisting of the Precursor of an Epoxy/Diamine Thermoset and a Thermoplastic: Analysis Based on a Lattice Theory Model

✍ Maite Rico; Carmen Ramírez; Belén Montero; Javier Díez; Joaquín López 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 193 KB

## Abstract **Summary:** The miscibility of a thermoplastic modifier with the precursors of an epoxy/diamine thermoset without chemical reaction was studied thermodynamically. The experimental cloud point curve showed a UCST behavior. A model based on the Flory‐Huggins lattice theory and on the Kon

[IEEE Comput. Soc. Press [1989] Twenty-S

[IEEE Comput. Soc. Press [1989] Twenty-Second Annual Hawaii International Conference on System Sciences. Volume III: Decision Support and Knowledge Based Systems Track - Kailua-Kona, HI, USA (3-6 Jan. 1989)] [1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume III: Decision Support and Knowledge Based Systems Track - A framework for comparative analysis of belief revision models in rule-based systems

✍ Schocken, S. 📂 Article 📅 1989 🏛 IEEE Comput. Soc. Press 🌐 English ⚖ 734 KB