Refinement properties for relational structures
C. Chang, B. Jónsson, Alfred Tarski (1964)
Fundamenta Mathematicae
Similarity:
C. Chang, B. Jónsson, Alfred Tarski (1964)
Fundamenta Mathematicae
Similarity:
Ralph Seifert (1971)
Fundamenta Mathematicae
Similarity:
Wagstaff, Samuel S.jun. (2001)
Experimental Mathematics
Similarity:
M. Zuckerman (1973)
Fundamenta Mathematicae
Similarity:
H. Pickett (1964)
Fundamenta Mathematicae
Similarity:
Wacław Sierpiński
Similarity:
Kilford, L.J.P. (2004)
International Journal of Mathematics and Mathematical Sciences
Similarity:
T. Frayne, A. Morel, D. Scott (1962)
Fundamenta Mathematicae
Similarity:
Eric K. van Douwen
Similarity:
CONTENTS1. Interesting mappings on finite powers..................................................... 52. Results.................................................................................................................... 63. Conventions and notation.................................................................................... 84. βω-spaces.............................................................................................................. 85. Canonical partition...
Wilfried Imrich, Peter F. Stadler (2006)
Discussiones Mathematicae Graph Theory
Similarity:
We introduce the concept of neighborhood systems as a generalization of directed, reflexive graphs and show that the prime factorization of neighborhood systems with respect to the the direct product is unique under the condition that they satisfy an appropriate notion of thinness.
Magdalena Jastrzebska, Adam Grabowski (2006)
Formalized Mathematics
Similarity:
We formalized some basic properties of the Möbius function which is defined classically as [...] as e.g., its multiplicativity. To enable smooth reasoning about the sum of this number-theoretic function, we introduced an underlying many-sorted set indexed by the set of natural numbers. Its elements are just values of the Möbius function.The second part of the paper is devoted to the notion of the radical of number, i.e. the product of its all prime factors.The formalization (which is...
Jiahai Kan (2004)
Acta Arithmetica
Similarity: