scientific article; zbMATH DE number 6423741

zbMATH Open1337.03074MaRDI QIDQ4982347

Sy-David Friedman

Publication date: 9 April 2015

Title of this publication is not available (Why is that?)

zbMATH Keywords

completenessisomorphismhierarchycomputable structurescountable structures

Mathematics Subject Classification ID

Descriptive set theory (03E15) Inner models, including constructibility, ordinal definability, and core models (03E45) Other infinitary logic (03C75) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items (7)

ISOMORPHISM ON HYP ⋮ The strength of the isomorphism property ⋮ Title not available (Why is that?) ⋮ The isomorphism property versus the special model axiom ⋮ Equality of terms containing associative-commutative functions and commutative binding operators is isomorphism complete ⋮ A descriptive Main Gap Theorem ⋮ The completeness of the isomorphism relation for countable Boolean algebras

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