Displaying similar documents to “Compactness and Löwenheim-Skolem properties in categories of pre-institutions”

Mizar Analysis of Algorithms: Algorithms over Integers

Grzegorz Bancerek (2008)

Formalized Mathematics

Similarity:

This paper is a continuation of [5] and concerns if-while algebras over integers. In these algebras the only elementary instructions are assignment instructions. The instruction assigns to a (program) variable a value which is calculated for the current state according to some arithmetic expression. The expression may include variables, constants, and a limited number of arithmetic operations. States are functions from a given set of locations into integers. A variable is a function...

Model Checking. Part III

Kazuhisa Ishida, Yasunari Shidama (2008)

Formalized Mathematics

Similarity:

This text includes verification of the basic algorithm in Simple On-the-fly Automatic Verification of Linear Temporal Logic (LTL). LTL formula can be transformed to Buchi automaton, and this transforming algorithm is mainly used at Simple On-the-fly Automatic Verification. In this article, we verified the transforming algorithm itself. At first, we prepared some definitions and operations for transforming. And then, we defined the Buchi automaton and verified the transforming algorithm.MML...

On a problem of Steve Kalikow

Saharon Shelah (2000)

Fundamenta Mathematicae

Similarity:

The Kalikow problem for a pair (λ,κ) of cardinal numbers,λ > κ (in particular κ = 2) is whether we can map the family of ω-sequences from λ to the family of ω-sequences from κ in a very continuous manner. Namely, we demand that for η,ν ∈ ω we have: η, ν are almost equal if and only if their images are. We show consistency of the negative answer, e.g., for ℵ ω but we prove it for smaller cardinals. We indicate a close connection with the free subset property and its variants. ...

Convergence analysis for asymmetric Deffuant-Weisbuch model

Jiangbo Zhang (2014)

Kybernetika

Similarity:

In this paper, we investigate the convergence behavior of the asymmetric Deffuant-Weisbuch (DW) models during the opinion evolution. Based on the convergence of the asymmetric DW model that generalizes the conventional DW model, we first propose a new concept, the separation time, to study the transient behavior during the DW model's opinion evolution. Then we provide an upper bound of the expected separation time with the help of stochastic analysis. Finally, we show relations of the...

Semantics of MML Query

Grzegorz Bancerek (2012)

Formalized Mathematics

Similarity:

In the paper the semantics of MML Query queries is given. The formalization is done according to [4]