The theory of successor with an extra predicate
type: Item
instance of: scholarly article
title: The theory of successor with an extra predicate
zbMATH Open document ID: 0369.02025
DOI: 10.1007/BF01351676
author: Wolfgang Thomas
published in: Mathematische Annalen
publication date: 1978-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/182780
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03C35
zbMATH DE Number: 3575559
MaRDI profile type: Publication
cites work: Definability in the monadic second-order theory of successor
cites work: Decidability and undecidability of extensions of second (first) order theory of (generalized) successor
cites work: Q5551141
cites work: Q5573961
cites work: A note on undecidable extensions of monadic second order successor arithmetic
description: scientific article; zbMATH DE number 3575559