Axiomatization of the forcing relation with an application to Peano Arithmetic

DOI10.4064/FM-120-2-167-186zbMath0578.03014OpenAlexW775213789MaRDI QIDQ3699672

Zofia Adamowicz

Publication date: 1984

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

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

zbMATH Keywords

Peano Arithmeticmethod of indicatorsformal properties of forcingset theoretical forcing

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Model-theoretic forcing (03C25)

This page was built for publication: Axiomatization of the forcing relation with an application to Peano Arithmetic