Premium
Maximality of linear continuous logic
Author(s) -
Malekghasemi Mahya,
Bagheri SeyedMohammad
Publication year - 2018
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.201600081
Subject(s) - compact space , mathematics , compactness theorem , linear logic , discrete mathematics , property (philosophy) , continuous linear operator , pure mathematics , brouwer fixed point theorem , fixed point theorem , philosophy , epistemology
The linear compactness theorem is a variant of the compactness theorem holding for linear formulas. We show that the linear fragment of continuous logic is maximal with respect to the linear compactness theorem and the linear elementary chain property. We also characterize linear formulas as those preserved by the ultramean construction.