scientific article; zbMATH DE number 3995639

From MaRDI portal

Publication:4723707

Jump to:navigation, search

zbMath0615.03015MaRDI QIDQ4723707

A. T. Nurtazin

Publication date: 1986

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

prime models saturated model first order theory Lindenbaum algebra strongly constructive model theory of Boolean algebras base totality

Mathematics Subject Classification ID

Models with special properties (saturated, rigid, etc.) (03C50) Computable structure theory, computable model theory (03C57)

Related Items (1)

Countable infinite existentially closed models of universally axiomatizable theories

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4723707&oldid=18973087"