- LOGIC SEMINAR Friday, September 11, 2002
- Topology of spaces of orderings of groups
- RELATIVELY HYPERIMMUNE RELATIONS ON S. S. GONCHAROV, V. S. HARIZANOV, J. F. KNIGHT, AND C. F. D.
- LOGIC SEMINAR Friday, September 14, 2001
- SPRING 2005 LOGIC SEMINAR
- Simple and immune relations on countable S. S. Goncharov
- The George Washington University Columbian College of Arts and Sciences
- Spaces of Orders and Their Turing Degree Spectra Malgorzata A. Dabkowska
- Spectra of Structures and Relations Valentina S. Harizanov Russell G. Miller
- Book Review C. J. Ash and J. Knight. Computable Structures and the
- EFFECTIVELY NOWHERE SIMPLE RELATIONS ON COMPUTABLE STRUCTURES
- Intrinsic bounds on complexity and definability at limit levels
- TURING DEGREES OF NONABELIAN GROUPS MALGORZATA DABKOWSKA, MIECZYSLAW DABKOWSKI, VALENTINA
- LOGIC SEMINAR Spring 2009
- Siberian Mathematical Journal, Vol. 46, No. 3, pp. 2005 Original Russian Text Copyright c 2005 Goncharov S. S., Harizanov V. S., Knight J. F., Morozov A. S., Romina A. V.
- SPRING 2002 LOGIC SEMINAR
- DEGREE SPECTRA OF THE SUCCESSOR RELATION OF COMPUTABLE LINEAR ORDERINGS
- Effectively and Relatively Effectively Categorical Structures
- SPRING 2003 LOGIC SEMINAR
- 1 CLASSES AND STRONG DEGREE SPECTRA OF JOHN CHISHOLM, JENNIFER CHUBB, VALENTINA S. HARIZANOV,
- Kleene's O, Harrison orderings, and Turing degree spectra
- LOGIC SEMINAR Friday, October 15, 2004
- Effective Categoricity of Equivalence Structures Wesley Calvert
- The papers that constitute The Expression of Modality provide a picture of the core issues in modality, the latest advances, and prospects for future work. As such, this book
- LOGIC SEMINAR Logic Seminar for General Audience
- EFFECTIVELY AND NONEFFECTIVELY NOWHERE SIMPLE VALENTINA S. HARIZANOV
- GWU MATHEMATICS COLLOQUIUM Mathematics and the integration of the sciences
- LOGIC SEMINAR Friday, September 12, 2003
- COMPUTABILITY OF FRAISSE LIMITS BARBARA F. CSIMA, VALENTINA S. HARIZANOV, RUSSELL MILLER,
- 1 relations and paths through O Sergey S. Goncharov
- The George Washington University New Graduate Mathematics Course
- The Bulletin of Symbolic Logic Volume 6, Number 2, June 2000
- The Bulletin of Symbolic Logic Volume 8, Number 4, Dec. 2002
- Editors' Preface The idea of the present volume emerged in 2002 from a series of talks by
- Effective Categoricity of Abelian p-Groups Wesley Calvert
- CHAINS AND ANTICHAINS IN PARTIAL ORDERINGS VALENTINA S. HARIZANOV, CARL G. JOCKUSCH, JR., AND JULIA F. KNIGHT
- PARTIAL AUTOMORPHISM SEMIGROUPS JENNIFER CHUBB, VALENTINA HARIZANOV, ANDREI MOROZOV,
- J. London Math. Soc. Page 1 of 14 Ce2006 London Mathematical Society doi:10.1112/jlms/jdl012
- Journal of Computer and System Sciences 73 (2007) 109122 www.elsevier.com/locate/jcss
- Bounding Homogeneous Models Barbara F. Csima1
- Inductive Inference Systems for Learning Classes of
- Index Sets of Computable Structures Wesley Calvert
- --, 2005. 46, 3 [1]) (., , [2] [3]).
- DEPENDENCE RELATIONS IN COMPUTABLY RIGID COMPUTABLE VECTOR SPACES
- TRIVIAL, STRONGLY MINIMAL THEORIES ARE MODEL COMPLETE AFTER NAMING CONSTANTS
- TURING DEGREES OF HYPERSIMPLE RELATIONS ON COMPUTABLE STRUCTURES
- Relations on computable structures Valentina S. Harizanov
- Handbook of Recursive Mathematics, vol. 1 Chapter 1: Pure Computable Model Theory
- Book Review Sergei S. Goncharov. Countable Boolean Algebras and Decidability.
- Countable Models, Computability, and Enumerations, Valentina Harizanov
- Degrees of Structures Valentina S. Harizanov
- Structures and Partial Computable Automorphisms Eric Ufferman
- LOGIC SEMINAR Spring 2010
- LOGIC SEMINAR Friday, December 4, 2009
- Real Computable Manifolds Wesley Calvert
- Computable groups and their orderings Jennifer Chubb
- Limit points in the space of left orderings of a group University of British Columbia
- Dynamical characterization Compactness arguments Approximation of orderings On Conrad's property for group orderings
- LOGIC SEMINAR SPRING 2006
- Computability-theoretic complexity of countable Valentina S. Harizanov
- ASSOCIATION FOR SYMBOLIC LOGIC 2005-06 WINTER MEETING
- INDUCTIVE INFERENCE MACHINES FOR MATHEMATICAL STRUCTURES
- SEQUENCES OF n-DIAGRAMS VALENTINA S. HARIZANOV, JULIA F. KNIGHT, AND ANDREI S.
- Enumerations in computable structure theory Sergey Goncharov
- SPRING 2004 LOGIC SEMINAR
- Left ordered and discretely ordered groups Peter A. Linnell
- Pennsylvania avenue ToLincolnMemorialandConstitutionAvenue
- LOGIC SEMINAR Previous seminars at: http://home.gwu.edu/~harizanv/index.html#GW_Logic_Seminar_
- The George Washington University Department of Mathematics
- Department of Mathematics of the George Washington University Math 6270-10 (CRN 95062): Topics in Logic
- Describing free groups J. Carson, V. Harizanov, J. Knight, K. Lange, C. Maher,
- Isomorphism Relations on Computable Structures Ekaterina B. Fokina
