We describe L-FLAT, a Logtalk Toolkit for teaching Formal Languages and Automata Theory. L-FLAT supports the definition of alphabets, the definition of orders over alphabet symbols, the partial definition of languages using unit tests, and the definition of mechanisms, which implement language generators or language recognizers. Supported mechanisms include predicates, regular expressions, fini...

— This paper deals with a class of totally disconnected groups acting on buildings, among which are certain Kac-Moody groups. The apartments of our buildings are hyperbolic planes tiled by right-angled polygons. We discuss linearity properties for the groups, as well as an analogy with semisimple groups over local fields of positive characteristic. Looking for counter-examples to this analogy l...

Diagnostic information allows an agent to predict the state of nature about the success of an investment project better than the prior. We analyze the optimal pricing scheme for selling diagnostic information to buyers with different, privately known, ex ante success probability. Investment costs and returns of successful projects are assumed to be the same for all buyers. The value of diagnost...