Abstract

A note on undecidable extensions of monadic second order successor arithmetic

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Similar Papers

Paper Title
Journal
Date
Author
Meta-kernelization using Well-structured Modulators
...
-
, et. al. ...
09 Nov 2015
Büchi’s Monadic Second Order Successor Arithmetic
Dirk Siefkes
-
Dirk SiefkesDirk Siefkes
01 Jan 1970
DECISION PROCEDURES FOR PROGRAM SYNTHESIS AND VERIFICATION
-
01 Jan 2010
Beyond quantifier-free interpolation in extensions of Presburger arithmetic
...
-
, et. al. ...
01 Jan 2012
View more papers

More From: Archiv für Mathematische Logik und Grundlagenforschung

Paper Title
Journal
Date
Author
On some $$\Sigma ^{B}_{0}$$-formulae generalizing counting principles over $$V^{0}$$
Eitetsu Ken
Archiv für Mathematische Logik und Grundlagenforschung | VOL. -
Eitetsu KenEitetsu Ken
22 Jul 2024
On absorption’s formula definable semigroups of complete theories
Mahsut Bekenov ... Anvar Nurakunov
Archiv für Mathematische Logik und Grundlagenforschung | VOL. -
Mahsut Bekenov, et. al.Mahsut Bekenov ... Anvar Nurakunov
20 Jul 2024
Intuitionistic sets and numbers: small set theory and Heyting arithmetic
Stewart Shapiro ... Michael Rathjen
Archiv für Mathematische Logik und Grundlagenforschung | VOL. -
Stewart Shapiro, et. al.Stewart Shapiro ... Michael Rathjen
18 Jun 2024
The Tarski–Lindenbaum algebra of the class of strongly constructivizable models with $$\omega $$-stable theories
Mikhail Peretyat’Kin
Archiv für Mathematische Logik und Grundlagenforschung | VOL. -
Mikhail Peretyat’KinMikhail Peretyat’Kin
08 Jun 2024
View more papers