Flipping properties in arithmetic

DOI10.2307/2273151MaRDI QIDQ3949043zbMATH OpenOpenAlexFDO

Authors Laurence Kirby

Publication date 1982

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2273151

zbMATH Keywords

flipindicators for models of arithmeticladder

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) First-order arithmetic and fragments (03F30)

Cites work

• Flipping properties: A unifying thread in the theory of large cardinals
• Some independence results for Peano arithmetic

Cited in

(4)

• Ultrafilters and types on models of arithmetic
• Two further combinatorial theorems equivalent to the 1-consistency of peano arithmetic
• Current research on Gödel's incompleteness theorems
• A WALK WITH GOODSTEIN

This page was built for publication: Flipping properties in arithmetic

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