Classification theory and 0#

DOI10.2178/JSL/1052669064zbMath1063.03017OpenAlexW2070829927MaRDI QIDQ3160554

Mika Rautila, Tapani Hyttinen, Sy-David Friedman

Publication date: 9 February 2005

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.jsl/1052669064

zbMATH Keywords

constructibilityclassification theory0 sharp\(L\)potential-isomorphism problem

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Classification theory, stability, and related concepts in model theory (03C45) Set-theoretic model theory (03C55)

Cites Work

• Constructing strongly equivalent nonisomorphic models for unstable theories
• On potential isomorphism and non-structure
• The number of non-isomorphic models of an unstable first-order theory
• Forcing isomorphism II
• L ∞λ -Equivalence, Isomorphism and Potential Isomorphism
• Forcing isomorphism
• On the number of automorphisms of uncountable models
• Cardinal-preserving extensions

This page was built for publication: Classification theory and 0^#