Quantifier Elimination in Tame Infinite P-Adic Fields

Journal of Symbolic Logic - United Kingdom
doi 10.2307/2695121
Full Text
Abstract

Available in full text

Categories
PhilosophyLogic
Date
Authors
Publisher

Cambridge University Press (CUP)

Related search

Transfer Function Synthesis Without Quantifier Elimination

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

RAMIFICATION NUMBERS OF CYCLIC P-Extensions OVER P-Adic NUMBER FIELDS

Memoirs of the Faculty of Science, Kyushu University. Series A, Mathematics
1984English

Quantifier Elimination in Automatic Loop Parallelization

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
2006English

Quantifier Elimination for Neocompact Sets

Journal of Symbolic Logic
PhilosophyLogic
1998English

Software for Quantifier Elimination in Propositional Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Some Estimates for Diagonal Equations Over P-Adic Fields

Acta Arithmetica
Number TheoryAlgebra
1982English

Quantifier Elimination for the Relative Frobenius

2003English

Motives Over Totally Real Fields and $P$-Adic $L$-Functions

Annales de l'Institut Fourier
GeometryTopologyNumber TheoryAlgebra
1994English

P-Adic Superstrings

Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics
High Energy PhysicsNuclear
1988English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy