We present ve axioms of name-carrying lambda-terms iden-tiied up to alpha-conversion|that is, up to renaming of bound variables. We assume constructors for constants, variables, application and lambda-abstraction. Other constants represent a function Fv that returns the set of free variables in a term and a function that substitutes a term for a variable free in another term. Our axioms are (1)...

For any compact K ⊂ C ˆ we define a map λ : → N ∪ { ∞ } , called the lambda function of . The continuum has property that ( x ) = 0 for all ∈ if and only is locally connected. We establish several inequalities gluing lemma functions. These reflect relationship between topology complexity may be involved in boundary component ∖ One them, inequality, generalizes quantifies Torhorst Theorem. also ...

The most serious consequence of maternal drinking during pregnancy is fetal alcohol syndrome (FAS). FAS was first described in the United States by Jones and Smith (1973), who identified a distinctive set of facial anomalies—short eyelid openings (palpebral fissures), flat midface, thin upper lip, and a flat or smooth groove between nose and upper lip (philtrum)—in children whose mothers drank ...

Otter-lambda is a theorem-prover based on an untyped logic with lambda calculus, called Lambda Logic. Otter-lambda is built on Otter, so it uses resolution proof search, supplemented by demodulation and paramodulation for equality reasoning, but it also uses a new algorithm, lambda unification, for instantiating variables for functions or predicates. The basic idea of a typed interpretation of ...

We show that the inadvertent use of a Carmichael number instead of a prime factor in the modulus of an RSA cryptosystem is likely to make the system fatally vulnerable, but that such numbers may be detected.

Let As be the product of the first s primes, let Ps be the set of primes p for which p−1 divides As but p does not divide As, and let Cs be the set of Carmichael numbers n such that n is composed entirely of the primes in Ps and such that As divides n − 1. Erdős argued that, for any ε > 0 and all sufficiently large x (depending on the choice of ε), the set Cs contains more than x1−ε Carmichael ...

This paper studies oscillatory properties of solutions a dynamic equation on the set time scales $\mathbf{T}_\lambda$ provided that graininess function $\mu_\lambda$ approaches zero as $\lambda\to 0$. We derived conditions under which oscillation differential equations implies corresponding defined with same initial data, and vice versa.

The first general Zagreb index is defined as $M_1^lambda(G)=sum_{vin V(G)}d_{G}(v)^lambda$. The case $lambda=3$, is called F-index. Similarly, reformulated first general Zagreb index is defined in terms of edge-drees as $EM_1^lambda(G)=sum_{ein E(G)}d_{G}(e)^lambda$ and the reformulated F-index is $RF(G)=sum_{ein E(G)}d_{G}(e)^3$. In this paper, we compute the reformulated F-index for some grap...

 Let $P(lambda)$ be an $n$-square complex matrix polynomial, and $1 leq k leq n$ be a positive integer. In this paper, some algebraic and geometrical properties of the $k$-numerical range of $P(lambda)$ are investigated. In particular, the relationship between the $k$-numerical range of $P(lambda)$ and the $k$-numerical range of its companion linearization is stated. Moreover, the $k$-numerical...

The first experimental information on the strong interaction between $\Lambda$ and $\Xi^-$ strange baryons is presented in this Letter. correlation function of $\Lambda-\Xi^-$ $\overline{\Lambda}-\overline{\Xi}^{+}$ pairs produced high-multiplicity proton-proton (pp) collisions at $\sqrt{s}$ = 13 TeV LHC measured as a relative momentum pair. femtoscopy method used to calculate function, which t...