The phrase "definable with" is grammatically correct and can be used in written English in certain contexts.
It is typically used to describe something that can be defined or explained using a specific tool or method. Example: "The concept of love is not easily definable with words, as it is a complex emotion that can only be fully understood through personal experience." Here, "definable with" is used to convey that the concept of love cannot be easily explained or defined using words alone.
On the other hand such a number is definable with less than 18 syllables, since it is uniquely determined by the expression "the least number not definable with less than 18 syllables", which itself has less than 18 syllables.
For example, the projective sets are exactly the sets which are definable (with parameters) in second-order arithmetic.
Consider the least such number: clearly, by definition, it is not definable with less than 18 syllables.
Hyder investigates Helmholtz's argument in the essay that "force functions must be definable with regard only to the relative positions of the mass-points comprising a physical system" (Hyder 2006, 1).
He shows that the logical operations that are both permutation-invariant and absolutely definable with respect to Kripke Platek set theory without an axiom of infinity are just those definable in first-order logic.
Another result by van Benthem is that the type <1> quantifiers accepted by pushdown automata are precisely those for which the corresponding binary relation between numbers is definable (with first-order means) in additive arithmetic, i.e., in the model (N, +), where N = {0, 1, 2,…}.
For another, although the notion of inductive support is analogous to the deductive notion of logical entailment, and is arguably an extension of it, there seems to be no inductive logic extension of the notion of logical inconsistency at least none that is inter-definable with inductive support in the way that logical inconsistency is inter-definable with logical entailment.
Social behaviour includes social sniff and 'climb and follow', this type of social behaviour excludes attacks between the partners; in our study this behaviour was categorized as non-definable with regard to social submissiveness.
Large neurons, with a cell body area ≥200 μm and a definable cytoplasm with a nucleus and nucleolus (Thau et al., 2012) were then counted using Neurolucida software (MBF Bioscience, USA).
Close contacts included persons who shared living quarters with the index patient; casual contacts included persons who had less definable contact with the index patient.
The result shows that the responsivity value does not exhibit a definable change with an increase in excitation intensity for the MoS2 nanoflake.
