Formalizing a non-linear Henkin quantifier
Formally self-referential propositions for cut free classical analysis and related systems [Book]
Formes combinatoires du théorème d'incomplétude
Formulas and ultraproducts in categories
Formulas of the general solutions of Boolean equations.
Formulation of Cell Petri Nets
Based on the Petri net definitions and theorems already formalized in the Mizar article [13], in this article we were able to formalize the definition of cell Petri nets. It is based on [12]. Colored Petri net has already been defined in [11]. In addition, the conditions of the firing rule and the colored set to this definition, that defines the cell Petri nets are further extended to CPNT.i further. The synthesis of two Petri nets was introduced in [11] and in this work the definition is extended...
Foundations for stepwise refinement of program specifications via cylindric algebra theory
Fractal construction of an atomic Archimedean effect algebra with non-atomic subalgebra of sharp elements
Does there exist an atomic Archimedean lattice effect algebra with non-atomic subalgebra of sharp elements? An affirmative answer to this question is given.
Fractions continues limitées et théorie des langages
Fragments of complete extensions of PA and McDowell-Specker's theorem.
Fragments of strong compactness, families of partitions and ideal extensions
We investigate some natural combinatorial principles related to the notion of mild ineffability, and use them to obtain new characterizations of mild ineffable and weakly compact cardinals. We also show that one of these principles may be satisfied by a successor cardinal. Finally, we establish a version for of the canonical Ramsey theorem for pairs.
Fraïssé structures and a conjecture of Furstenberg
We study problems concerning the Samuel compactification of the automorphism group of a countable first-order structure. A key motivating question is a problem of Furstenberg and a counter-conjecture by Pestov regarding the difference between , the Samuel compactification, and , the enveloping semigroup of the universal minimal flow. We resolve Furstenberg’s problem for several automorphism groups and give a detailed study in the case of , leading us to define and investigate several new types...
Free actions of free groups on countable structures and property (T)
We show that if G is a non-archimedean, Roelcke precompact Polish group, then G has Kazhdan's property (T). Moreover, if G has a smallest open subgroup of finite index, then G has a finite Kazhdan set. Examples of such G include automorphism groups of countable ω-categorical structures, that is, the closed, oligomorphic permutation groups on a countable set. The proof uses work of the second author on the unitary representations of such groups, together with a separation result for infinite permutation...
Free Interpretation, Quotient Interpretation and Substitution of a Letter with a Term for First Order Languages
Fourth of a series of articles laying down the bases for classical first order model theory. This paper supplies a toolkit of constructions to work with languages and interpretations, and results relating them. The free interpretation of a language, having as a universe the set of terms of the language itself, is defined.The quotient of an interpreteation with respect to an equivalence relation is built, and shown to remain an interpretation when the relation respects it. Both the concepts of quotient...
Free -products of lattices. I
Free -products of lattices. II
Free Power or Width of some Kinds of Mathematical Structures
Free products and elementary types of Boolean Algebras.
Free Suslin algebras
From an alternative model of rough sets to fuzzy sets