4,782 research outputs found
Topos Semantics for Higher-Order Modal Logic
We define the notion of a model of higher-order modal logic in an arbitrary
elementary topos . In contrast to the well-known interpretation of
(non-modal) higher-order logic, the type of propositions is not interpreted by
the subobject classifier , but rather by a suitable
complete Heyting algebra . The canonical map relating and
both serves to interpret equality and provides a modal
operator on in the form of a comonad. Examples of such structures arise
from surjective geometric morphisms , where . The logic differs from non-modal higher-order
logic in that the principles of functional and propositional extensionality are
no longer valid but may be replaced by modalized versions. The usual Kripke,
neighborhood, and sheaf semantics for propositional and first-order modal logic
are subsumed by this notion
New mathematical structures in renormalizable quantum field theories
Computations in renormalizable perturbative quantum field theories reveal
mathematical structures which go way beyond the formal structure which is
usually taken as underlying quantum field theory. We review these new
structures and the role they can play in future developments.Comment: 26p,4figs., Invited Contribution to Annals of Physics, minor typos
correcte
- …