Model-companions and definability in existentially complete structures
type: Item
instance of: scholarly article
title: Model-companions and definability in existentially complete structures
zbMATH Open document ID: 0398.03023
DOI: 10.1007/BF02757007
author: William H. Wheeler
published in: Israel Journal of Mathematics
publication date: 1976-01-01T00:00:00Z
Mathematics Subject Classification ID: 03C99
zbMATH DE Number: 3618116
zbMATH Keywords: Model-Companions
zbMATH Keywords: Definability
zbMATH Keywords: Existentially Complete
zbMATH Keywords: Universal Horn Theory
zbMATH Keywords: Finitely Presented Model
MaRDI profile type: Publication
cites work: Amalgamation properties and interpolation theorems for equational theories
cites work: Syntactic characterisations of amalgamation, convexity and related properties
cites work: Completing theories by forcing
cites work: Q4059651
cites work: Q5570212
cites work: Q5643982
cites work: Q5661878
cites work: Q5672892
cites work: Q4041571
cites work: Q4774044
cites work: The model completion of the theory of commutative regular rings
cites work: The model-companion of a class of structures
cites work: Second order forcing, algebraically closed structures, and large cardinals
cites work: Algebraically closed commutative rings
cites work: Q5643980
cites work: Q5650386
cites work: Q5643981
cites work: Q5668800
cites work: Q5642555
cites work: Some model theory of abelian groups
cites work: The elementary theory of abelian groups
cites work: Model-completions and modules
cites work: Q3048983
cites work: Inductive theories and their forcing companions
cites work: Q4081237
cites work: On the Existence of Free Structures over Universal Classes
cites work: Q5572358
cites work: Q5605215
cites work: Q5635438
cites work: Q4073370
cites work: Forcing, arithmetic, division rings
cites work: On algebraically closed groups
cites work: Omitting quantifier-free types in generic structures
cites work: Martin's Axiom Applied to Existentially Closed Groups.
cites work: Model-completeness for sheaves of structures
cites work: A Note on Axioms for Infinite-Generic Structures
cites work: The forcing companions of number theories
cites work: On the metamathematics of algebra
cites work: Q5848176
cites work: Complete theories
cites work: Q5534205
cites work: Q5613180
cites work: Q5633987
cites work: On the notion of algebraic closedness for noncommutative groups and fields
cites work: Q5604570
cites work: Q5600865
cites work: Q5618361
cites work: Embedding problems for modules and rings with application to model- companions
cites work: Model Companions for ℵ 0 -Categorical Theories
cites work: Wreath Products and Existentially Complete Solvable Groups
cites work: m-existentially complete structures
cites work: A counterexample in the theory of model companions
cites work: The Model Companion of the Theory of Commutative Rings Without Nilpotent Elements
cites work: Q4081238
cites work: A Note on Model Complete Models and Generic Models
cites work: Differentially closed fields
cites work: Existentially closed structures
cites work: Forcing for Infinitary Languages
full work available at URL: https://doi.org/10.1007/bf02757007
OpenAlex ID: W2032455733
description: scientific article; zbMATH DE number 3618116