[FOM] numbered postings 1-349

Harvey Friedman friedman at math.ohio-state.edu
Mon Aug 31 18:03:09 EDT 2009 

This is the list of numbered postings #1-349.

NOTE: The title of #269 has been corrected from the original.
1: Foundational Completeness 11/3/97, 10:13AM, 10:26AM.
2: Axioms 11/6/97 8:34PM
3: Simplicity 11/14/97 10:10AM.
4: Simplicity 11/14/97 4:25PM
5: Constructions 11/15/97 5:24PM
6: Undefinability/Nonstandard Models 11/16/97 12:04AM
7: Undefinability/Nonstandard Models 11/17/97 12:31AM
8: Schemes 11/17/97 12:30AM
9: Nonstandard Arithmetic 11/18/97 11:53AM
10: Pathology 12/8/97 12:37AM
11: F.O.M. & Math Logic 12/14/97 5:47AM
12: Finite trees/large cardinals 3/11/98 11:36AM
13: Min recursion/Provably recursive functions 3/20/98 :45AM
14: New characterizations of the provable ordinals 4/8/98 2:09AM
14': Errata 4/8/98 9:48AM
15: Structural Independence results and provable ordinals 4/16/98  
10:53PM
16: Logical Equations, etc. 4/17/98 1:25PM
16': Errata 4/28/98 10:28AM
17: Very Strong Borel statements 4/26/98 8:06PM
18: Binary Functions and Large Cardinals 4/30/98 12:03PM
19: Long Sequences 7/31/98 9:42AM
20: Proof Theoretic Degrees 8/2/98 9:37PM
21: Long Sequences/Update 10/13/98 3:18AM
22: Finite Trees/Impredicativity 10/20/98 10:13AM
23: Q-Systems and Proof Theoretic Ordinals 11/6/98 3:01AM
24: Predicatively Unfeasible Integers 11/10/98 10:44PM
25: Long Walks 11/16/98 7:05AM
26: Optimized functions/Large Cardinals 1/13/99 12:53PM
27: Finite Trees/Impredicativity:Sketches 1/13/99 12:54PM
28: Optimized Functions/Large Cardinals:more 1/27/99 4:37AM
28': Restatement 1/28/99 5:49AM
29: Large Cardinals/where are we? I 2/22/99 6:11AM
30: Large Cardinals/where are we? II 2/23/99 6:15AM
31: First Free Sets/Large Cardinals 2/27/99 1:43AM
32: Greedy Constructions/Large Cardinals 3/2/99 11:21PM
33: A Variant 3/4/99 1:52PM
34: Walks in N^k 3/7/99 1:43PM
35: Special AE Sentences 3/18/99 4:56AM
35': Restatement 3/21/99 2:20PM
36: Adjacent Ramsey Theory 3/23/99 1:00AM
37: Adjacent Ramsey Theory/more 5:45AM 3/25/99
38: Existential Properties of Numerical Functions 3/26/99 2:21PM
39: Large Cardinals/synthesis 4/7/99 11:43AM
40: Enormous Integers in Algebraic Geometry 5/17/99 11:07AM
41: Strong Philosophical Indiscernibles
42: Mythical Trees 5/25/99 5:11PM
43: More Enormous Integers/AlgGeom 5/25/99 6:00PM
44: Indiscernible Primes 5/27/99 12:53 PM
45: Result #1/Program A 7/14/99 11:07AM
46: Tamism 7/14/99 11:25AM
47: Subalgebras/Reverse Math 7/14/99 11:36AM
48: Continuous Embeddings/Reverse Mathematics 7/15/99 12:24PM
49: Ulm Theory/Reverse Mathematics 7/17/99 3:21PM
50: Enormous Integers/Number Theory 7/17/99 11:39PN
51: Enormous Integers/Plane Geometry 7/18/99 3:16PM
52: Cardinals and Cones 7/18/99 3:33PM
53: Free Sets/Reverse Math 7/19/99 2:11PM
54: Recursion Theory/Dynamics 7/22/99 9:28PM
55: Term Rewriting/Proof Theory 8/27/99 3:00PM
56: Consistency of Algebra/Geometry 8/27/99 3:01PM
57: Fixpoints/Summation/Large Cardinals 9/10/99 3:47AM
57': Restatement 9/11/99 7:06AM
58: Program A/Conjectures 9/12/99 1:03AM
59: Restricted summation:Pi-0-1 sentences 9/17/99 10:41AM
60: Program A/Results 9/17/99 1:32PM
61: Finitist proofs of conservation 9/29/99 11:52AM
62: Approximate fixed points revisited 10/11/99 1:35AM
63: Disjoint Covers/Large Cardinals 10/11/99 1:36AM
64: Finite Posets/Large Cardinals 10/11/99 1:37AM
65: Simplicity of Axioms/Conjectures 10/19/99 9:54AM
66: PA/an approach 10/21/99 8:02PM
67: Nested Min Recursion/Large Cardinals 10/25/99 8:00AM
68: Bad to Worse/Conjectures 10/28/99 10:00PM
69: Baby Real Analysis 11/1/99 6:59AM
70: Efficient Formulas and Schemes 11/1/99 1:46PM
71: Ackerman/Algebraic Geometry/1 12/10/99 1:52PM
72: New finite forms/large cardinals 12/12/99 6:11AM
73: Hilbert's program wide open? 12/20/99 8:28PM
74: Reverse arithmetic beginnings 12/22/99 8:33AM
75: Finite Reverse Mathematics 12/28/99 1:21PM
76: Finite set theories 12/28/99 1:28PM
77: Missing axiom/atonement 1/4/00 3:51PM
78: Quadratic Axioms/Literature Conjectures 1/7/00 11:51AM
79: Axioms for geometry 1/10/00 12:08PM
80: Boolean Relation Theory 3/10/00 9:41AM
81: Finite Distribution 3/13/00 1:44AM
82: Simplified Boolean Relation Theory 3/15/00 9:23AM
83: Tame Boolean Relation Theory 3/20/00 2:19AM
84: BRT/First Major Classification 3/27/00 4:04AM
85: General Framework/BRT 3/29/00 12:58AM
86: Invariant Subspace Problem/fA not= U 3/29/00 9:37AM
87: Programs in Naturalism 5/15/00 2:57AM
88: Boolean Relation Theory 6/8/00 10:40AM
89: Model Theoretic Interpretations of Set Theory 6/14/00 10:28AM
90: Two Universes 6/23/00 1:34PM
91: Counting Theorems 6/24/00 8:22PM
92: Thin Set Theorem 6/25/00 5:42AM
93: Orderings on Formulas 9/18/00 3:46AM
94: Relative Completeness 9/19/00 4:20AM
95: Boolean Relation Theory III 12/19/00 7:29PM
96: Comments on BRT 12/20/00 9:20AM
97: Classification of Set Theories 12/22/00 7:55AM
98: Model Theoretic Interpretation of Large Cardinals 3/5/01 3:08PM
99: Boolean Relation Theory IV 3/8/01 6:08PM
100: Boolean Relation Theory IV corrected 3/21/01 11:29AM
101: Turing Degrees/1 4/2/01 3:32AM
102: Turing Degrees/2 4/8/01 5:20PM
103: Hilbert's Program for Consistency Proofs/1 4/11/01 11:10AM
104: Turing Degrees/3 4/12/01 3:19PM
105: Turing Degrees/4 4/26/01 7:44PM
106: Degenerative Cloning 5/4/01 10:57AM
107: Automated Proof Checking 5/25/01 4:32AM
108: Finite Boolean Relation Theory 9/18/01 12:20PM
109: Natural Nonrecursive Sets 9/26/01 4:41PM
110: Communicating Minds I 12/19/01 1:27PM
111: Communicating Minds II 12/22/01 8:28AM
112: Communicating MInds III 12/23/01 8:11PM
113: Coloring Integers 12/31/01 12:42PM
114: Borel Functions on HC 1/1/02 1:38PM
115: Aspects of Coloring Integers 1/3/02 10:02PM
116: Communicating Minds IV 1/4/02 2:02AM
117: Discrepancy Theory 1/6/02 12:53AM
118: Discrepancy Theory/2 1/20/02 1:31PM
119: Discrepancy Theory/3 1/22.02 5:27PM
120: Discrepancy Theory/4 1/26/02 1:33PM
121: Discrepancy Theory/4-revised 1/31/02 11:34AM
122: Communicating Minds IV-revised 1/31/02 2:48PM
123: Divisibility 2/2/02 10:57PM
124: Disjoint Unions 2/18/02 7:51AM
125: Disjoint Unions/First Classifications 3/1/02 6:19AM
126: Correction 3/9/02 2:10AM
127: Combinatorial conditions/BRT 3/11/02 3:34AM
128: Finite BRT/Collapsing Triples 3/11/02 3:34AM
129: Finite BRT/Improvements 3/20/02 12:48AM
130: Finite BRT/More 3/21/02 4:32AM
131: Finite BRT/More/Correction 3/21/02 5:39PM
132: Finite BRT/cleaner 3/25/02 12:08AM
133: BRT/polynomials/affine maps 3/25/02 12:08AM
134: BRT/summation/polynomials 3/26/02 7:26PM
135: BRT/A Delta fA/A U. fA 3/27/02 5:45PM
136: BRT/A Delta fA/A U. fA/nicer 3/28/02 1:47AM
137: BRT/A Delta fA/A U. fA/beautification 3/28/02 4:30PM
138: BRT/A Delta fA/A U. fA/more beautification 3/28/02 5:35PM
139: BRT/A Delta fA/A U. fA/better 3/28/02 10:07PM
140: BRT/A Delta fA/A U. fA/yet better 3/29/02 10:12PM
141: BRT/A Delta fA/A U. fA/grammatical improvement 3/29/02 10:43PM
142: BRT/A Delta fA/A U. fA/progress 3/30/02 8:47PM
143: BRT/A Delta fA/A U. fA/major overhaul 5/2/02 2:22PM
144: BRT/A Delta fA/A U. fA/finesse 4/3/02 4:29AM
145: BRT/A U. B U. TB/simplification/new chapter 4/4/02 4:01AM
146: Large large cardinals 4/18/02 4:30AM
147 :Another Way 7:21AM 4/22/02
148: Finite forms by relativization 2:55AM 5/15/02
149: Bad Typo 1:59PM 5/15/02
150: Finite obstruction/statistics  8:55AM  6/1/02
151: Finite forms by bounding  4:35AM  6/5/02
152: sin  10:35PM  6/8/02
153: Large cardinals as general algebra  1:21PM  6/17/02
154: Orderings on theories  5:28AM  6/25/02
155: A way out  8/13/02  6:56PM
156: Societies  8/13/02  6:56PM
157: Finite Societies  8/13/02  6:56PM
158: Sentential Reflection  3/31/03  12:17AM
159. Elemental Sentential Reflection  3/31/03  12:17AM
160. Similar Subclasses  3/31/03  12:17AM
161: Restrictions and Extensions  3/31/03  12:18AM
162: Two Quantifier Blocks  3/31/03  12:28PM
163: Ouch!  4/20/03  3:08AM
164: Foundations with (almost) no axioms 4/22/03  5:31PM
165: Incompleteness Reformulated  4/29/03  1:42PM
166: Clean Godel Incompleteness  5/6/03  11:06AM
167: Incompleteness Reformulated/More  5/6/03  11:57AM
168: Incompleteness Reformulated/Again 5/8/03  12:30PM
169: New PA Independence  5:11PM  8:35PM
170: New Borel Independence  5/18/03  11:53PM
171: Coordinate Free Borel Statements  5/22/03  2:27PM
172: Ordered Fields/Countable DST/PD/Large Cardinals  5/34/03  1:55AM
173: Borel/DST/PD  5/25/03  2:11AM
174: Directly Honest Second Incompleteness  6/3/03  1:39PM
175: Maximal Principle/Hilbert's Program  6/8/03  11:59PM
176: Count Arithmetic  6/10/03  8:54AM
177: Strict Reverse Mathematics 1  6/10/03  8:27PM
178: Diophantine Shift Sequences  6/14/03  6:34PM
179: Polynomial Shift Sequences/Correction  6/15/03  2:24PM
180: Provable Functions of PA  6/16/03  12:42AM
181: Strict Reverse Mathematics 2:06/19/03  2:06AM
182: Ideas in Proof Checking 1  6/21/03 10:50PM
183: Ideas in Proof Checking 2  6/22/03  5:48PM
184: Ideas in Proof Checking 3  6/23/03  5:58PM
185: Ideas in Proof Checking 4  6/25/03  3:25AM
186: Grand Unification 1  7/2/03  10:39AM
187: Grand Unification 2 - saving human lives 7/2/03 10:39AM
188: Applications of Hilbert's 10-th 7/6/03  4:43AM
189: Some Model theoretic Pi-0-1 statements  9/25/03  11:04AM
190: Diagrammatic BRT 10/6/03  8:36PM
191: Boolean Roots 10/7/03  11:03 AM
192: Order Invariant Statement 10/27/03 10:05AM
193: Piecewise Linear Statement  11/2/03  4:42PM
194: PL Statement/clarification  11/2/03  8:10PM
195: The axiom of choice  11/3/03  1:11PM
196: Quantifier complexity in set theory  11/6/03  3:18AM
197: PL and primes 11/12/03  7:46AM
198: Strong Thematic Propositions 12/18/03 10:54AM
199: Radical Polynomial Behavior Theorems
200: Advances in Sentential Reflection 12/22/03 11:17PM
201: Algebraic Treatment of First Order Notions 1/11/04 11:26PM
202: Proof(?) of Church's Thesis 1/12/04 2:41PM
203: Proof(?) of Church's Thesis - Restatement 1/13/04 12:23AM
204: Finite Extrapolation 1/18/04 8:18AM
205: First Order Extremal Clauses 1/18/04 2:25PM
206: On foundations of special relativistic kinematics 1 1/21/04 5:50PM
207: On foundations of special relativistic kinematics 2  1/26/04   
12:18AM
208: On foundations of special relativistic kinematics 3  1/26/04   
12:19AAM
209: Faithful Representation in Set Theory with Atoms 1/31/04 7:18AM
210: Coding in Reverse Mathematics 1  2/2/04  12:47AM
211: Coding in Reverse Mathematics 2  2/4/04  10:52AM
212: On foundations of special relativistic kinematics 4  2/7/04  6:28PM
213: On foundations of special relativistic kinematics 5  2/8/04  9:33PM
214: On foundations of special relativistic kinematics 6  2/14/04 9:43AM
215: Special Relativity Corrections  2/24/04 8:13PM
216: New Pi01 statements  6/6/04  6:33PM
217: New new Pi01 statements  6/13/04  9:59PM
218: Unexpected Pi01 statements  6/13/04  9:40PM
219: Typos in Unexpected Pi01 statements  6/15/04  1:38AM
220: Brand New Corrected Pi01 Statements  9/18/04  4:32AM
221: Pi01 Statements/getting it right  10/7/04  5:56PM
222: Statements/getting it right again  10/9/04  1:32AM
223: Better Pi01 Independence  11/2/04  11:15AM
224: Prettier Pi01 Independence  11/7/04  8:11PM
225: Better Pi01 Independence  11/9/04  10:47AM
226: Nicer Pi01 Independence  11/10/04  10:43AM
227: Progress in Pi01 Independence  11/11/04  11:22PM
228: Further Progress in Pi01 Independence  11/12/04  2:49AM
229: More Progress in Pi01 Independence  11/13/04  10:41PM
230: Piecewise Linear Pi01 Independence  11/14/04  9:38PM
231: More Piecewise Linear Pi01 Independence  11/15/04  11:18PM
232: More Piecewise Linear Pi01 Independence/correction  11/16/04   
8:57AM
233: Neatening Piecewise Linear Pi01 Independence  11/17/04  12:22AM
234: Affine Pi01 Independence  11/20/04  9:54PM
235: Neatening Affine Pi01 Independence  11/28/04  6:08PM
236: Pi01 Independence/Huge Cardinals  12/2/04  3:49PM
237: More Neatening Pi01 Affine Independence  12/6/04  12:56AM
238: Pi01 Independence/Large Large Cardinals/Correction  12/7/04   
10:31PM
239: Pi01 Update  12/11/04  1:12PM
240: 2nd Pi01 Update  12/13/04  2:49AM
241: 3rd Pi01 Update  12/13/04  4:08AM
242: 4th Pi01 Update  12/18/04  9:47PM
243: Inexplicit Pi01/Ordinals of Set Theories  12/19/04  11:48PM
244: LUB Systems  2/26/05  8PM
245: Relational System Theory 1  5/16/05  12:24PM
246: Relational System Theory 2  5/15/05  9:57PM
247: Inevitability of Logical Strength  5/15/05  9:57PM
248: Relational System Theory 2/restated  5/26/05  1:46AM
249: Rich Antichains and Large Cardinals  6/9/05  2:46PM
250. Extreme Cardinals/Pi01  7/31/05  8:34PM
251. Embedding Axioms  8/1/05  10:40AM
252. Pi01 Revisited  10/25/05  10:35PM
253. Pi01 Progress  10/26/05  6:32AM
254. Pi01 Progress/more  11/10/05  4:37AM
255. Controlling Pi01  11/12  5:10PM
256. NAME:finite inclusion theory  11/21/05  2:34AM
257. FIT/more  11/22/05  5:34AM
258. Pi01/Simplification/Restatement  11/27/05  2:12AM
259. Pi01 pointer  11/30/05  10:36AM
260. Pi01/simplification  12/3/05  3:11PM
261. Pi01/nicer  12/5/05  2:26AM
262. Correction/Restatement  12/9/05  10:13AM
263. Pi01/digraphs 1  1/13/06  1:11AM
264. Pi01/digraphs 2  1/27/06  11:34AM
265. Pi01/digraphs 2/more  1/28/06  2:46PM
266. Pi01/digraphs/unifying 2/4/06  5:27AM
267. Pi01/digraphs/progress  2/8/06  2:44AM
268. Finite to Infinite 1  2/22/06  9:01AM
269. Pi01,Pi00/digraphs  2/25/06  3:09AM
270. Finite to Infinite/Restatement  2/25/06  8:25PM
271. Clarification of Smith Article  3/22/06  5:58PM
272. Sigma01/optimal  3/24/06  1:45PM
273: Sigma01/optimal/size  3/28/06  12:57PM
274: Subcubic Graph Numbers  4/1/06  11:23AM
275: Kruskal Theorem/Impredicativity  4/2/06  12:16PM
276: Higman/Kruskal/impredicativity  4/4/06  6:31AM
277: Strict Predicativity  4/5/06  1:58PM
278: Ultra/Strict/Predicativity/Higman  4/8/06  1:33AM
279: Subcubic graph numbers/restated  4/8/06  3:14AN
280: Generating large caridnals/self embedding axioms  5/2/06 4:55AM
281: Linear Self Embedding Axioms  5/5/06  2:32AM
282: Adventures in Pi01 Independence  5/7/06
283: A theory of indiscernibles  5/7/06  6:42PM
284: Godel's Second  5/9/06  10:02AM
285: Godel's Second/more  5/10/06  5:55PM
286: Godel's Second/still more  5/11/06  2:05PM
287: More Pi01 adventures  5/18/06  9:19AM
288: Discrete ordered rings and large cardinals  6/1/06  11:28AM
289: Integer Thresholds in FFF  6/6/06  10:23PM
290: Independently Free Minds/Collectively Random Agents 6/12/06
11:01AM
291: Independently Free Minds/Collectively Random Agents (more) 6/13/06
5:01PM
292: Concept Calculus 1  6/17/06  5:26PM
293: Concept Calculus 2  6/20/06  6:27PM
294: Concept Calculus 3  6/25/06  5:15PM
295: Concept Calculus 4  7/3/06  2:34AM
296: Order Calculus  7/7/06  12:13PM
297: Order Calculus/restatement  7/11/06  12:16PM
298: Concept Calculus 5  7/14/06  5:40AM
299: Order Calculus/simplification  7/23/06  7:38PM
300: Exotic Prefix Theory   9/14/06   7:11AM
301: Exotic Prefix Theory (correction)  9/14/06  6:09PM
302: PA Completeness  10/29/06  2:38AM
303: PA Completeness (restatement)  10/30/06  11:53AM
304: PA Completeness/strategy 11/4/06  10:57AM
305: Proofs of Godel's Second  12/21/06  11:31AM
306: Godel's Second/more  12/23/06  7:39PM
307: Formalized Consistency Problem Solved  1/14/07  6:24PM
308: Large Large Cardinals  7/05/07  5:01AM
309: Thematic PA Incompleteness  10/22/07  10:56AM
310: Thematic PA Incompleteness 2  11/6/07  5:31AM
311: Thematic PA Incompleteness 3  11/8/07  8:35AM
312: Pi01 Incompleteness  11/13/07  3:11PM
313: Pi01 Incompleteness  12/19/07  8:00AM
314: Pi01 Incompleteness/Digraphs  12/22/07  4:12AM
315: Pi01 Incompleteness/Digraphs/#2  1/16/08  7:32AM
316: Shift Theorems  1/24/08  12:36PM
317: Polynomials and PA  1/29/08  10:29PM
318: Polynomials and PA #2  2/4/08  12:07AM
319: Pi01 Incompleteness/Digraphs/#3  2/12/08  9:21PM
320: Pi01 Incompleteness/#4  2/13/08  5:32PM
321: Pi01 Incompleteness/forward imaging  2/19/08  5:09PM
322: Pi01 Incompleteness/forward imaging 2  3/10/08  11:09PM
323: Pi01 Incompleteness/point deletion  3/17/08  2:18PM
324: Existential Comprehension  4/10/08  10:16PM
325: Single Quantifier Comprehension  4/14/08  11:07AM
326: Progress in Pi01 Incompleteness 1  10/22/08  11:58PM
327: Finite Independence/update  1/16/09  7:39PM
328: Polynomial Independence 1   1/16/09  7:39PM
329: Finite Decidability/Templating  1/16/09  7:01PM
330: Templating Pi01/Polynomial  1/17/09  7:25PM
331: Corrected Pi01/Templating  1/20/09  8:50PM
332: Preferred Model  1/22/09  7:28PM
333: Single Quantifier Comprehension/more  1/26/09  4:32PM
334: Progress in Pi01 Incompleteness 2   4/3/09  11:26PM
335: Undecidability/Euclidean geometry  4/27/09  1:12PM
336: Undecidability/Euclidean geometry/2  4/29/09  1:43PM
337: Undecidability/Euclidean geometry/3  5/3/09   6:54PM
338: Undecidability/Euclidean geometry/4  5/5/09   6:38PM
339: Undecidability/Euclidean geometry/5  5/7/09   2:25PM
340: Thematic Pi01 Incompleteness 1  5/13/09  5:56PM
341: Thematic Pi01 Incompleteness 2  5/21/09  7:25PM
342: Thematic Pi01 Incompleteness 3  5/23/09  7:48PM
343: Goedel's Second Revisited 1  5/27/09  6:07AM
344: Goedel's Second Revisited 2  6/1/09  9:21PM
345: Thematic Pi01 Incompleteness 4 6/15/09  1:15PM
appears misnumbered as 344.
346: Goedel's Second Revisited 3  6/16/09  11:04PM
347: Goedel's Second Revisited 4  6/20/09  1:25AM
348: Goedel's Second Revisited 5  6/22/09  11:00AM
349: Pi01 Incompleteness/set series  7/20/09  11:21PM

Harvey Friedman

More information about the FOM mailing list