Bjarni Jónsson
Encyclopedia
Bjarni Jónsson is an Iceland
ic mathematician
and logician working in universal algebra
and lattice theory. He is emeritus
Distinguished Professor of Mathematics
at Vanderbilt University
and the honorary editor in chief of Algebra Universalis
. He received his PhD
in 1946 at UC Berkeley under supervision of Alfred Tarski
.
Several mathematical objects are named for him, among them Jónsson algebras, ω-Jónsson function
s, Jónsson cardinal
s, Jónsson terms, and Jónsson–Tarski duality
.
Jónsson is the father of author and communications trainer Meryl Runion, whose Speak Strong Speak Strong Web site training methods have been used by the US Army, FBI, IBM, and Fortune 500 companies to train staff how to communicate effectively.
Iceland
Iceland , described as the Republic of Iceland, is a Nordic and European island country in the North Atlantic Ocean, on the Mid-Atlantic Ridge. Iceland also refers to the main island of the country, which contains almost all the population and almost all the land area. The country has a population...
ic mathematician
Mathematician
A mathematician is a person whose primary area of study is the field of mathematics. Mathematicians are concerned with quantity, structure, space, and change....
and logician working in universal algebra
Universal algebra
Universal algebra is the field of mathematics that studies algebraic structures themselves, not examples of algebraic structures....
and lattice theory. He is emeritus
Emeritus
Emeritus is a post-positive adjective that is used to designate a retired professor, bishop, or other professional or as a title. The female equivalent emerita is also sometimes used.-History:...
Distinguished Professor of Mathematics
Mathematics
Mathematics is the study of quantity, space, structure, and change. Mathematicians seek out patterns and formulate new conjectures. Mathematicians resolve the truth or falsity of conjectures by mathematical proofs, which are arguments sufficient to convince other mathematicians of their validity...
at Vanderbilt University
Vanderbilt University
Vanderbilt University is a private research university located in Nashville, Tennessee, United States. Founded in 1873, the university is named for shipping and rail magnate "Commodore" Cornelius Vanderbilt, who provided Vanderbilt its initial $1 million endowment despite having never been to the...
and the honorary editor in chief of Algebra Universalis
Algebra Universalis
Algebra Universalis ) is an international scientific journal focused on universal algebra and lattice theory. The journal, founded in 1971, is currently published by Springer-Verlag. Honorary editors in chief of the journal include Alfred Tarski and Bjarni Jónsson.- External links :*...
. He received his PhD
PHD
PHD may refer to:*Ph.D., a doctorate of philosophy*Ph.D. , a 1980s British group*PHD finger, a protein sequence*PHD Mountain Software, an outdoor clothing and equipment company*PhD Docbook renderer, an XML renderer...
in 1946 at UC Berkeley under supervision of Alfred Tarski
Alfred Tarski
Alfred Tarski was a Polish logician and mathematician. Educated at the University of Warsaw and a member of the Lwow-Warsaw School of Logic and the Warsaw School of Mathematics and philosophy, he emigrated to the USA in 1939, and taught and carried out research in mathematics at the University of...
.
Several mathematical objects are named for him, among them Jónsson algebras, ω-Jónsson function
Jónsson function
In set theory, a mathematical discipline, an ω-Jónsson function, named for Bjarni Jónsson, for a set of ordinals x is a function from [x]^\omega to x such that for any subset y of x with the same cardinality as x, f restricted to [y]^\omega maps onto x...
s, Jónsson cardinal
Jónsson cardinal
In set theory, a Jónsson cardinal is a certain kind of large cardinal number.An uncountable cardinal number κ is said to be Jónsson if for every function f: [κ]...
s, Jónsson terms, and Jónsson–Tarski duality
General frame
In logic, general frames are Kripke frames with an additional structure, which are used to model modal and intermediate logics...
.
Jónsson is the father of author and communications trainer Meryl Runion, whose Speak Strong Speak Strong Web site training methods have been used by the US Army, FBI, IBM, and Fortune 500 companies to train staff how to communicate effectively.