jbovlaste
a lojban dictionary editing system
User:
Pass:

Home
Get A Printable Dictionary
Search Best Words
Recent Changes
How You Can Help
valsi - All
valsi - Preferred Only
natlang - All
natlang - Preferred Only
Languages
XML Export
user Listing
Report Bugs
Utilities
Status
Help
Admin Request
Create Account
Dictionary record
Back to the main valsi listing.
valsi ma'au
type experimental cmavo
creator krtisfranks
time entered Mon Apr 2 17:12:13 2018

Examples
   
English
Definition #70586 - Preferred [edit]
   
selma'o VUhU
definition Binary mekso operator: uniform probability A(X2)u(X1, X2) for input (X1, X2) where X1 is a number and X2 is a set or space. (See notes for details).
notes Establish (elsewhere) a universal set/topological space O and equip it with a measure L; then X1 must be anĀ  element of O, and X2 must be a subset/subspace of O and will be equipped with/inherit the same measure L (restricted to it) and the appropriate topology. Let Y be the maximal non-discrete subset/subspace of X2 (in other words, all non-discrete subsets/subspaces of X2 are subsets/subspaces of Y). The term 'A' in the definition is a nonnegative-valued 'function' which is defined on the category of sets; it produces the proper normalization (by being the reciprocal of the integral of u over O with respect to L iff such is well-defined and finite and positive; otherwise, it is identically 0). The term 'u' in the definition is defined to be the sum of the indicator function (Kronecker delta) for Y (outputting 1 iff X1 is an element Y, and outputting 0 otherwise) and the Dirac delta of: 1 minus the indicator function for the relative complement of Y in X2 (id est: X2
Y
); it should be noted that all functions mentioned are defined on all of O but have nonzero values according to only the previous description (in particular, u = 0 identically in O
X2
); the indicator functions directly are functions of the input X1. See also: "zdeltakronekre", "zdeltadirake".
gloss words
created by krtisfranks
vote information 1
time Mon Apr 2 10:14:15 2018

Examples
Etymology

krtisfranks{manfo} + {fancu}.[edit]
Currently, jbovlaste will accept data for 69 languages.
You are not logged in.

  recent changes jbovlaste main
This is jbovlaste, the lojban dictionary system.
The main code was last changed on Sun Nov 15 18:45:23 PST 2015.
All content is public domain. By submitting content, you agree to place it in the public domain to the fullest extent allowed by local law.
jbovlaste is an official project of the logical language group, and is now headed by Robin Lee Powell.
E-mail him if you have any questions.
care to log in?