Book Chapter10.1016/s0049-237x(08)70118-6
Model Theory of Henselian Valued Fields
-1989-01-01-Studies in logic and the foundations of mathematics
0
Chat with Paper
AI Agents for this Paper
No abstract available for this paper.
Keywords
Recursion (computer science)Computer scienceEquational logicMathematical logicModel theorySet (abstract data type)Semantics (computer science)Set theory
Chat
Click to start Chat