67,506 research outputs found
Existentially Closed Models in the Framework of Arithmetic
We prove that the standard cut is definable in each existentially closed model of IΔ0 + exp by a (parameter free) П1–formula. This definition is optimal with respect to quantifier complexity and allows us to improve some previously known results on existentially closed models of fragments of arithmetic.Ministerio de Educación y Ciencia MTM2011–2684
Effective lambda-models vs recursively enumerable lambda-theories
A longstanding open problem is whether there exists a non syntactical model
of the untyped lambda-calculus whose theory is exactly the least lambda-theory
(l-beta). In this paper we investigate the more general question of whether the
equational/order theory of a model of the (untyped) lambda-calculus can be
recursively enumerable (r.e. for brevity). We introduce a notion of effective
model of lambda-calculus calculus, which covers in particular all the models
individually introduced in the literature. We prove that the order theory of an
effective model is never r.e.; from this it follows that its equational theory
cannot be l-beta or l-beta-eta. We then show that no effective model living in
the stable or strongly stable semantics has an r.e. equational theory.
Concerning Scott's semantics, we investigate the class of graph models and
prove that no order theory of a graph model can be r.e., and that there exists
an effective graph model whose equational/order theory is minimum among all
theories of graph models. Finally, we show that the class of graph models
enjoys a kind of downwards Lowenheim-Skolem theorem.Comment: 34
Bethe Ansatz Matrix Elements as Non-Relativistic Limits of Form Factors of Quantum Field Theory
We show that the matrix elements of integrable models computed by the
Algebraic Bethe Ansatz can be put in direct correspondence with the Form
Factors of integrable relativistic field theories. This happens when the
S-matrix of a Bethe Ansatz model can be regarded as a suitable non-relativistic
limit of the S-matrix of a field theory, and when there is a well-defined
mapping between the Hilbert spaces and operators of the two theories. This
correspondence provides an efficient method to compute matrix elements of Bethe
Ansatz integrable models, overpassing the technical difficulties of their
direct determination. We analyze this correspondence for the simplest example
in which it occurs, i.e. the Quantum Non-Linear Schrodinger and the Sinh-Gordon
models.Comment: 10 page
Guard Your Daggers and Traces: On The Equational Properties of Guarded (Co-)recursion
Motivated by the recent interest in models of guarded (co-)recursion we study
its equational properties. We formulate axioms for guarded fixpoint operators
generalizing the axioms of iteration theories of Bloom and Esik. Models of
these axioms include both standard (e.g., cpo-based) models of iteration
theories and models of guarded recursion such as complete metric spaces or the
topos of trees studied by Birkedal et al. We show that the standard result on
the satisfaction of all Conway axioms by a unique dagger operation generalizes
to the guarded setting. We also introduce the notion of guarded trace operator
on a category, and we prove that guarded trace and guarded fixpoint operators
are in one-to-one correspondence. Our results are intended as first steps
leading to the description of classifying theories for guarded recursion and
hence completeness results involving our axioms of guarded fixpoint operators
in future work.Comment: In Proceedings FICS 2013, arXiv:1308.589
- …