✦ LIBER ✦

A Compact Space of Models of First Order Theoriesby A. Ehrenfeucht; A. Mostowski

✍ Scribed by Review by: G. Fuhrken

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Models of Axiomatic Theories Admitting A

✍ Review by: R. L. Vaught 📂 Article 📅 1966 🏛 Association for Symbolic Logic 🌐 English ⚖ 309 KB

Definability of Sets in Models of Axioma

✍ Review by: Azriel Lévy 📂 Article 📅 1969 🏛 Association for Symbolic Logic 🌐 English ⚖ 214 KB

Representability of Recursively Enumerab

✍ Review by: R. A. DiPaola 📂 Article 📅 1968 🏛 Association for Symbolic Logic 🌐 English ⚖ 201 KB

An Application of Games to the Completen

✍ Review by: Erwin Engeler 📂 Article 📅 1967 🏛 Association for Symbolic Logic 🌐 English ⚖ 306 KB

A Class of Models for Second Order Arith

✍ Review by: H. B. Enderton 📂 Article 📅 1969 🏛 Association for Symbolic Logic 🌐 English ⚖ 392 KB

A Topology for the Space of Countable Mo

✍ J. T. Baldwin; J. M. Plotkin 📂 Article 📅 1974 🏛 John Wiley and Sons 🌐 English ⚖ 446 KB 👁 1 views