Completeness and Incompleteness for Expanding G\"odel-L\"ob Logics 1B85G2QJC2

URI	`m2://res/1B85G2QJC2`
Kind	preprint
Creators	Somayeh Chopoghloo, David Fernández-Duque, Joost J. Joosten, Sofía Santiago-Fernández
Date	2026-06-18
MSC	03-XX
Subjects	arxiv math.LO
Scope	in

Expressions

The mentions of the inventory that name this resource. Each name links to the card of its inventory row.

Item	Kind	Where	Source
287P76W3GZ	definition	definition 7.1	arxiv
46A2FZ154G	definition	definition 6.3	arxiv
4CP8VGNCW0	statement	theorem 5.5	arxiv
Witness property	statement	lemma 5.3	arxiv
5PTJ425E4F	statement	corollary 6.5	arxiv
6GN900RYPM	statement	corollary 3.4	arxiv
6K84N8FS7N	statement	lemma 9.2	arxiv
7BK5E31V6K	definition	definition 7.2	arxiv
7PP3YEBFRB	problem	problem 10.1	arxiv
82TVJWPMHS	statement	lemma 5.2	arxiv
8E193H6JF4	definition	definition 6.2	arxiv
Kruskal	statement	theorem 6.4	arxiv
9K96HK5HDR	statement	theorem 9.3	arxiv
9S93MSNC8Q	statement	theorem 8.5	arxiv
CXAN95G2G7	statement	lemma 7.4	arxiv
CZWT2YSEZM	definition	definition 2.5	arxiv
D07MBKNE6P	definition	definition 8.3	arxiv
E4XFF7J0QX	statement	proposition 2.7	arxiv
EBJAF2K9PD	definition	definition 8.1	arxiv
EJ5YMSKJ55	definition	definition 2.1	arxiv
FV8N2TANPE	statement	lemma 7.3	arxiv
G30GJNB678	statement	lemma 8.4	arxiv
GP7HV94EQ5	statement	lemma 8.2	arxiv
H9AXVN1MRG	problem	problem 10.2	arxiv
HNQCNYNV7G	statement	proposition 3.3	arxiv
J2D3PKB2AG	problem	problem 10.4	arxiv
JWWPRMTVB5	definition	definition 5.1	arxiv
JZZ8YRKCST	statement	theorem 4.2	arxiv
P532YHSP47	definition	definition 3.1	arxiv
PJY8G2XXC9	statement	lemma 7.5	arxiv
PM6514H2X8	definition	definition 2.3	arxiv
Q9ZMVG6DZP	statement	proposition 5.4	arxiv
SWEMMXJPPK	statement	lemma 2.4	arxiv
TTPH2KSH88	statement	theorem 9.4	arxiv
TX3WYFWGWY	statement	theorem 4.1	arxiv
V87KWN6DS6	problem	problem 10.3	arxiv
VFNH2E9668	statement	theorem 9.1	arxiv
WG5JZWBDMM	definition	definition 6.1	arxiv
ZW2GM8S8RM	statement	lemma 2.9	arxiv