Ranked by relevance and common usage.
OpenGloss and ConceptNet supply richer edges like generalizations, collocations, and derivations.
6 total sentences available.
Gödel's model is an example of a simple type of inner model that might be called a definable transitive inner model³), where the universe is replaced by a transitive subuniverse defined within ZF, the membership relation is just the original one restricted to the subuniverse, and where the axioms of ZF relativized to the subuniverse, are provable within ZF.
Source: wiktionary
1971, Ulrich Felgner, Models of ZF-Set Theory, Springer, Lecture Notes in Mathematics 223, page 21, 1. Corollary: ZF is not finitely axiomatizable. 2. Corollary: ZF is reflexive (i.e. the consistency of every finite subtheory of ZF can be proved within ZF).
Source: wiktionary
1991 [Kluwer Academic], Fred Landman, Structures for Semantics, 1991, Springer, Softcover, page 56, However, the problem with it, and the reason why it is not part of ZF strictly (apart from the fact that it implies the axiom of choice) is that it is rather arbitrary.
Source: wiktionary
In the case of the ZF detector, we suppress the interference among the transmit streams by multiplying the received signal vector y with the Moore-Penrose pseudo-inverse of the channel matrix […]
Source: wiktionary
Showing 4 of 6 available sentences.
Data sourced from Wiktionary, WordNet, CMU, and other open linguistic databases. Updated March 2026.