Isomorphisms and nonisomorphisms of graph models

DOI10.2307/2274916MaRDI QIDQ3360838zbMATH OpenOpenAlexFDO

Authors Harold Schellinx

Publication date 1991

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

Full work available at URL https://doi.org/10.2307/2274916

zbMATH Keywords

automorphismsfirst-order theory of graph modelsisomorphic mappings between graph modelsuntyped lambda calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Recommendations

• scientific article; zbMATH DE number 3896988
• Graph isomorphism and theorems of Birkhoff type
• scientific article; zbMATH DE number 876693
• scientific article; zbMATH DE number 3929071
• scientific article; zbMATH DE number 3847439
• Graph algebras and the graph isomorphism problem
• Isomorphism of (mis)Labeled Graphs
• scientific article; zbMATH DE number 3856426
• Isomorphisms of Graph Groups
• scientific article; zbMATH DE number 3918425

Cites work

• Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms

Cited in

(7)

• A decidable canonical representation of the compact elements in Scott's reflexive domain in \(P\omega\)
• Set-theoretical and other elementary models of the \(\lambda\)-calculus
• Isomorphism and equational equivalence of continuous \(\lambda\)-models
• From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models
• Isomorphisms between the coherent models of the lambda-calculus
• Isomorphism of (mis)Labeled Graphs
• Uniqueness of Scott's reflexive domain in \(P\omega \)

This page was built for publication: Isomorphisms and nonisomorphisms of graph models

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