منابع مشابه
Algebraic Models of Intuitionistic Theories of Sets and Classes
This paper constructs models of intuitionistic set theory in suitable categories. First, a Basic Intuitionistic Set Theory (BIST) is stated, and the categorical semantics are given. Second, we give a notion of an ideal over a category, using which one can build a model of BIST in which a given topos occurs as the sets. And third, a sheaf model is given of a Basic Intuitionistic Class Theory con...
متن کاملFive papers on axiomatic theories of truth
S. Feferman, Reflecting on incompleteness. Journal of Symbolic Logic vol. 56 no. 1 (1991), pp. 1–49. W.N. Reinhardt, Some remarks on extending and interpreting theories with a partial predicate for truth. Journal of Philosophical Logic vol. 15 no. 2 (1986), pp. 219–251. V. Halbach and L. Horsten, Axiomatizing Kripke’s theory of truth. Journal of Symbolic Logic vol. 71 no. 2 (2006), pp. 667–712....
متن کاملAxiomatic Foundations of Galilean Quantum Field Theories
A realistic axiomatic formulation of Galilean Quantum Field Theories is presented, from which the most important theorems of the theory can be deduced. In comparison with others formulations, the formal aspect has been improved by the use of certain mathematical theories, such as group theory and the theory of rigged Hilbert spaces. Our approach regards the fields as real things with symmetry p...
متن کاملAlgebraic theories
We presents the algebraic theories over an arbitrary monoid, main properties and calculus rules. Ordered, rationaly closed and ω-continuous theories on one hand and matrix and complete matrix theories on the other hand are the presentation main subjects. Some examples comming from algebra and computer science finish this paper.
متن کاملFree models of T -algebraic theories computed as Kan extensions
One fundamental aspect of Lawvere’s categorical semantics is that every algebraic theory (eg. of monoid, of Lie algebra) induces a free construction (eg. of free monoid, of free Lie algebra) computed as a Kan extension. Unfortunately, the principle fails when one shifts to linear variants of algebraic theories, like Adams and Mac Lane’s PROPs, and similar PROs and PROBs. Here, we introduce the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fundamenta Mathematicae
سال: 1955
ISSN: 0016-2736,1730-6329
DOI: 10.4064/fm-41-2-291-310