MATH
Login Or Sign up

List Question

15
378
Views

Decision procedure in Presburger arithmetic

Published on
#logic #proof-theory #presburger-arithmetic
792
Views

Showing that Presburger arithmetic is decidable by deciding if $\mathbb N \models \varphi$, but does it give provability in the axioms?

Published on
#logic #first-order-logic #proof-theory #decidability #presburger-arithmetic
81
Views

Strongest decidable system of arithmetics

Published on
#logic #peano-axioms #presburger-arithmetic
128
Views

Systems of arithmetic models

Published on
#logic #first-order-logic #model-theory #peano-axioms #presburger-arithmetic
255
Views

Do induction axioms of Peano Arithmetic have other simple equivalent forms?

Published on
#logic #induction #peano-axioms #presburger-arithmetic
149
Views

Why Presburger arithmetic cannot prove pigeonhole principle

Published on
#logic #peano-axioms #provability #presburger-arithmetic
176
Views

How much arithmetic is required to formalize quantifier elimination in Presburger arithmetic?

Published on
#logic #proof-theory #reverse-math #quantifier-elimination #presburger-arithmetic
444
Views

Are there "interesting" theorems in Peano arithmetic, that only use the addition operation?

Published on
#elementary-number-theory #soft-question #induction #peano-axioms #presburger-arithmetic
144
Views

Graph planarity definability clarification in literature?

Published on
#graph-theory #first-order-logic #planar-graphs #second-order-logic #presburger-arithmetic
75
Views

Finding simpler implied formulas while preserving contradiction

Published on
#logic #presburger-arithmetic
127
Views

Different arithmetics

Published on
#reference-request #arithmetic #peano-axioms #presburger-arithmetic
227
Views

An impressive fact expressible in Presburger arithmetic?

Published on
#logic #arithmetic #model-theory #automated-theorem-proving #presburger-arithmetic
170
Views

Oracle for computing transitive closure of presburger arithmetic formula if it exists: Computable?

Published on
#logic #computability #presburger-arithmetic
196
Views

Question concerning Presburger arithmetic

Published on
#logic #first-order-logic #model-theory #presburger-arithmetic
108
Views

Doubly exponential complexity of Presburger arithmetics

Published on
#logic #computational-complexity #first-order-logic #presburger-arithmetic

Trending Questions

Popular # Hahtags

geometry circles algebraic-number-theory functions real-analysis elementary-set-theory proof-verification proof-writing number-theory elementary-number-theory puzzle game-theory calculus multivariable-calculus partial-derivative complex-analysis logic set-theory second-order-logic homotopy-theory winding-number ordinary-differential-equations numerical-methods derivatives integration definite-integrals probability limits sequences-and-series algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.