Zobrazeno 1 - 10
of 43
pro vyhledávání: '"José Iovino"'
Publikováno v:
Beyond First Order Model Theory, Volume II ISBN: 9780429263637
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::baa4a3821a29455343aa3a59c108915d
https://doi.org/10.1201/9780429263637-1
https://doi.org/10.1201/9780429263637-1
Autor:
C. Ward Henson, José Iovino, Alexander S. Kechris, Edward Odell, Catherine Finet, Christian Michaux
This volume comprises articles from four outstanding researchers who work at the cusp of analysis and logic. The emphasis is on active research topics; many results are presented that have not been published before and open problems are formulated. C
Autor:
José Iovino, Eduardo Dueñez
Publikováno v:
Mexican Mathematicians in the World. :85-114
We use model theory of metric structures to prove the pointwise convergence, with a uniform metastability rate, of averages of a polynomial sequence { T n } \{T_n\} (in Leibman’s sense) of unitary transformations of a Hilbert space. As a special ca
Autor:
Jose Iovino
Model theory is the meta-mathematical study of the concept of mathematical truth. After Afred Tarski coined the term Theory of Models in the early 1950's, it rapidly became one of the central most active branches of mathematical logic. In the last fe
Autor:
Jose Iovino
Model theory is one of the central branches of mathematical logic. The field has evolved rapidly in the last few decades. This book is an introduction to current trends in model theory, and contains a collection of articles authored by top researcher
Autor:
José Iovino, Xavier Caicedo
Publikováno v:
Annals of Pure and Applied Logic. 165:1169-1200
We study a class of [ 0 , 1 ] -valued logics. The main result of the paper is a maximality theorem that characterizes these logics in terms of a model-theoretic property, namely, an extension of the omitting types theorem to uncountable languages.
Autor:
Itaï Ben Yaacov, José Iovino
Publikováno v:
Annals of Pure and Applied Logic
Annals of Pure and Applied Logic, Elsevier Masson, 2009, 158, pp.163-174. ⟨10.1016/j.apal.2007.10.011⟩
Annals of Pure and Applied Logic, Elsevier Masson, 2009, 158, pp.163-174. ⟨10.1016/j.apal.2007.10.011⟩
International audience; We present a framework for model theoretic forcing in a non-first-order context, and present some applications of this framework to Banach space theory.
Autor:
Jose Iovino
'The text is well written and easy to read. A great tool for any person interested in learning relations between functional analysis and model theory.'— MathSciNetDuring the last two decades, methods that originated within mathematical logic have e
Publikováno v:
Journal of Discrete Mathematical Sciences and Cryptography. 10:559-571
We present a generalization of Pedersen’s public-key threshold cryptosystem. Pedersen’s protocol relies on the field properties of ℤ p . We generalize the protocol so that the calculations can be performed in residue rings that are not necessar
Autor:
José Iovino
Publikováno v:
Logic and Its Applications. :167-201