Skip to main content

Showing 1–4 of 4 results for author: Baratella, S

Searching in archive math. Search in all archives.
.
  1. arXiv:2402.01245  [pdf, ps, other

    math.LO

    Continuous logic in a classical setting

    Authors: Claudio Agostini, Stefano Baratella, Silvia Barbina, Luca Motto Ros, Domenico Zambella

    Abstract: Let $\mathcal{L}$ be a first-order two-sorted language and consider a class of $\mathcal{L}$-structures of the form $\langle M, X \rangle$ where $M$ varies among structures of the first sort, while $X$ is fixed in the second sort, and it is assumed to be a compact Hausdorff space. When $X$ is a compact subset of the real line, one way to treat classes of this kind model-theoretically is via contin… ▽ More

    Submitted 2 February, 2024; originally announced February 2024.

    MSC Class: 03C66

  2. arXiv:1903.05894  [pdf, ps, other

    math.LO cs.LO

    A two-dimensional metric temporal logic

    Authors: Stefano Baratella, Andrea Masini

    Abstract: We introduce a two-dimensional metric (interval) temporal logic whose internal and external time flows are dense linear orderings. We provide a suitable semantics and a sequent calculus with axioms for equality and extralogical axioms. Then we prove completeness and a semantic partial cut-elimination theorem down to formulas of a certain type.

    Submitted 14 March, 2019; originally announced March 2019.

  3. The Real truth

    Authors: Stefano Baratella, Domenico Zambella

    Abstract: We study a real valued propositional logic with unbounded positive and negative truth values that we call R-valued logic. Such logic slightly extends continuous propositional logic which, in turn, builds on Lukasiewicz many-valued logic. After presenting the deduction machinery and the semantics of R-valued logic, we prove a completeness theorem for finite theories. Then we define unital and Archi… ▽ More

    Submitted 14 December, 2014; v1 submitted 3 May, 2012; originally announced May 2012.

    MSC Class: 03B50

    Journal ref: MLQ Math. Log. Q. 61 (2015), no. 1-2, 32--44

  4. arXiv:0910.5058  [pdf, ps, other

    math.OA math.FA

    Nonstandard Hulls of C*-Algebras

    Authors: Stefano Baratella, Siu-Ah Ng

    Abstract: We study properties of C*-algebras obtained from the nonstandard hull construction (a generalization of the ultraproduct of C*-algebras). Among others, we prove that the properties of being an infinite and a properly infinite C*-algebra are both preserved and reflected by the nonstandard hull construction. We also show that the property of being generated by mutually orthogonal projections is pr… ▽ More

    Submitted 27 October, 2009; originally announced October 2009.

    Comments: 22 pages

    MSC Class: 46L05; 03H05; 26E35; 46S20