41. J.A. Makowsky, Home Page The Technion mathematical logic and its interaction with computer science, database theory, finite model theory, and descriptive complexity. http://www.cs.technion.ac.il/~janos/index.html

Picture Johann (Janos) A. Makowsky Professor Faculty of Computer Science (May 2000 Evaluation committee) Technion - Israel Institute of Technology Haifa 32000, Israel Tel: +972-4-8294358 (Office) e-mail: janos@cs.technion.ac.il Home: 3 Ein Gedi, Haifa 34529 Office: Technion, Taub Building 628 Reception Hours: Sunday 15:30-17:30 or by appointment via e-mail. Research Interests Mathematical Logic and its interaction with Computer Science See also Logic at the Technion and Logic in Israel and Logic Journals Database Theory See also Databases in Israel Finite Model Theory and Descriptive Complexity See also Finite Model Theory Homepage Recent papers and preprints (in Logic and its applications in CS, and Complexity) including papers of my collaborators. Participation at International Conferences, Workshops and Summerschools Recently published German Prose Hungarian family history Manifesto on emancipatory aspects of doing mathematics. My mathematical genealogy My Co-Authors My work with G. Kogan Further Information Personal Background Courses International Administrative and Editorial Responsibilities List of Publications: Chapters in Research Monographs ... Praise for the New Left, HaAretz 13.9.99.

42. Theory And Semantics Group Centred around mathematical models of a variety of languages and logics, using techniques such as structural operational semantics, linear logic, domain theory and category theory. Strong links with logic and Set Theory in the Pure Mathematics Department. http://www.cl.cam.ac.uk/Research/TSG/

Theory and Semantics Group University of Cambridge Computer Laboratory The work of the Theory and Semantics Group is centred around mathematical models of a variety of languages and logics. These models are intended to be used as a basis for specification and verification, and as a tool for clarifying programming concepts. We use techniques such as structural operational semantics, linear logic, domain theory and category theory. Work is in progress on the underlying mathematical structures of these, and on their application to the study of higher order typed programming languages such as Standard ML, to object-based languages, to foundational languages for concurrent, distributed and mobile computation, to hardware description languages, and to security problems. Work is also being undertaken on the analysis of programming languages in the setting of abstract interpretation and on practical optimising compilation for imperative and functional languages. Related research is undertaken within the Automated Reasoning Group . We also have links with the Logic Seminar at DPMMS (Dept of Pure Mathematics and Mathematical Statistics).

43. PCML Home Page A Problem Course in mathematical logic. A Problem Course in mathematical logicis available via http or anonymous ftp in LaTeX, PostScript, and PDF formats. http://www.trentu.ca/academic/math/sb/pcml/welcome.html

A Problem Course in Mathematical Logic ... is a freeware mathematics text by Stefan Bilaniuk Current Releases Volume I, Propositional and First-Order Logic : Version 1.5 Volume II, Computability and Incompleteness : Version 1.3 Description Availability Conditions History ... Contacting the author Description A Problem Course in Mathematical Logic is intended to serve as the text for an introduction to mathematical logic for undergraduates with some mathematical sophistication. It supplies definitions, statements of results, and problems, along with some explanations, examples, and hints. The idea is for the students, individually or in groups, to learn the material by solving the problems and proving the results for themselves. The book should do as the text for a course taught using the modified Moore-method. The material and its presentation are pretty stripped-down and it will probably be desirable for the instructor to supply further hints from time to time or to let the students consult other sources. Various concepts and and topics that are often covered in introductory mathematical logic or computability courses are given very short shrift or omitted entirely, among them normal forms, definability, and model theory. Volume I

44. Infinitary Logic Infinitary logic is a branch of formal logic where finitary formulae are replaced by potentially infinitary mathematical entities. By John L. Bell. http://plato.stanford.edu/entries/logic-infinitary/

version history HOW TO CITE THIS ENTRY Stanford Encyclopedia of Philosophy A B C D ... Z content revised SEP Infinitary Logic sets makes it no longer necessary to regard formulas as inscriptions, and suggests the possibility of fashioning "languages" some of whose formulassuch as that in the above quotationwould be naturally identified as infinite sets . A "language" of this kind is called an infinitary language : in this article we discuss those infinitary languages which can be obtained in a straightforward manner from first-order languages by allowing conjunctions, disjunctions and, possibly, quantifier sequences, to be of infinite length. In the course of the discussion we shall see that, while the expressive power of such languages far exceeds that of their finitary (first-order) counterparts, very few of them possess the "attractive" features (e.g., compactness and completeness) of the latter. Accordingly, the infinitary languages that do in fact possess these features merit special attention. compactness problem second-order nature and are

45. The Homepage Of The Helsinki Logic Group logic Group.Category Science Math logic and Foundations Institutions Europe...... T. Hyttinen, Stability and general logics, mathematical logic Quarterly, 45219240,1999. Tapani Hyttinen, Generalizing Morley's theorem, Math. http://www.logic.math.helsinki.fi/

The Helsinki Logic Group University of Helsinki Logiikan opetus Logic Colloquium 2003 in Helsinki Members ... Contact Info Members Members - Research Publications Links Contact Info ... Marko Djordjevic , Ph.D., finite model theory Aapo Halko , Ph.D., descriptive set theory Taneli Huuskonen , docent, model theory, set theory, logic and analysis Tapani Hyttinen , docent, stability theory, infinitary logic Juliette Kennedy , Ph.D., models of arithmetic, philosophy of mathematics Kerkko Luosto , docent, finite and infinite model theory, abstract model theory Juha Oikkonen , university lecturer, infinitary logic, nonstandard analysis , Ph.D., set theory , professor, finite model theory, abstract model theory, set theory Ph.D. students: Marta Garcia-Matos , M.Sc. Alex Hellsten , Ph.L., set theory Juha Kontinen , M.Sc., finite model theory Matti Pauna , Ph.L. Juha Ruokolainen , Ph.L. Maria Saria , M.Sc. Former members of the group can be found in the list of Ph.Ds from the Logic Group. Main Topics of Research Members - Research - Publications Links Contact Info MODEL THEORY Research topics in model theory include homogeneous model theory i.e. model (stability) theory for classes of structures that consist of all elementary submodels of a large homogeneous structure.

46. Mathematical Logic At Notre Dame mathematical logic. http://www.nd.edu/~steve/logic/

Mathematical Logic at Notre Dame Faculty in the Mathematics Department Steven Buechler Peter Cholak Julia F. Knight Sergei Starchenko in the Department of Philosophy Timothy Bays Patricia Blanchette Michael Detlefsen Logic Graduate Students (in the Department of Mathematics) (with field and advisor) Jacob Heidenreich model theory Buechler Rebecca Weber computability theory Cholak Wesley Calvert computability theory Knight Jacob Heidenreich is enrolled in a (unofficial) joint Mathematics and Philosophy Ph.D. program. This program is still in its infancy. Andrew Arana was the first Ph.D. graduate of this program. We are hoping this program will become official shortly. For more details contact Julia Knight and/or Michael Detlefsen. For the Philosophy graduate students see the Department of Philosophy home page Some recent mathematical logic Ph.D's (With latest known job information) Ambar Chowdhury, 1992, Buechler, working in business Leefong Low, 1992, Pillay, National Teaching University (Singapore) Zeljko Sokolovic, 1992, Pillay

47. Journal Catalogue - Cambridge University Press Focuses on the application of areas such as logic, algebra, geometry and category theory to theoretical computer science. http://uk.cambridge.org/journals/msc/

Home Journals Mathematical Structures in Computer Science Edited by G. Longo CNRS and Ecole Normale Supérieure, Paris, France Editorial Board Instructions for Contributors Pricing Full Text Online (purchase or subscribe) Links Advertising Rates To view a sample of this journal click here Mathematical Structures in Computer Science is a journal of theoretical computer science which focuses on the application of ideas from the structural side of mathematics and mathematical logic to computer science. The journal aims to bridge the gap between theoretical contributions and software design, publishing original papers of a high standard and broad surveys with original perspectives in all areas of computing, provided that ideas or results from logic, algebra, geometry, category theory or other areas of logic and mathematics form a basis for the work. Current Issue Volume 13-13, 2003 February, April, June, August, October and December Print ISSN: 0960-1295 Online ISSN: 1469-8072 Cambridge University Press 2001. Security Order by phone (+44 (0)1223 326070) or fax (+44 (0)1223 326111).

48. Www.math.ufl.edu/~logic/ Similar pages REPORTS ON mathematical logic mathematical. logic. Reports on mathematical logic is a journal aimed at publishingquality research papers on mathematical logic and foundations of mathematics. http://www.math.ufl.edu/~logic/

49. Content Special sessions mathematical logic; Dynamical systems. University of Manchester; 69 April 1998. http://www.ma.man.ac.uk/bmc/bmc.html

50TH BRITISH MATHEMATICAL COLLOQUIUM UNIVERSITY OF MANCHESTER Monday 6th April Thursday 9th April 1998 PROGRAMME Programme Summary Application Form General Information Monday 6 April 5.00 pm Principal speaker: Ian G. Macdonald (QMW) Tuesday 7 April Morning speakers: M. P. F. du Sautoy, I. B. Fesenko, J. R. Hunton, J. F. McKee, A. A. Premet. Special Session on Mathematical Logic. (Speakers to be announced.) 5.00 pm Principal speaker: W. Hugh Woodin (Berkeley) Wednesday 8 April Morning speakers: F. P. Boca, C. J. Bushnell, V. V. Goryunov, J. Saxl, M. van den Berg. Special Session on Dynamical Systems: S. J. van Strien, J.-C. Yoccoz, Lai Sang Young. 5.00 pm Principal speaker: Karen K. Uhlenbeck (Texas/IAS Princeton) Thursday 9 April Morning speakers: A.J.Baker, J.P.Keating, T.J.Lyons, J.C.Rickard. 11.30 am Principal speaker: Alain Connes (College de France) The programme will begin at 5.00 pm on Monday 6 April with the first of the principal lectures, and will end at 12.30 pm on Thursday 9 April. The morning sessions will consist of pairs of parallel lectures. On Tuesday, one of the 11.30 am lectures and an afternoon session will constitute the Special Session on Mathematical Logic, with similar arrangements on Wednesday for the Special Session on Dynamical Systems. Splinter groups will also be held as usual on the Tuesday and Wednesday afternoons, and members are invited to contribute talks to these. A reception will be held at Hulme Hall on Monday evening and a forum on `Electronic Journals' on Tuesday evening. A publishers' display will take place in the Mathematics Building throughout the Colloquium.

50. Reports On Mathematical Logic Reports on mathematical logic. Author Index. ABAD, MANUEL 1. (and L.Monteiro) Number of Epimorphisms Between Finite Boolean Algebras. http://www3.uj.edu.pl/Phils/rml/auth-ind.htm

Reports on Mathematical Logic Author Index ABAD, MANUEL 1. (and L. Monteiro) Number of Epimorphisms Between Finite Boolean Algebras. 10, 1978, 3-7 2. (and A. Figallo) Characterization of Three-valued Lukasiewicz Algebras. 18, 1984, 47-59 3. (and A. FERNANDEZ and N. MESKE) Free Boolean Correlations Lattices. 30, 1996, 3-11 (Abstract) ACHTELIK, GRAZYNA 1. (with L. Dubikajtis, E. Dudek and J. Konior) On Independence of Axioms of Jaskowski's Discussive Propositional Calculus. 11, 1981, 3-11 AMER, MOHAMED A. 1. Probability Logic and Measures on Epimorphic Images of Coproducts of Measurable Spaces. 28, 1994, 29-52 (Abstract) BARCA, ANNE 1. (and M. McRobbie) Constructive Interpolation Theorems for S$2^0$ and S2. 23, 1989, 3-15 BATENS, DIDERIK 1. (and K. De CLERCQ and N. KURTONINA) Embedding and Interpolation for Some Paralogics. The Propositional Case. 33, 1999, 29-44 (Abstract) BAYU SURARSO 1. (and H. ONO) Cut Elimination in Noncommutative Substructural Logics 30, 1996, 13-29 (Abstract) BERNERT, JAN

51. Brain Teasers And Math Puzzles : Puzzle & Brain Teaser Collection Interactive puzzles to challenge logic and mathematical skills. Immediate feedback with detailed solutions is provided. http://www.syvum.com/teasers/

Syvum Home K-12 SAT GRE ... More... '); document.write(' '); document.write(' Hide ads Advertise here Hide ads Advertise here ... Syvum Family Fun Zone : Brain Teasers Brain Teasers and Math Puzzles Try our Word Puzzles Hot Try our IQ Test This page contains the ever-growing list of brain teasers and math puzzles on Syvum. All the brain teasers and math puzzles are interactive with immediate scoring. The brain teasers and math puzzles as well as their explanations use dynamic content to provide continuous learning and entertainment. Level of Difficulty: : Easy : Medium : Challenging YOU CAN CONTRIBUTE TOO ! Brain Teaser : Checkered Square Contributed by Nathan Burns Brain Teaser : The Pole in the Lake Contributed by Alfredo Garza Math Puzzle : Sum of Squares NEW Contributed by Raymond Lu Brain Teaser : Ann and the Real Estate Agent Contributed by Roque A. Estevez Math Puzzle : The Rectangle at the Corner NEW Contributed by Raymond Lu Brain Teaser : Bags of Dollars Contributed by Doug Briggs Math Puzzle : The String on the Cylinder NEW Contributed by Raymond Lu Brain Teaser : Up an Escalator NEW Brain Teaser : Give and Take NEW Brain Teaser : Rectangles on Checkered Board NEW Brain Teaser : Critical Chain NEW Brain Teaser : The Hare and the Tortoise Brain Teaser : Old Man Wrinkle Brain Teaser : Your Piggy Bank Brain Teaser : Black or Brown Gloves ... Brain Teaser : Bicycles or Tricycles ?

52. Laboratory Of Mathematical Logic Of Steklov Institute Of Mathematics At St.Peter Laboratory of mathematical logic of the Steklov Institute of Mathematics.Category Science Math logic and Foundations Institutions Europe......Laboratory of mathematical logic. Staff. Our activities. Seminars. Laboratory ofmathematical logic belongs to Steklov Institute of Mathematics at St.Petersburg. http://logic.pdmi.ras.ru/

Laboratory of Mathematical Logic Staff Our activities Seminars Web pages devoted to Hilbert's Tenth Problem Relevant links Second St.Petersburg Days of LOGIC and COMPUTABILITY will be held in St.Petersburg (Russia) from August 24 to August 26 Laboratory of Mathematical Logic belongs to Steklov Institute of Mathematics at St.Petersburg

53. Symbolic Logic Game Of Logic : Mathematical Recreations Of Lewis Carroll : 2 Boo Symbolic logic Game of logic mathematical Recreationsof Lewis Carroll 2 Books Bound As 1. http://hallphilosophy.com/philosophy/358.shtml

Symbolic Logic Game of Logic : Mathematical Recreations of Lewis Carroll : 2 Books Bound As 1 Home Nonfiction Philosophy by Lewis Carroll See More Details Paperback (June 1958) Dover Pubns; ISBN: 0486204928 ; Dimensions (in inches): 0.67 x 8.01 x 5.40 Reviews Editorial Reviews Amazon.com Yes, this is the Lewis Carroll who wrote Alice in Wonderland , and these two works show the same quirky humor. Here you see Carroll the mathematician at his playful best. Don't let the title of the first work mislead youthis isn't about modern symbolic logic but about ways of expressing classical logic with symbols. It's loaded with amusing problems to delight any mathematical puzzler. In the second work he turns logic into a game played with diagrams and colored counters, giving you hundreds of challenging and witty syllogisms to solve. Great mind-stretching fun. Synopsis The two works reprinted in this volume are a unique fusion of logical thought and inimitable whimsy. Written by the 19th-century mathematician who also gave us "Alive in Wonderland", they are among the most entertaining logical works ever written, and contain some of the most thought-provoking puzzles ever devised.

54. NLULP-02: Natural Language Understanding And Logic Programming , program, accepted papers and committee.......To be held in Copenhagen, Denmark on 28 July 2002. Special emphasis on logical, mathematical and computational relationships between linguistic formalisms and logic programming. http://cs.haifa.ac.il/~shuly/nlulp02/

NLULP-02 The 7th International Workshop on Natural Language Understanding and Logic Programming An affiliated workshop with ICLP , as part of FLoC'02 Copenhagen, Denmark, 28 July, 2002 Description The International Workshop on Natural Language Understanding and Logic Programming was first organized in Rennes, France, in 1984 . Since then similar workshops took place in Vancouver, Canada (1987) Dalgharten, Sweden (1991) Nara, Japan (1993) Lisbon, Portugal (1995) and most recently, the 6th NLULP took place in Las Cruces, New Mexico in December 1999 , as part of the International Conference on Logic Programming (ICLP'99). This year, NLULP is affiliated again with ICLP, The International Conference on Logic Programming , which is held as part of FLoC'02, The 2002 Federated Logic Conference , the major computational logic event of the year. The Workshop aims to cover all aspects of the intersection of Natural Language Understanding with Logic Programming and Constraint (Logic) Programming, both theoretical and practical, in all levels of linguistic investigation. Special emphasis was given to works addressing the logical, mathematical and computational relationships between linguistic formalisms and logic programming. Program Session 1: Opening session Shuly Wintner Welcome and Opening Keynote Speaker: Johan Bos Generating Speech Recognition Grammars with Compositional Semantics from Unification Grammars Coffee Break Session 2: Formalisms Mike Daniels and Detmar Meurers Improving the Efficiency of Parsing with Discontinuous Constituents

55. Martin Hofmann's Home Page University of Edinburgh Type theory, principles of programming languages, semantics, category theory, mathematical logic, formal methods. http://www.dcs.ed.ac.uk/~mxh/

Martin Hofmann I have moved to Munich. Please visit my new homepage

56. Inconsistent Mathematics Inconsistent mathematics is the study of the mathematical theories that result when classical mathematical axioms are asserted within the framework of a (nonclassical) logic which can tolerate the presence of a contradiction without turning every sentence into a theorem. By Chris Mortensen, from the Stanford Encyclopedia. http://plato.stanford.edu/entries/mathematics-inconsistent/

version history HOW TO CITE THIS ENTRY Stanford Encyclopedia of Philosophy A B C D ... Z content revised AUG Inconsistent Mathematics Inconsistent mathematics is the study of the mathematical theories that result when classical mathematical axioms are asserted within the framework of a (non-classical) logic which can tolerate the presence of a contradiction without turning every sentence into a theorem. Inconsistent Mathematics Bibliography Other Internet Resources Related Entries Inconsistent Mathematics Inconsistent Mathematics began historically with foundational considerations. Set-theoretic paradoxes such as Russell's led to attempts to produce a consistent set theory as a foundation for mathematics. But, as is well known, set theories such as ZF, NBG and the like were in various ways ad hoc. Hence, a number of people including da Costa (1974), Brady (1971), Priest, Routley, and Norman (1989), considered it preferable to retain the full power of the natural abstraction principle (every predicate determines a set), and tolerate a degree of inconsistency in set theory. This requires, of course, that one dispense with the logical principle ex contradictione quodlibet (ECQ) (from a contradiction every proposition may be deduced), as well as any principle which leads to it, such as disjunctive syllogism (DS) (from

57. Home Page Of Gregory McColm Leads to material on mathematical research games and logic and mathematics education. http://www.math.usf.edu/~mccolm/index.html

Welcome to the Lair of Gregory McColm Dept. of Mathematics University of South Florida 4202 E. Fowler Ave., PHY 114 Tampa, FL 33620 mccolm@math.usf.edu This semester I am teaching Precalculus Trigonometry (MAC 1114-002). This semester I am teaching Calculus I (MAC 2311-002). Math Stuff : on my mathematics research Learning : on studying mathematics Workplace: not available yet This is Version 1 of my web-site. In Version 2, supporting materials on working habits (the Workplace) will be available. At present, this site should serve for those people who are interested in my classes (or in Mathematics Education in general), or interested in my mathematical research. I have written some pages, for math students (and teachers) in general, on homework, texts, grading, etc.: to go to these pages, go to my pedagogy page I was trained as a mathematical logician, with an emphasis on theoretical computer science. My specialty was, and still is, finite model theory. I am currently working on combinatorial games and the evolution of random structures; I am also interested in emergent and hierarchical phenomena. For more on combinatorial games, plus a list of publications, go to my Research Page Finally, I am an amateur collector of quotations.

58. Springer Journals By Subjects Includes packages for Acta Informatica, Archive for mathematical logic, Distributed Computing, Inventiones mathematicae, manuscripta mathematica, mathematical Programming, Mathematische Annalen, Mathematische Zeitschrift, Numerische Mathematik, Probability Theory and Related Fields. http://www.springer.de/author/tex/help-journals.html

Deutsche Version Journals TeX and LaTeX Macro Packages LaTeX2e support Springer Verlag has developed TeX and LaTeX macro packages for different journals. The latest result is our modular LaTeX2e document class SVJour . Currently available are modules for the journals listed below. N.B.: The journal logo links you to the journal's home page, the abbreviated journal name links you to the FTP directory with the specific LaTeX2e tools, the download button provides you with a ZIP archive complete with all necessary LaTeX2e files. Acta Informatica actinf Annales Geophysicae agp Annali di Matematica Pura ed Applicata ampa Archive for Mathematical Logic matlog Archive for Rational Mechanics and Analysis arma Calcolo calcolo Calculus of Variations and Partial Differential Equations calc Communications in Mathematical Physics cmp Computing and Visualization in Science cvs Decisions in Economics and Finance def Distributed Computing dc Granular Matter granma International Journal on Digital Libraries ijodl International Journal on Document Analysis and Recognition ijdar Inventiones mathematicae invmat Journal of European Mathematic Society jems Journal of Geodesy jog Journal of Mathematical Biology matbio manuscripta mathematica manmat Mathematical Programming mathprog Mathematische Annalen matann Mathematische Semesterberichte matsem Mathematische Zeitschrift matzei Numerische Mathematik nummat Probability Theory and Related Fields prothe Shock Waves sw sct Structural Optimization

59. Society For Mathematical Psychology Promotes the advancement and communication of research in mathematical psychology, broadly defined to include work of a theoretical character that uses mathematical methods, formal logic, or computer simulation. The Society journal is the Journal of mathematical Psychology. http://aris.ss.uci.edu/smp/

Society for Mathematical Psychology The Society for Mathematical Psychology promotes the advancement and communication of research in mathematical psychology and related disciplines. Mathematical psychology is broadly defined to include work of a theoretical character that uses mathematical methods, formal logic, or computer simulation. The Society journal is the Journal of Mathematical Psychology MPSYCH-L is an e-mail list maintained by the Society for Mathematical Psychology to facilitate the distribution of information of value to persons interested in mathematical psychology. 2000 Annual Meeting August 10 - August 13 Queen's University Kingston, Ontario, Canada Organizer: Douglas J. K. Mewhort doug@vip.psyc.queensu.ca 1999 Annual Meeting July 29 - August 1 Santa Cruz, California Organizer: Michael Wenger mjwenger@cats.ucsc.edu 1998 Annual Meeting August 6 - August 9 Vanderbilt University, Nashville Organizers: Joe Lappin joseph.s.lappin@vanderbilt.edu Keith Clayton keith.n.clayton@vanderbilt.edu Tom Palmeri ... thomas.j.palmeri@vanderbilt.edu 1997 Annual Meeting 30th Annual Meeting July 31 - August 3 Indiana University, Bloomington

60. Pitts, Andrew University of Cambridge Applications of mathematical logic and category theory to computer science, semantics of programming languages and type theories, formal logics for reasoning about program properties. http://www.cl.cam.ac.uk/users/amp12/

Andrew Pitts Picture Professor of Theoretical Computer Science Deputy Head of Department Fellow of Darwin College Research My research is in applications of mathematical logic and category theory to computer science. I am especially interested in the semantics of programming languages and type theories, formal logics for reasoning about program properties, and metaprogramming languages and the foundations of machine-assisted reasoning systems. On-line publications: listing ftp archive BibTeX database Recent talks The FreshML research project. I participate in the Cambridge Theory and Semantics Group Journals I am associated with: Applied Categorical Structures Chicago Journal of Theoretical Computer Science Higher-Order and Symbolic Computation Mathematical Structures in Computer Science Teaching Lecture notes for 2002/2003 courses: Regular Languages and Finite Automata (CST Part IA ) Computation Theory (CST Part IB/II(G)/Diploma) Types (CST Part II) Lecture notes for old courses: Semantics of Programming Languages (2001/02 CST Part IB ) Denotational Semantics (1998/99 CST Part II) Professor Andrew M Pitts University of Cambridge Computer Laboratory William Gates Building JJ Thomson Avenue Cambridge CB3 0FD, UK

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z

Page 3     41-60 of 136    Back | 1  | 2  | 3  | 4  | 5  | 6  | 7  | Next 20