A universal null graph whose domain has positive measure
A version of the ...1-reflection principle for CFA provable in PRA.
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 walk through nonstandard analysis on the paths of A. Robinson. (Balade en analyse non standard sur les traces de A. Robinson.)
A weakening of the axiom of choice for the standard binary tree.
A weakening of , with applications to topology
A well ordering of the Cartesian product of two ordinals
A well-ordering proof for Feferman's theory To.
A Word on the Joint Embedding Property
A -set of natural numbers which is not enumerable by natural numbers.
Abelian group extensions and the axiom of constructibility.
Abelian profinite groups
About An Equivalent Of The Continuum Hypothesis
About the admissible predicates on admissible sets.
About the domino problem in the hyperbolic plane from an algorithmic point of view
This paper is a contribution to the general tiling problem for the hyperbolic plane. It is an intermediary result between the result obtained by R. Robinson [Invent. Math.44 (1978) 259–264] and the conjecture that the problem is undecidable.
About the equivalence of nullnorms on bounded lattice
In this paper, an equivalence on the class of nullnorms on a bounded lattice based on the equality of the orders induced by nullnorms is introduced. The set of all incomparable elements w.r.t. the order induced by nullnorms is investigated. Finally, the recently posed open problems have been solved.
About the sixth Hilbert's problem
Absence of the interpolation property in the calculi and .
Absolute Indiscernibles and Standard Models of ZFC
Absolute points in