A generalized small model property for languages which force the infinity

MaRDI QIDQ3437731zbMATH OpenFDO

Authors Pietro Ursino

Publication date 9 May 2007

Full work available at URL https://arxiv.org/abs/math/0411226

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Set theory (03E99)

Recommendations

• Mixed type of Fredholm-Volterra integral equation
• On a general mixed Volterra-Fredholm integral equation
• Fredholm-Volterra integral equation with singular kernel.
• scientific article; zbMATH DE number 26056
• scientific article; zbMATH DE number 2184728

Cited in

(4)

• Model theoretic results for infinitely deep languages
• Small model property reflects in games and automata
• Formative processes with applications to the decision problem in set theory. II. Powerset and singleton operators, finiteness predicate
• Mixed type of Fredholm-Volterra integral equation

This page was built for publication: A generalized small model property for languages which force the infinity

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