Displaying similar documents to “On logical wholeness of an (axiomatic) formal theory”

A note on formal power series

Xiao-Xiong Gan, Dariusz Bugajewski (2010)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

In this note we investigate a relationship between the boundary behavior of power series and the composition of formal power series. In particular, we prove that the composition domain of a formal power series g is convex and balanced which implies that the subset 𝕏 ¯ g consisting of formal power series which can be composed by a formal power series g possesses such properties. We also provide a necessary and sufficient condition for the superposition operator T g to map 𝕏 ¯ g into itself or to...

Deciding knowledge in security protocols under some e-voting theories

Mouhebeddine Berrima, Narjes Ben Rajeb, Véronique Cortier (2011)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Similarity:

In the last decade, formal methods have proved their interest when analyzing security protocols. Security protocols require in particular to reason about the attacker knowledge. Two standard notions are often considered in formal approaches: deducibility and indistinguishability relations. The first notion states whether an attacker can learn the value of a secret, while the latter states whether an attacker can notice some difference between protocol runs with different values of the...

Deciding knowledge in security protocols under some e-voting theories

Mouhebeddine Berrima, Narjes Ben Rajeb, Véronique Cortier (2011)

RAIRO - Theoretical Informatics and Applications

Similarity:

In the last decade, formal methods have proved their interest when analyzing security protocols. Security protocols require in particular to reason about the attacker knowledge. Two standard notions are often considered in formal approaches: deducibility and indistinguishability relations. The first notion states whether an attacker can learn the value of a secret, while the latter states whether an attacker can notice some difference between protocol runs with different values of the...

Further remarks on formal power series

Marcin Borkowski, Piotr Maćkowiak (2012)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

In this paper, we present a considerable simplification of the proof of a theorem by Gan and Knox, stating a sufficient and necessary condition for existence of a composition of two formal power series. Then, we consider the behavior of such series and their (formal) derivatives at the boundary of the convergence circle, obtaining in particular a theorem of Bugajewski and Gan concerning the structure of the set of points where a formal power series is convergent with all its derivatives. ...