Cointerpretability
Source 📝
221:
108:
262:
281:
286:
29:
189:, Studies in Logic and the Foundations of Mathematics, vol. 137, Amsterdam: North-Holland, pp. 475–546,
255:
124:
291:
129:
248:
119:
86:
17:
232:
190:
174:
154:
142:
76:
68:
204:
166:
145:(1993), "A generalized notion of weak interpretability and the corresponding modal logic",
200:
162:
25:
80:
195:
275:
178:
158:
64:. The "translation" here is required to preserve the logical structure of formulas.
182:
220:
57:
228:
236:
89:
102:
256:
8:
56:proves every formula whose translation is a
263:
249:
194:
94:
88:
79:and any stronger theories with effective
72:
75:, who also proved that, for theories of
181:(1998), "The logic of provability", in
48:can be translated into the language of
83:, cointerpretability is equivalent to
7:
217:
215:
235:. You can help Knowledge (XXG) by
91:
14:
67:This concept, in a sense dual to
219:
147:Annals of Pure and Applied Logic
1:
196:10.1016/S0049-237X(98)80022-0
159:10.1016/0168-0072(93)90201-N
103:{\displaystyle \Sigma _{1}}
308:
214:
187:Handbook of Proof Theory
44:, when the language of
40:in another such theory
282:Mathematical relations
231:-related article is a
125:Interpretability logic
104:
105:
130:Tolerance (in logic)
87:
71:, was introduced by
52:in such a way that
287:Mathematical logic
100:
32:: a formal theory
22:cointerpretability
18:mathematical logic
244:
243:
175:Japaridze, Giorgi
143:Japaridze, Giorgi
110:-conservativity.
299:
265:
258:
251:
223:
216:
207:
198:
169:
153:(1–2): 113–160,
109:
107:
106:
101:
99:
98:
77:Peano arithmetic
73:Japaridze (1993)
69:interpretability
307:
306:
302:
301:
300:
298:
297:
296:
272:
271:
270:
269:
212:
183:Buss, Samuel R.
173:
141:
138:
116:
90:
85:
84:
81:axiomatizations
38:cointerpretable
30:formal theories
26:binary relation
12:
11:
5:
305:
303:
295:
294:
289:
284:
274:
273:
268:
267:
260:
253:
245:
242:
241:
224:
210:
209:
179:de Jongh, Dick
171:
137:
134:
133:
132:
127:
122:
115:
112:
97:
93:
13:
10:
9:
6:
4:
3:
2:
304:
293:
290:
288:
285:
283:
280:
279:
277:
266:
261:
259:
254:
252:
247:
246:
240:
238:
234:
230:
225:
222:
218:
213:
206:
202:
197:
192:
188:
184:
180:
176:
172:
168:
164:
160:
156:
152:
148:
144:
140:
139:
135:
131:
128:
126:
123:
121:
118:
117:
113:
111:
95:
82:
78:
74:
70:
65:
63:
59:
55:
51:
47:
43:
39:
35:
31:
27:
23:
19:
237:expanding it
226:
211:
186:
150:
146:
66:
61:
53:
49:
45:
41:
37:
33:
21:
15:
292:Logic stubs
120:Cotolerance
276:Categories
136:References
92:Σ
114:See also
205:1640331
185:(ed.),
167:1218658
58:theorem
203:
165:
229:logic
227:This
24:is a
233:stub
191:doi
155:doi
60:of
36:is
28:on
16:In
278::
201:MR
199:,
177:;
163:MR
161:,
151:61
149:,
20:,
264:e
257:t
250:v
239:.
208:.
193::
170:.
157::
96:1
62:T
54:S
50:T
46:S
42:S
34:T
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.
↑