• Daneshyari
  • Topics
    • Physical Sciences and Engineering
      Life Sciences
      Health Sciences
      Social Sciences and Humanities
Physical Sciences and Engineering Mathematics Logic

Direct twisted Galois stratification

Article ID Journal Published Year Pages File Type
8904317 Annals of Pure and Applied Logic 2018 33 Pages PDF
Abstract
The theory ACFA admits a primitive recursive quantifier elimination procedure. It is therefore primitive recursively decidable.
Keywords
14G1503C1011G2512H10ACFAprimarysecondaryDifference scheme
Related Topics
Physical Sciences and Engineering Mathematics Logic
Preview
Direct twisted Galois stratification
Authors
Ivan Tomašić,
Related Articles
Products of Menger spaces: A combinatorial approach
A classification of orbits admitting a unique invariant measure
Cardinal characteristics at κ   in a small u(κ)u(κ) model
Bounded stationary reflection II
Labeled sequent calculus for justification logics
Effective results on a fixed point algorithm for families of nonlinear mappings
Vaught's conjecture for quite o-minimal theories
Proof complexity of intuitionistic implicational formulas
Pseudo real closed fields, pseudo p-adically closed fields and NTP2
Essential and density topologies of continuous domains
Journal
Annals of Pure and Applied Logic
Journal: Annals of Pure and Applied Logic
Related Categories
14G15
03C10
11G25
12H10
ACFA
primary
secondary
Difference scheme
Algebra and Number Theory
Analysis
Applied Mathematics
Computational Mathematics
Control and Optimization
Discrete Mathematics and Combinatorics
Geometry and Topology
Logic
Mathematical Physics
Mathematics (General)
Modelling and Simulation
Numerical Analysis
Statistics and Probability
Theoretical Computer Science
Related Journals
Journal of Applied Logic
Daneshyari provides fulltext access to millions of research papers.