84:
74:
53:
22:
207:. I took some time to read the mentioned article, and it does actually not have anything to do with Tarski's exponential function problem or partial results to this end. Only once on page 315 of the article, it is mentioned that the exponential function is one particular function that the main result applies to. But in general it is about
162:
Currently there is a section describing a "recent" approach of a workaround. Neither is this recent nor anywhere on the level that it actually is a workaround. it simply advertises a 10 page long paper. I would be in favour of removing this. Many other "workarounds" that don't really help in
218:
I find the problem interesting and look for some articles that actually want to contribute in solving it. For now, I suggest to delete the section "Workaround" and will do so now. Please just reverse the change if you think that it should stay.
140:
211:. So I do not see it as any attempt to present a workaround for Tarski's exponential function problem, which is not even mentioned in the article. Rather it is an extension of
181:
My preference is, I think, opposite yours: salvage the section into some kind of "Extensions" or "Partial results" section explaining this and other 'workarounds'.
272:
130:
267:
106:
243:
193:
97:
58:
233:
That sounds good — thanks for the careful attention here. I agree that decidability of real closed fields is a better fit. -
33:
224:
168:
220:
164:
21:
239:
189:
248:
228:
198:
172:
39:
83:
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
89:
73:
52:
234:
212:
208:
204:
184:
261:
102:
79:
15:
163:
understanding the problem could also be added otherwise.
101:, a collaborative effort to improve the coverage of
8:
19:
47:
178:I agree this section is bad as written.
49:
7:
95:This article is within the scope of
38:It is of interest to the following
213:decidability of real closed fields
14:
273:Low-priority mathematics articles
115:Knowledge:WikiProject Mathematics
268:Start-Class mathematics articles
118:Template:WikiProject Mathematics
82:
72:
51:
20:
135:This article has been rated as
1:
109:and see a list of open tasks.
203:Thank you for the feedback @
289:
249:19:16, 7 August 2024 (UTC)
229:18:26, 7 August 2024 (UTC)
199:14:22, 7 August 2024 (UTC)
173:22:45, 6 August 2024 (UTC)
134:
67:
46:
141:project's priority scale
209:real analytic functions
98:WikiProject Mathematics
28:This article is rated
221:Altarbasenstickfreie
165:Altarbasenstickfreie
121:mathematics articles
90:Mathematics portal
34:content assessment
247:
197:
155:
154:
151:
150:
147:
146:
280:
237:
187:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
288:
287:
283:
282:
281:
279:
278:
277:
258:
257:
160:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
286:
284:
276:
275:
270:
260:
259:
256:
255:
254:
253:
252:
251:
216:
182:
179:
159:
156:
153:
152:
149:
148:
145:
144:
133:
127:
126:
124:
107:the discussion
94:
93:
77:
65:
64:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
285:
274:
271:
269:
266:
265:
263:
250:
245:
241:
236:
232:
231:
230:
226:
222:
217:
214:
210:
206:
202:
201:
200:
195:
191:
186:
183:
180:
177:
176:
175:
174:
170:
166:
157:
142:
138:
132:
129:
128:
125:
108:
104:
100:
99:
91:
85:
80:
78:
75:
71:
70:
66:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
235:CRGreathouse
205:CRGreathouse
185:CRGreathouse
161:
137:Low-priority
136:
96:
62:Low‑priority
40:WikiProjects
112:Mathematics
103:mathematics
59:Mathematics
30:Start-class
262:Categories
158:Workaround
139:on the
36:scale.
225:talk
169:talk
131:Low
264::
242:|
227:)
192:|
171:)
246:)
244:c
240:t
238:(
223:(
215:.
196:)
194:c
190:t
188:(
167:(
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.