scientific article; zbMATH DE number 3316936
From MaRDI portal
Publication:5596794
zbMath0199.03201MaRDI QIDQ5596794
Publication date: 1963
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (8)
On elementary theories of ordinal notation systems based on reflection principles ⋮ Succinct definitions in the first order theory of graphs ⋮ The undecidability of the lattice of r. e. closed subsets of an effective topological space ⋮ Modal definability: two commuting equivalence relations ⋮ Classes of algebraic structures ⋮ CODING IN GRAPHS AND LINEAR ORDERINGS ⋮ DECIDABILITY OF THE RESTRICTED THEORIES OF A CLASS OF PARTIAL ORDERS ⋮ Generic theories as a method for approximating elementary theories
This page was built for publication:
