Decidable prime models
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 2001.
Main Author: | Young, Jessica Millar, 1973- |
---|---|
Other Authors: | Gerald E. Sachs. |
Format: | Thesis |
Language: | eng |
Published: |
Massachusetts Institute of Technology
2005
|
Subjects: | |
Online Access: | http://hdl.handle.net/1721.1/8591 |
Similar Items
-
Decidability in extensions of Fp((t))
by: Rigler, B
Published: (2021) -
Decidability boundaries in linear dynamical systems
by: de Sousa Pinto, J
Published: (2017) -
Deciding Equations in the Time Warp Algebra
by: Sam van Gool, et al.
Published: (2024-01-01) -
Directed figure codes are decidable
by: Michal Kolarz, et al.
Published: (2009-01-01) -
On deciding linear arithmetic constraints over -adic integers for all primes
by: Haase, C, et al.
Published: (2021)