We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.LO

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Mathematics > Logic

Title: Partial Model Theory -- Ultraproducts and Compactness

Abstract: In the present paper we prove the compactness theorem with respect to partial structures and quasi-truth, using the technique of ultraproducts. Partial structures and quasi-truth are two notions developed within the partial structures approach, which is a philosophical conception that emerged in the context of contemporary philosophy of science. Nevertheless, the notions developed within this conception, in particular the two mentioned, have a model-theoretic content that has not been explored so far, so that this paper is part of a project where we intend to analyze their formal properties by means of the development of a partial model theory, which is an extension of traditional model theory to partial structures.
Subjects: Logic (math.LO)
Cite as: arXiv:2405.10388 [math.LO]
  (or arXiv:2405.10388v1 [math.LO] for this version)

Submission history

From: Rodolfo Cunha Carnier [view email]
[v1] Thu, 16 May 2024 18:33:22 GMT (13kb)

Link back to: arXiv, form interface, contact.