Concepedia

Uri Andrews

UA

11

Publications

225

Citations

10

H-Index

2011

Active since

Affiliations

University of Wisconsin–Madison(Current)

University of Siena

University of Wisconsin System

Dartmouth College

Uri Andrews is an author at University of Wisconsin–Madison specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningProbabilitySpectral TheoryComputational ComplexityEntropyPhysicsStatistics

Publications per year

2011–2022

11

Publications

11

UNIVERSAL COMPUTABLY ENUMERABLE EQUIVALENCE RELATIONS

Uri Andrews, Steffen Lempp, Joseph S. Miller et al. · Journal of Symbolic Logic · 2014 · 61 citations

Equivalence Relation, Engineering, Universal Ceers +10

Spectra of theories and structures

Uri Andrews, Joseph S. Miller · Proceedings of the American Mathematical Society · 2014 · 28 citations

Spectral Theory, Mathematical Structure, Upward Closure +10

THE COMPLEMENTS OF LOWER CONES OF DEGREES AND THE DEGREE SPECTRA OF STRUCTURES

Uri Andrews, Mingzhong Cai, I. Sh. Kalimullin et al. · Journal of Symbolic Logic · 2016 · 25 citations · Full text

Spectral Theory, Mathematical Structure, Schubert Calculus +11

ON THE STRUCTURE OF COMPUTABLE REDUCIBILITY ON EQUIVALENCE RELATIONS OF NATURAL NUMBERS

Uri Andrews, DANIEL F. BELIN, Luca San Mauro · Journal of Symbolic Logic · 2022 · 19 citations · Full text

The theory of ceers computes true arithmetic

Uri Andrews, Noah Schweber, Andrea Sorbi · Use Siena air (University of Siena) · 2020 · 18 citations

Rows per page

1–5 of 11