scientific article

zbMath0485.03037MaRDI QIDQ3944605

Thierry Lucas, Rene Lavendhomme

Publication date: 1981

Full work available at URL: http://www.numdam.org/item?id=CTGDC_1981__22_4_387_0

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

zbMATH Keywords

integral domainsmodel completenessglobal sectionsmellow structuressheaves of structures

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Categoricity and completeness of theories (03C35)

Cites Work

• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• The first order properties of products of algebraic systems
• Model-completeness for sheaves of structures
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: