Search results

...finite chess have been introduced independently by multiple players, chess theorists, and mathematicians, both as a playable game and as a model for theoretical ...s on an infinite board, new patterns are required to form a [[checkmate]]. Theorists conceive of infinite chess variations to expand the theory of chess in gene ...

...] than a <math>\tfrac{1}{4:5:6:7}</math> chord. Both have exactly the same set of intervals between the notes, under [[inversional equivalency|inversion]] <br>(c) calculate the entropy of that set of probabilities ...

...nown for her research in [[graph theory]] and particularly on [[dominating set]]s. Haynes is the author of two books on [[dominating set]]s in [[graph theory]]: ...

...= Professor Sy Friedman before a lecture during ''The First European Set Theory Meeting'', [[Będlewo]] ([[Poland]]), July 2007 | known_for = [[Mathematical logic]], [[Axiomatic Set Theory|Set theory]], [[Large cardinal property]] ...

...no three on a line, and no four on a circle). Palásti found an eight-point set with this property, and showed that for any number of points between three [[Category:Graph theorists]] ...

'''Itay Neeman''' (born 1972) is a [[set theory|set theorist]] working as a professor of mathematics at the [[University of Cal ...ausdorff Medal|work=European Set Theory Conference 2019|publisher=European Set Theory Society|accessdate=2021-01-29}}</ref> ...

...ched category]] based on intuitions then in the air about making the [[hom set|homsets]] of a [[category (mathematics)|category]] just as abstract as the ....maxkelly.com.au/main.php Max Kelly's Perpetual Web Page]: a memorial page set up by Kelly's son Simon Kelly. ...

...uth African born Canadian mathematician known for her work on [[dominating set]]s in [[graph theory]], including domination versions of the [[eight queens [[Category:Graph theorists]] ...

...ry theory]], [[homotopy theory]], [[Mathematical logic|logic as applied to set theory]], and [[computer science]]. [[Category:Category theorists]] ...

...n American mathematician whose research concerns [[mathematical logic]], [[set theory]], [[Forcing (mathematics)|forcing]], and [[Computability theory|rec ...D. in 1981 at [[Harvard University]]. Her dissertation, ''Iterated Perfect Set Forcing and Degrees of Constructibility'', was supervised by [[Akihiro Kana ...

== Theorists == ...k.htm |url-status=live }}</ref> Ebbinghaus' methods achieved a remarkable set of results. ...

...] and [[Nicolas Bourbaki|Bourbaki]], who made contributions to logic and [[set theory]].<ref name=SD>Stephane Dugowson and others [https://sites.google.c ...n integer, Riguet extended order theory beyond relations restricted to one set. ...

...odels of Voter Behavior |date=2008 |citeseerx=10.1.1.504.3181|quote=Voting theorists generally acknowledge that they consider this model to be unrealistic}}</re ...l the candidates (with no equal rankings or blanks), which is drawn from a set of all possible rankings. For <math>m</math> candidates, there are <math>m ...

| known_for = [[Mathematical logic]], [[Axiomatic Set Theory|Set theory]], [[Large cardinal property]] ...ecializes in [[mathematical logic]], in particular [[Axiomatic Set Theory|set theory]]. He served as president of the [[Hebrew University of Jerusalem]], ...

...ry]]. More formally, the conclusion of the Adyan–Rabin theorem means that set of all finite presentations ...th> is a fixed countably infinite alphabet, and <math>R</math> is a finite set of relations in these generators and their inverses) ...

{{Short description|Set of elements common to all of some sets}} | type = [[Set (mathematics)#Basic operations|Set operation]] ...

| sub_discipline = Set theory, infinitary combinatorics '''Jean Ann Larson''' is an American mathematician. She is a [[set theory|set theorist]], a [[history of mathematics|historian]] of [[mathematical logic] ...

...finite simple groups|finite simple group]] ''L'' of Lie type, a generating set ''A'' of ''L'' either grows, i.e., ''|A³|'' ≥ ''|A|<sup>1+ε</sup [[Category:Group theorists]] ...

...Maulik]], [[Andrei Okounkov]] and [[Rahul Pandharipande]] he formulated a set of conjectures relating [[Gromov–Witten theory]] and [[Donaldson–Thomas the [[Category:Russian string theorists]] ...

...No. 3, 1995, S. 41–47; Ivars Peterson: The brothers E. and Pierre Carissan set up the machine in the observatory of Bordeaux and introduced them to the pu [[Category:Number theorists]] ...