Isomorphisms and nonisomorphisms of graph models

DOI10.2307/2274916zbMath0734.03014OpenAlexW1996733441MaRDI QIDQ3360838

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

automorphismsuntyped lambda calculusfirst-order theory of graph modelsisomorphic mappings between graph models

Mathematics Subject Classification ID

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

Related Items (4)

A decidable canonical representation of the compact elements in Scott's reflexive domain in \(P\omega\) ⋮ Uniqueness of Scott's reflexive domain in \(P\omega \) ⋮ From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models ⋮ Set-theoretical and other elementary models of the \(\lambda\)-calculus

Cites Work

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

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