Mutually generic classes and incompatible expansions

DOI10.4064/FM-121-3-213-218zbMATH Open0586.03040OpenAlexW813677015MaRDI QIDQ3712331FDOQ3712331

Authors: Matt Kaufmann 

Publication date: 1984

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/211491

Recommendations

• Pairwise Incompatible Generic Families
• Generic programming with dependent types
• Intersecting classes and prototypes
• scientific article; zbMATH DE number 1785004
• scientific article; zbMATH DE number 1303998
• Generalized class invariants with `Thetanullwerte'
• Publication:4934322

zbMATH Keywords

models of Peano Arithmeticexpansions of countable models of ZFC to models of GBmutually generic classes

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Axiomatics of classical set theory and its fragments (03E30)

Cited In (2)

• Pairwise Incompatible Generic Families
• Definable sets and expansions of models of Peano arithmetic

This page was built for publication: Mutually generic classes and incompatible expansions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3712331)