|
J. Math. Log.
The ''Journal of Mathematical Logic'' was established in 2001 and is published by World Scientific. It covers the field of mathematical logic and its applications. Abstracting and indexing The journal is abstracted and indexed in: * Current Mathematical Publications * Mathematical Reviews * MathSciNet * Zentralblatt MATH * Science Citation Index Expanded * Current Contents/Physical, Chemical and Earth Sciences * Journal Citation Reports ''Journal Citation Reports'' (''JCR'') is an annual publicationby Clarivate Analytics (previously the intellectual property of Thomson Reuters). It has been integrated with the Web of Science and is accessed from the Web of Science-Core Collect .../Science Edition External links * English-language journals Publications established in 2001 Mathematics journals World Scientific academic journals Logic journals {{math-journal-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Theodore Slaman
Theodore Allen Slaman (born April 17, 1954) is a professor of mathematics at the University of California, Berkeley who works in recursion theory. Slaman and W. Hugh Woodin formulated the Bi-interpretability Conjecture for the Turing degrees, which conjectures that the partial order of the Turing degrees is logically equivalent to second-order arithmetic In mathematical logic, second-order arithmetic is a collection of axiomatic systems that formalize the natural numbers and their subsets. It is an alternative to axiomatic set theory as a foundation for much, but not all, of mathematics. A precur .... They showed that the Bi-interpretability Conjecture is equivalent to there being no nontrivial automorphism of the Turing degrees. They also exhibited limits on the possible automorphisms of the Turing degrees by showing that any automorphism will be arithmetically definable. References * External linkshome page * Living people American logicians 20th-century American ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
World Scientific
World Scientific Publishing is an academic publisher of scientific, technical, and medical books and journals headquartered in Singapore. The company was founded in 1981. It publishes about 600 books annually, along with 135 journals in various fields. In 1995, World Scientific co-founded the London-based Imperial College Press together with the Imperial College of Science, Technology and Medicine. Company structure The company head office is in Singapore. The Chairman and Editor-in-Chief is Dr Phua Kok Khoo, while the Managing Director is Doreen Liu. The company was co-founded by them in 1981. Imperial College Press In 1995 the company co-founded Imperial College Press, specializing in engineering, medicine and information technology, with Imperial College London. In 2006, World Scientific assumed full ownership of Imperial College Press, under a license granted by the university. Finally, in August 2016, ICP was fully incorporated into World Scientific under the new imprint ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Singapore
Singapore (), officially the Republic of Singapore, is a sovereign island country and city-state in maritime Southeast Asia. It lies about one degree of latitude () north of the equator, off the southern tip of the Malay Peninsula, bordering the Strait of Malacca to the west, the Singapore Strait to the south, the South China Sea to the east, and the Straits of Johor to the north. The country's territory is composed of one main island, 63 satellite islands and islets, and one outlying islet; the combined area of these has increased by 25% since the country's independence as a result of extensive land reclamation projects. It has the third highest population density in the world. With a multicultural population and recognising the need to respect cultural identities of the major ethnic groups within the nation, Singapore has four official languages: English, Malay, Mandarin, and Tamil. English is the lingua franca and numerous public services are available only in Eng ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematical Logic
Mathematical logic is the study of logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of formal systems of logic such as their expressive or deductive power. However, it can also include uses of logic to characterize correct mathematical reasoning or to establish foundations of mathematics. Since its inception, mathematical logic has both contributed to and been motivated by the study of foundations of mathematics. This study began in the late 19th century with the development of axiomatic frameworks for geometry, arithmetic, and Mathematical analysis, analysis. In the early 20th century it was shaped by David Hilbert's Hilbert's program, program to prove the consistency of foundational theories. Results of Kurt Gödel, Gerhard Gentzen, and others provided partial resolution to the program, and clarified the issues involved in pr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematical Reviews
''Mathematical Reviews'' is a journal published by the American Mathematical Society (AMS) that contains brief synopses, and in some cases evaluations, of many articles in mathematics, statistics, and theoretical computer science. The AMS also publishes an associated online bibliographic database called MathSciNet which contains an electronic version of ''Mathematical Reviews'' and additionally contains citation information for over 3.5 million items as of 2018. Reviews Mathematical Reviews was founded by Otto E. Neugebauer in 1940 as an alternative to the German journal ''Zentralblatt für Mathematik'', which Neugebauer had also founded a decade earlier, but which under the Nazis had begun censoring reviews by and of Jewish mathematicians. The goal of the new journal was to give reviews of every mathematical research publication. As of November 2007, the ''Mathematical Reviews'' database contained information on over 2.2 million articles. The authors of reviews are volunteers, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Zentralblatt MATH
zbMATH Open, formerly Zentralblatt MATH, is a major reviewing service providing reviews and abstracts for articles in pure and applied mathematics, produced by the Berlin office of FIZ Karlsruhe – Leibniz Institute for Information Infrastructure GmbH. Editors are the European Mathematical Society, FIZ Karlsruhe, and the Heidelberg Academy of Sciences. zbMATH is distributed by Springer Science+Business Media. It uses the Mathematics Subject Classification codes for organising reviews by topic. History Mathematicians Richard Courant, Otto Neugebauer, and Harald Bohr, together with the publisher Ferdinand Springer, took the initiative for a new mathematical reviewing journal. Harald Bohr worked in Copenhagen. Courant and Neugebauer were professors at the University of Göttingen. At that time, Göttingen was considered one of the central places for mathematical research, having appointed mathematicians like David Hilbert, Hermann Minkowski, Carl Runge, and Felix Klein, the great ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Science Citation Index
The Science Citation Index Expanded – previously entitled Science Citation Index – is a citation index originally produced by the Institute for Scientific Information (ISI) and created by Eugene Garfield. It was officially launched in 1964 and is now owned by Clarivate (previously the Intellectual Property and Science business of Thomson Reuters). The indexing database covers more than 9,200 notable and significant journals, across 178 disciplines, from 1900 to the present. These are alternatively described as the world's leading journals of science and technology, because of a rigorous selection process. Accessibility The index is available online within Web of Science, as part of its Core Collection (there are also CD and printed editions, covering a smaller number of journals). The database allows researchers to search through over 53 million records from thousands of academic journals that were published by publishers from around the world. Chemistry Citation Index Cla ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Current Contents
''Current Contents'' is a rapid alerting service database from Clarivate Analytics, formerly the Institute for Scientific Information and Thomson Reuters. It is published online and in several different printed subject sections. History ''Current Contents'' was first published in paper format, in a single edition devoted only to biology and medicine. Other subject editions were added later. Initially, it consisted simply of a reproduction of the title pages from several hundred major peer-reviewed scientific journals, and was published weekly, with the issues containing title pages from journal issues only a few weeks previously, a shorter time lag than any service then available. There was an author index and a crude keyword subject index only. Author addresses were provided so readers could send reprint requests for copies of the actual articles. Status Still published in print, it is available as one of the databases included in Clarivate Analytics' ISI Web of Knowledge ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Journal Citation Reports
''Journal Citation Reports'' (''JCR'') is an annual publicationby Clarivate Analytics (previously the intellectual property of Thomson Reuters). It has been integrated with the Web of Science and is accessed from the Web of Science-Core Collections. It provides information about academic journals in the natural sciences and social sciences, including impact factors. The ''JCR'' was originally published as a part of ''Science Citation Index''. Currently, the ''JCR'', as a distinct service, is based on citations compiled from the '' Science Citation Index Expanded'' and the '' Social Sciences Citation Index''.- - - Basic journal information The information given for each journal includes: * the basic bibliographic information of publisher, title abbreviation, language, ISSN * the subject categories (there are 171 such categories in the sciences and 54 in the social sciences) Citation information * Basic citation data: ** the number of articles published during that year and ** ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
English-language Journals
English is a West Germanic languages, West Germanic language of the Indo-European language family, with its earliest forms spoken by the inhabitants of early medieval England. It is named after the Angles, one of the ancient Germanic peoples that migrated to the island of Great Britain. Existing on a dialect continuum with Scots language, Scots, and then closest related to the Low German, Low Saxon and Frisian languages, English is Genetic relationship (linguistics), genealogically West Germanic language, West Germanic. However, its vocabulary is also distinctively influenced by Langues d'oïl, dialects of France (about List of English words of French origin, 29% of Modern English words) and Latin (also about 29%), plus some grammar and a small amount of core vocabulary influenced by Old Norse (a North Germanic language). Speakers of English are called Anglophones. The earliest forms of English, collectively known as Old English, evolved from a group of West Germanic (Ingvae ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Publications Established In 2001
To publish is to make content available to the general public.Berne Convention, article 3(3) URL last accessed 2010-05-10.Universal Copyright Convention, Geneva text (1952), article VI . URL last accessed 2010-05-10. While specific use of the term may vary among countries, it is usually applied to text, images, or other audio-visual content, including paper ( |
