scientific article

zbMATH Open0584.03004MaRDI QIDQ3708770

Roland Fraïssé

Publication date: 1985

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

constructibilityisomorphysecond order logiclogical equivalence

Mathematics Subject Classification ID

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

Recommendations

• Equivalence relations induced by the \(U\)-partial order 👍 👎
• Two Fraïssé-style theorems for homomorphism-homogeneous relational structures 👍 👎
• An equivalence relation based on the \(U\)-partial order 👍 👎
• Isomorphism between two-type ordinals and well-ordered two-type class structures 👍 👎
• On equivalence relations second order definable over H(κ) 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎

This page was built for publication: