WorldCat Identities

McKenzie, Ralph

Overview
Works: 50 works in 175 publications in 5 languages and 2,017 library holdings
Genres: Dictionaries  Reference works  Popular works  Pictorial works  History  Glossaries, vocabularies, etc 
Roles: Author, Editor, Composer
Classifications: PA445.E5, 483.2
Publication Timeline
.
Most widely held works by Ralph McKenzie
The structure of decidable locally finite varieties by Ralph McKenzie( Book )

14 editions published in 1989 in English and held by 329 WorldCat member libraries worldwide

A mathematically precise definition of the intuitive notion of "algorithm" was implicit in Kurt Godel's [1931] paper on formally undecidable propo sitions of arithmetic. During the 1930s, in the work of such mathemati cians as Alonzo Church, Stephen Kleene, Barkley Rosser and Alfred Tarski, Godel's idea evolved into the concept of a recursive function. Church pro posed the thesis, generally accepted today, that an effective algorithm is the same thing as a procedure whose output is a recursive function of the input (suitably coded as an integer). With these concepts, it became possible to prove that many familiar theories are undecidable (or non-recursive)-i. e., that there does not exist an effective algorithm (recursive function) which would allow one to determine which sentences belong to the theory. It was clear from the beginning that any theory with a rich enough mathematical content must be undecidable. On the other hand, some theories with a substantial content are decidable. Examples of such decidabLe theories are the theory of Boolean algebras (Tarski [1949]), the theory of Abelian groups (Szmiele~ [1955]), and the theories of elementary arithmetic and geometry (Tarski [1951]' but Tarski discovered these results around 1930). The de termination of precise lines of division between the classes of decidable and undecidable theories became an important goal of research in this area. algebra we mean simply any structure (A, h(i E I)} consisting of By an a nonvoid set A and a system of finitary operations Ii over A
The structure of finite algebras by David Charles Hobby( Book )

18 editions published between 1988 and 2012 in English and held by 324 WorldCat member libraries worldwide

Commutator theory for congruence modular varieties by Ralph S Freese( Book )

12 editions published in 1987 in English and held by 308 WorldCat member libraries worldwide

Algebras, lattices, varieties by Ralph McKenzie( Book )

24 editions published between 1987 and 2018 in English and Undetermined and held by 290 WorldCat member libraries worldwide

This book presents the foundations of a general theory of algebras. Often called ""universal algebra"", this theory provides a common framework for all algebraic systems, including groups, rings, modules, fields, and lattices. Each chapter is replete with useful illustrations and exercises that solidify the reader's understanding. The book begins by developing the main concepts and working tools of algebras and lattices, and continues with examples of classical algebraic systems like groups, semigroups, monoids, and categories. The essence of the book lies in Chapter 4, which provides not only
Decidability and Boolean representations by Stanley Burris( Book )

14 editions published in 1981 in English and held by 271 WorldCat member libraries worldwide

The Cape itself by Robert Finch( Book )

2 editions published between 1983 and 1991 in English and held by 162 WorldCat member libraries worldwide

Text and photographs paint a portrait of Cape Cod, exploring its communities, natural history, and seasonal changes
Collected papers by Alfred Tarski( Book )

12 editions published in 1986 in 3 languages and held by 154 WorldCat member libraries worldwide

Collected papers by Alfred Tarski( Book )

9 editions published in 1986 in 3 languages and held by 26 WorldCat member libraries worldwide

Collected papers by Alfred Tarski( Book )

8 editions published in 1986 in 3 languages and held by 24 WorldCat member libraries worldwide

Collected papers by Alfred Tarski( Book )

6 editions published in 1986 in English and Multiple languages and held by 18 WorldCat member libraries worldwide

Collected papers by Alfred Tarski( Book )

5 editions published in 1986 in English and Multiple languages and held by 18 WorldCat member libraries worldwide

Treat your own back by Robin McKenzie( Book )

2 editions published between 1980 and 1985 in English and held by 11 WorldCat member libraries worldwide

During the 1960s, McKenzie developed his own examination and treatments methods specializing in the treatment of spinal disorders. He is now recognized internationally as an authority on the diagnosis and treatment of low back pain
Admiral bayfield - pioneer nautical surveyor by Canada( Book )

1 edition published in 1976 in English and held by 10 WorldCat member libraries worldwide

A history of the Australasian Pioneers' Club, Sydney, 1910-1988 by P. D Lark( Book )

2 editions published between 1988 and 1989 in English and held by 9 WorldCat member libraries worldwide

Structure of decidable locally finite varieties by Ralph McKenzie( )

2 editions published between 1989 and 2011 in English and held by 8 WorldCat member libraries worldwide

Comment se fera l'indépendance : entrevues de René Lévesque, Jacques Parizeau, Jacques-Yvan Morin, Camille Laurin. by Robert Mckenzie( Book )

2 editions published in 1972 in French and held by 8 WorldCat member libraries worldwide

Collected papers( Book )

2 editions published in 1986 in Polish and English and held by 4 WorldCat member libraries worldwide

Collected papers( Book )

2 editions published in 1986 in Polish and English and held by 4 WorldCat member libraries worldwide

The representation of relation algebras by Ralph McKenzie( )

1 edition published in 1966 in English and held by 4 WorldCat member libraries worldwide

A Greek-English lexicon by Henry George Liddell( Book )

2 editions published between 1940 and 1961 in English and held by 3 WorldCat member libraries worldwide

This edition combines the text of the ninth edition of Liddell and Scott's Greek-English Lexicon with an extensively revised and expanded Supplement. The Supplement is the culmination of thirteen years of research and constitutes a full revision of the previous 1968 Supplement. Containing over 20,000 entries, the Supplement includes coverage of words and forms from papyri and inscriptions discovered up to the present day. Entries in the Supplement also incorporate Linear B forms for the first time, extending the Lexicon's time span back to 1200 BC
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.65 (from 0.27 for The Cape i ... to 0.98 for Collected ...)

The structure of decidable locally finite varieties
Covers
The Cape itself
Alternative Names
Mac Kenzie Ralph N.

MacKenzie Ralph N.

MacKenzie, Ralph N. 1941-

Makkenzi, R.

Makkenzi, Ral'f.

Mc Kenzie Ralph N.

McKenzie, N. Ralph.

McKenzie, R.

McKenzie, Ralph

McKenzie, Ralph 1941-

McKenzie, Ralph N.

McKenzie, Ralph N. 1941-

Ralph MacKenzie

Ralph MacKenzie matemático estadounidense

Ralph McKenzie Amerikaans wiskundige

Ralph McKenzie amerikansk matematikar

Ralph McKenzie amerikansk matematiker

Ralph McKenzie mathématicien américain

Ralph McKenzie US-amerikanischer Mathematiker

Languages