A topological interpretation of second-order intuitionistic arithmetic
A type-open minimal model.
A unifying approach to theorems on preservation and interpolation for binary relations between structures.
A viewpoint on amalgamation classes
We give a self-contained introduction to universal homogeneous models (also known as rich models) in a general context where the notion of morphism is taken as primitive. We produce an example of an amalgamation class where each connected component has a saturated rich model but the theory of the rich models is not model-complete.
A weakening of the axiom of choice for the standard binary tree.
A Word on the Joint Embedding Property
Abelian profinite groups
About the admissible predicates on admissible sets.
Absence of the interpolation property in the calculi and .
Absolutely saturated models
Addendum to “A note on the MacDowell–Specker theorem”
Addition and correction to the paper "On stability and products", Fund. Math. 93 (1976), pp. 81-95
Affine spaces as models for regular identities
In [7] and [8], two sets of regular identities without finite proper models were introduced. In this paper we show that deleting one identity from any of these sets, we obtain a set of regular identities whose models include all affine spaces over GF(p) for prime numbers p ≥ 5. Moreover, we prove that this set characterizes affine spaces over GF(5) in the sense that each proper model of these regular identities has at least 13 ternary term functions and the number 13 is attained if and only if the...
Alcune osservazioni sul linguaggio
An existence theorem for 1-atomic standard models of (more weak than usual “atomic models”) and applications of to are the results of this note.
Algebraic approximation of analytic sets definable in an o-minimal structure
Let K,R be an algebraically closed field (of characteristic zero) and a real closed field respectively with K=R(√(-1)). We show that every K-analytic set definable in an o-minimal expansion of R can be locally approximated by a sequence of K-Nash sets.
Algebraic closure in continuous logic.
Algebraic dimension over Frobenius fields.
Algebraically closed and existentially closed substructures in categorical context.
Algèbres graphiques (sur un concept de dimension dans les langages formels)
Algorithmes d'élimination des quantificateurs