A few Remarks on Reduced Ideal-products
A model-theoretic transfer theorem for henselian valued fields.
A new approach to chordal graphs
By a chordal graph is meant a graph with no induced cycle of length . By a ternary system is meant an ordered pair , where is a finite nonempty set, and . Ternary systems satisfying certain axioms (A1)–(A5) are studied in this paper; note that these axioms can be formulated in a language of the first-order logic. For every finite nonempty set , a bijective mapping from the set of all connected chordal graphs with onto the set of all ternary systems satisfying the axioms (A1)–(A5) is...
A note on cofinal extensions and segments
A note on embedding problems
Bounded statements in the theory of algebraically closed fields with distinguished automophisms.
Compactness and homogeneity of saturated structures. I.
Compactness and homogeneity of saturated structures. II.
Completion closed algebras and models of Peano arithmetic
Countable modules
Erratum to "Fields of surreal numbers and exponentiation" (Fund. Math. 167 (2001), 173-188)
Extending piecewise polynomial functions in two variables
We study the extensibility of piecewise polynomial functions defined on closed subsets of to all of . The compact subsets of on which every piecewise polynomial function is extensible to can be characterized in terms of local quasi-convexity if they are definable in an o-minimal expansion of . Even the noncompact closed definable subsets can be characterized if semialgebraic function germs at infinity are dense in the Hardy field of definable germs. We also present a piecewise polynomial...
Extending Tamm's theorem
We extend a result of M. Tamm as follows:Let , be definable in the ordered field of real numbers augmented by all real analytic functions on compact boxes and all power functions . Then there exists such that for all , if is in a neighborhood of , then is real analytic in a neighborhood of .
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,...
Integrating observational and computational features in the specification of state-based, dynamical systems
We present an abstract equational framework for the specification of systems having both observational and computational features. Our approach is based on a clear separation between the two categories of features, and uses algebra, respectively coalgebra to formalise them. This yields a coalgebraically-defined notion of observational indistinguishability, as well as an algebraically-defined notion of reachability under computations. The relationship between the computations yielding new system...
Integrating Observational and Computational Features in the Specification of State-Based, Dynamical Systems
We present an abstract equational framework for the specification of systems having both observational and computational features. Our approach is based on a clear separation between the two categories of features, and uses algebra, respectively coalgebra to formalise them. This yields a coalgebraically-defined notion of observational indistinguishability, as well as an algebraically-defined notion of reachability under computations. The relationship between the computations yielding new system states...
Metamathematical discussion of some affine geometries
Non-axiomatizability of real general affine geometry
Non-axiomatizable classes of V-topological fields.