scientific article; zbMATH DE number 3934998

MaRDI QIDQ3708770zbMATH OpenFDO

Authors Roland Fraïssé

Publication date 1985

zbMATH Keywords

constructibilityisomorphylogical equivalencesecond order logic

Mathematics Subject Classification ID

Second- and higher-order model theory (03C85) Inner models, including constructibility, ordinal definability, and core models (03E45)

Recommendations

• Isomorphism between two-type ordinals and well-ordered two-type class structures
• scientific article; zbMATH DE number 1285752
• On equivalence relations second order definable over H(κ)
• scientific article; zbMATH DE number 3652408
• scientific article; zbMATH DE number 5619619
• Two Fraïssé-style theorems for homomorphism-homogeneous relational structures
• An equivalence relation based on the \(U\)-partial order
• scientific article; zbMATH DE number 4179374
• Equivalence relations induced by the \(U\)-partial order

Cited in

(5)

• Sur l'existence de modèles du second ordre non dénombrables avec domaine du premier ordre dénombrable
• On equivalence relations second order definable over H(κ)
• On second-order characterizability
• From finitary to infinitary second‐order logic
• The second-order version of Morley's theorem on the number of countable models does not require large cardinals

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 Q3708770)