Premium
A note on Grzegorczyk's logic
Author(s) -
Jeřábek Emil
Publication year - 2004
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.200310094
Subject(s) - mathematics , modal logic , axiom , class (philosophy) , axiom of choice , mathematical proof , modal , discrete mathematics , mathematical economics , combinatorics , computer science , philosophy , epistemology , set theory , programming language , chemistry , geometry , set (abstract data type) , polymer chemistry
Grzegorczyk's modal logic (Grz) corresponds to the class of upwards well‐founded partially ordered Kripke frames, however all known proofs of this fact utilize some form of the Axiom of Choice; G. Boolos asked in [1], whether it is provable in plain ZF. We answer his question negatively: Grz corresponds (in ZF) to a class of frames, which does not provably coincide with upwards well‐founded posets in ZF alone. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)