scientific article; zbMATH DE number 3963824

MaRDI QIDQ3731599zbMATH OpenFDO

Authors Dmitrij Skvortsov

Publication date 1985

zbMATH Keywords

cardinality predicatePresburger arithmeticweak systems of arithmetic

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) First-order arithmetic and fragments (03F30)

Recommendations

• Cardinality logics. Part II: Definability in languages based on ‘exactly’
• Expansions of MSO by cardinality relations
• Weak cardinality theorems for first-order logic (extended abstract)
• CARDINAL ARITHMETIC IN THE STYLE OF BARON VON MÜNCHHAUSEN
• The definable criterion for definability in Presburger arithmetic and its applications.

Cited in

(4)

• Expansions of MSO by cardinality relations
• Counting Δ_0 sets
• CARDINAL ARITHMETIC IN THE STYLE OF BARON VON MÜNCHHAUSEN
• Weak cardinality theorems for first-order logic (extended abstract)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3731599)