Failure of completeness properties of intuitionistic predicate logic for constructive models
Fiberwise properties of definable sets and functions in o-minimal structures.
Fields of surreal numbers and exponentiation
We show that Conway's field of surreal numbers with its natural exponential function has the same elementary properties as the exponential field of real numbers. We obtain ordinal bounds on the length of products, reciprocals, exponentials and logarithms of surreal numbers in terms of the lengths of their inputs. It follows that the set of surreal numbers of length less than a given ordinal is a subfield of the field of all surreal numbers if and only if this ordinal is an ε-number. In that case,...
Fields with analytic structure
Finitary fibrations
Finite models and finitely many variables
This paper is a survey of results on finite variable logics in finite model theory. It focusses on the common underlying techniques that unite many such results.
Finitely generated congruence distributive quasivarieties of algebras
First Order Classes of Groups Having no Groups With a Given Property
First Order Languages: Further Syntax and Semantics
Third of a series of articles laying down the bases for classical first order model theory. Interpretation of a language in a universe set. Evaluation of a term in a universe. Truth evaluation of an atomic formula. Reassigning the value of a symbol in a given interpretation. Syntax and semantics of a non atomic formula are then defined concurrently (this point is explained in [16], 4.2.1). As a consequence, the evaluation of any w.f.f. string and the relation of logical implication are introduced....
First order topology [Book]
First-order definability and algebraicity of the sets of annihilating and generating collections of elements for some relatively free solvable groups.
Forcing in a general setting
Forcing infini et théorème d'omission des types de Chang
Forcing infinito generalizzato in teoria dei modelli
Formalized models of ontological systems
Formalizing a non-linear Henkin quantifier
Formulas and ultraproducts in categories
Fragments of complete extensions of PA and McDowell-Specker's theorem.
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...