Recent and upcoming talks by Russell Miller

Russell G. Miller: Hilbert’s Tenth Problem for Subrings of the Rational Numbers

Talk held by Russell Miller (Queens College, City University of New York (CUNY), USA) at the KGRC seminar on 2018-11-15.   Abstract: When considering subrings of the field $\mathbb{Q}$ of rational numbers, one can view Hilbert’s Tenth Problem as an operator, mapping each set $W$ of prime numbers to the set $HTP(R_W)$ of polynomials in $\mathbb {Z}[X_1,  X_2, \ldots]$ with solutions in the ring $R_W = \mathbb{Z}[W^{-1}]$. continue reading…

Russell Miller: Isomorphism and Classification for Countable Structures

KGRC research seminar on 2017-11-23 at 4pm. Speaker:  Russell Miller (Queens College, City University of New York (CUNY), USA) Abstract: We describe methods of classifying the elements of certain classes of countable structures: algebraic fields, finite-branching trees, and torsion-free abelian groups of rank 1. continue reading…

South-Eastern Logic Colloquium 2015, February 28 – March 1, 2015

The South-Eastern Logic Colloquium 2015 will take place during the weekend of February 28/ March 1, 2015, at University of Florida, Gainesville, FL. We will also have a colloquium talk on Friday February 27 4pm by Henry Towsner.   continue reading…

18/Feb/2013: Simon Thomas, Russel Miller

Rutgers Logic Seminars Spring 2013 Room 423, Hill Center NOTE CHANGE OF ROOM Descriptive Set Theory Seminar Monday Feb 18th, 3:20-4:40 pm Simon Thomas, Rutgers Invariant random subgroups II Rutgers Logic Seminar Monday Feb 18th, 5:00-6:20 pm Russell Miller, CUNY Independent sets in free groups and fields continue reading…

This Week in Logic at CUNY

  Computational Logic Seminar Time 2:00 – 4:00 PM, September 11, Room 3309 Can Baskent, IHPST, Université Paris 1 Panthéon-Sorbonne Some Logical Approaches to Lakatos’s ‘Proofs and Refutations’ Abstract. Lakatos’s seminal work ‘Proofs and Refutations’ presents a rational analysis of theorem improvement. continue reading…