The complexity of the modal predicate logic of “true in every transitive model of ZF”
From MaRDI portal
Publication:4382481
DOI10.2307/2275648zbMath0898.03007OpenAlexW2062160805MaRDI QIDQ4382481
Publication date: 1 November 1998
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2275648
provability logicmodal predicate logicinterpretation of modal formulas in set theorytransitive model of ZF
Related Items
Properties of 1D classical and quantum Ising models: rigorous results, On the spectrum of 1D quantum Ising quasicrystal
Cites Work