Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 2 of 2
Full-Text Articles in Logic and Foundations
Model-Completions And Model-Companions, Mostafa Mirabi
Model-Completions And Model-Companions, Mostafa Mirabi
Mostafa Mirabi
This is an expository note on model-completions and model-companions.
The Feferman-Vaught Theorem, Mostafa Mirabi
The Feferman-Vaught Theorem, Mostafa Mirabi
Mostafa Mirabi
This paper aims to provide an exposition of the Feferman-Vaught theorem, closely following the presentation in Hodges [1] and Chang-Keisler [2].