[permalink] [id link]
Formally, a cardinal number κ is λ-unfoldable if and only if for every transitive model M of cardinality κ of ZFC-minus-power set such that κ is in M and M contains all its sequences of length less than κ, there is a non-trivial elementary embedding j of M into a transitive model with the critical point of j being κ and j ( κ ) ≥ λ.
Some Related Sentences
Formally and cardinal
Formally, a measurable cardinal is an uncountable cardinal number κ such that there exists a κ-additive, non-trivial, 0-1-valued measure on the power set of κ.
Formally, a cardinal κ is defined to be weakly compact if it is uncountable and for every function f: < sup > 2 </ sup > →
Formally and number
Formally, these reside in a complex separable Hilbert space-variously called the " state space " or the " associated Hilbert space " of the system-that is well defined up to a complex number of norm 1 ( the phase factor ).
Formally, if d is the dimension of the parameter, and n is the number of samples, if as and as, then the model is semi-parametric.
Formally, the word is applied to persons who are publicly accepted in a recognised capacity, such as professional employment, graduation from a course of study, etc., to give critical commentaries in one or any of a number of specific fields of public or private achievement or endeavour.
Formally, the index of H in G is defined as the number of cosets of H in G. ( The number of left cosets of H in G is always equal to the number of right cosets.
Formally, a composite number n = d · 2 < sup > s </ sup > + 1 with d being odd is called a strong pseudoprime to a relatively prime base a when one of the following conditions hold:
Formally, for received words, let denote the Hamming distance between and, that is, the number of positions in which and differ.
Formally, the use of a reduction is the function that sends each natural number n to the largest natural number m whose membership in the set B was queried by the reduction while determining the membership of n in A.
Formally established on October 21st, 1969, it includes 18 departments providing 31 different undergraduate courses, as well as a number of graduate programs.
Formally, a number n is colossally abundant if and only if there is an ε > 0 such that for all k > 1,
Formally, a natural number n is called highly abundant if and only if for all natural numbers m < n,
Formally, it refers to a set of six verb forms inflected for person and number forming a single paradigm.
Formally the Airframe Reconditioning Squadron RNZAF, the unit was commercialised in 1998 and is now managed by SAFE Air Ltd. No. 1 Repair Depot was also active at the base for a number of years, though during the war it appears to have been stationed at Hamilton.
Formally, the equation above defines the macroscopic neutron cross-section ( for reaction x ) as the proportionality constant between a neutron flux incident on a ( thin ) piece of material and the number of reactions that occur ( per unit volume ) in that material.
Formally, the upper density of a graph G is the infimum of the values α such that the finite subgraphs of G with density α have a bounded number of vertices.
Formally and is
Formally organized vocational programs supported by federal funds allow high school students to gain experience in a field of work which is likely to lead to a full-time job on graduation.
Formally, the set of all context-free languages is identical to the set of languages accepted by pushdown automata ( PDA ).
More rigorously, the divergence of a vector field F at a point p is defined as the limit of the net flow of F across the smooth boundary of a three dimensional region V divided by the volume of V as V shrinks to p. Formally,
Formally, the base is known as Naval Support Facility Diego Garcia ( the US activity ) or Permanent Joint Operating Base ( PJOB ) Diego Garcia ( the UK's term ).
Formally, there is a clear distinction: " DFT " refers to a mathematical transformation or function, regardless of how it is computed, whereas " FFT " refers to a specific family of algorithms for computing DFTs.
Formally, oxidation state is the hypothetical charge that an atom would have if all bonds to atoms of different elements were 100 % ionic.
Formally, an inner product space is a vector space V over the field together with an inner product, i. e., with a map
Formally, if M is a set, the identity function f on M is defined to be that function with domain and codomain M which satisfies
* Formally, when working over the reals, as here, this is accomplished by considering the limit as ε → 0 ; but the " infinitesimal " language generalizes directly to Lie groups over general rings.
Formally, a profinite group is a Hausdorff, compact, and totally disconnected topological group: that is, a topological group that is also a Stone space.
Formally, this sharing of dynamics is referred to as universality, and systems with precisely the same critical exponents are said to belong to the same universality class.
Formally, a frame is defined to be a lattice L in which finite meets distribute over arbitrary joins, i. e. every ( even infinite ) subset