Mutually generic classes and incompatible expansions

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

Matt Kaufmann

Publication date: 1984

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

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

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

   Recommendations

• Pairwise Incompatible Generic Families 👍 👎
• Generic Programming with Dependent Types 👍 👎
• Intersecting classes and prototypes 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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)