FOM EMAIL LIST

The FOM e-mail list is an automated e-mail list devoted to lively discussion of the foundations of mathematics.

The FOM began as an automated e-mail list that I set up, in 1997, with about a couple of dozen scholars in foundations of mathematics. The initial discussions were very lively, and mostly concerned criticisms and defenses of my strong views on the speical status of foundations of mathematics within mathematical logic. Several highly respected model theorists engaged in the traffic of the e-mail list.

Later in 1997, Steve Simpson brought technology to bear and converted the operation to an automated e-mail list using the program Majordomo. Steve served in the capacity of moderator until 2002. In those early years, we both actively contributed to, and aggressively promoted, the FOM. After stepping down as moderator, Steve remained on the FOM Editorial Board. Martin Davis took over as moderator till this day.

From the beginning, I have been the principal contributor of state of the art mathematical material, having posted 519 detailed abstracts in foundations of mathematics – numbered and indexed for convenient retrieval (as of January 15, 2014). I have also authored some hundreds of less formal exchanges about a variety of topics in foundations of mathematics.

I use it as my major method of dissemination of new mathematical results and ideas, and frequently obtain valuable feedback from unexpected sources. I do not know of any other scholars in the foundations of mathematics who actively or regularly use this method of dissemination, but it is being systematically used by several prominent mathematicians, including Timothy Gowers and Terence Tao.

Information about the FOM e-mail list can be obtained at http://www.cs.nyu.edu/mailman/listinfo/fom

The FOM archives are located at http://www.cs.nyu.edu/pipermail/fom.  Postings to the FOM e-mail list can be conveniently retrieved from there.

Here is a list of all of my detailed postings on the FOM which discuss work in progress. They are consecutively numbered. These can all be accessed at the website http://www.cs.nyu.edu/pipermail/fom/

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
350: one dimensional set series  7/23/09  12:11AM
351: Mapping Theorems/Mahlo/Subtle  8/6/09  10:59PM
352: Mapping Theorems/simpler  8/7/09  10:06PM
353: Function Generation 1  8/9/09  12:09PM
354: Mahlo Cardinals in HIGH SCHOOL 1  8/9/09  6:37PM
355: Mahlo Cardinals in HIGH SCHOOL 2  8/10/09  6:18PM
356: Simplified HIGH SCHOOL and Mapping Theorem  8/14/09  9:31AM
357: HIGH SCHOOL Games/Update  8/20/09  10:42AM
358: clearer statements of HIGH SCHOOL Games  8/23/09  2:42AM
359: finite two person HIGH SCHOOL games  8/24/09  1:28PM
360: Finite Linear/Limited Memory Games  8/31/09  5:43PM
361: Finite Promise Games  9/2/09  7:04AM
362: Simplest Order Invariant Game  9/7/09  11:08AM
363: Greedy Function Games/Largest Cardinals 1
364: Anticipation Function Games/Largest Cardinals/Simplified 9/7/09
11:18AM
365: Free Reductions and Large Cardinals 1  9/24/09  1:06PM
366: Free Reductions and Large Cardinals/polished  9/28/09 2:19PM
367: Upper Shift Fixed Points and Large Cardinals  10/4/09 2:44PM
368: Upper Shift Fixed Point and Large Cardinals/correction 10/6/09
8:15PM
369. Fixed Points and Large Cardinals/restatement  10/29/09 2:23PM
370: Upper Shift Fixed Points, Sequences, Games, and Large Cardinals
11/19/09  12:14PM
371: Vector Reduction and Large Cardinals  11/21/09  1:34AM
372: Maximal Lower Chains, Vector Reduction, and Large Cardinals
11/26/09  5:05AM
373: Upper Shifts, Greedy Chains, Vector Reduction, and Large
Cardinals  12/7/09  9:17AM
374: Upper Shift Greedy Chain Games  12/12/09  5:56AM
375: Upper Shift Clique Games and Large Cardinals 1graham
376: The Upper Shift Greedy Clique Theorem, and Large Cardinals
12/24/09  2:23PM
377: The Polynomial Shift Theorem  12/25/09  2:39PM
378: Upper Shift Clique Sequences and Large Cardinals  12/25/09 2:41PM
379: Greedy Sets and Huge Cardinals 1
380: More Polynomial Shift Theorems  12/28/09  7:06AM
381: Trigonometric Shift Theorem  12/29/09  11:25AM
382: Upper Shift Greedy Cliques and Large Cardinals  12/30/09 2:51AM
383: Upper Shift Greedy Clique Sequences and Large Cardinals 1
12/30/09  3:25PM
384: THe Polynomial Shift Translation Theorem/CORRECTION 12/31/09
7:51PM
385: Shifts and Extreme Greedy Clique Sequences  1/1/10  7:35PM
386: Terrifically and Extremely Long Finite Sequences  1/1/10 7:35PM
387: Better Polynomial Shift Translation/typos  1/6/10  10:41PM
388: Goedel’s Second Again/definitive?  1/7/10  11:06AM
389: Finite Games, Vector Reduction, and Large Cardinals 1 2/9/10
3:32PM
390: Finite Games, Vector Reduction, and Large Cardinals 2 2/14/09
10:27PM
391: Finite Games, Vector Reduction, and Large Cardinals 3 2/21/10
5:54AM
392: Finite Games, Vector Reduction, and Large Cardinals 4 2/22/10
9:15AM
393: Finite Games, Vector Reduction, and Large Cardinals 5 2/22/10
3:50AM
394: Free Reduction Theory 1  3/2/10  7:30PM
395: Free Reduction Theory 2  3/7/10  5:41PM
396: Free Reduction Theory 3  3/7/10  11:30PM
397: Free Reduction Theory 4  3/8/10  9:05AM
398: New Free Reduction Theory 1  3/10/10  5:26AM
399: New Free Reduction Theory 2  3/12/10  9:36AM
400: New Free Reduction Theory 3  3/14/10  11:55AM
401: New Free Reduction Theory 4  3/15/10  4:12PM
402: New Free Reduction Theory 5  3/19/10  12:59PM
403: Set Equation Tower Theory 1  3/22/10  2:45PM
404: Set Equation Tower Theory 2  3/24/10  11:18PM
405: Some Countable Model Theory 1  3/24/10  11:20PM
406: Set Equation Tower Theory 3  3/25/10  6:24PM
407: Kernel Tower Theory 1  3/31/10  12:02PM
408: Kernel tower Theory 2  4/1/10  6:46PM
409: Kernel Tower Theory 3  4/5/10  4:04PM
410: Kernel Function Theory 1  4/8/10  7:39PM
411: Free Generation Theory 1  4/13/10  2:55PM
412: Local Basis Construction Theory 1  4/17/10  11:23PM
413: Local Basis Construction Theory 2  4/20/10  1:51PM
414: Integer Decomposition Theory  4/23/10  12:45PM
415: Integer Decomposition Theory 2  4/24/10  3:49PM
416: Integer Decomposition Theory 3  4/26/10  7:04PM
417: Integer Decomposition Theory 4  4/28/10  6:25PM
418: Integer Decomposition Theory 5  4/29/10  4:08PM
419: Integer Decomposition Theory 6  5/4/10   10:39PM
420: Reduction Function Theory 1  5/17/10   2:53AM
421: Reduction Function Theory 2  5/19/10   12:00PM
422: Well Behaved Reduction Functions 1  5/23/10  4:12PM
423: Well Behaved Reduction Functions 2  5/27/10  3:01PM
424: Well Behaved Reduction Functions 3  5/29/10  8:06PM
425: Well Behaved Reduction Functions 4  5/31/10  5:05PM
426: Well Behaved Reduction Functions 5  6/2/10  12:43PM
427: Finite Games and Incompleteness 1  6/10/10  4:08PM
428: Typo Correction in #427  6/11/10  12:11AM
429: Finite Games and Incompleteness 2  6/16/10  7:26PM
430: Finite Games and Incompleteness 3  6/18/10  6:14PM
431: Finite Incompleteness/Combinatorially Simplest  6/20/10  11:22PM
432: Finite Games and Incompleteness 4  6/26/10  8:39PM
433: Finite Games and Incompleteness 5  6/27/10  3:33PM
434: Digraph Kernel Structure Theory 1  7/4/10  3:17PM
435: Kernel Structure Theory 1  7/5/10  5:55PM
436: Kernel Structure Theory 2  7/9/10  5:21PM
437: Twin Prime Polynomial  7/15/10  2:01PM
438: Twin Prime Polynomial/error  9/17/10  1:22PM
439: Twin Prime Polynomial/corrected 9/19/10  2:16PM
440: Finite Phase Transitions  9/26/10  1:28PM
441: Equational Representations  9/27/10  4:59PM
442: Kernel Structure Theory Restated  10/11/10  9:01PM
443: Kernels and Large Cardinals 1  10/21/10  12:16AM
444: The Exploding Universe 1  11/1/10  1:46AMs
445: Kernels and Large Cardinals II  11/17/10  10:13PM
446: Kernels and Large Cardinals III  11/22/10  2:50PM
447: Kernels and Large Cardinals IV  11/23/10  3:51PM
448: Naturalness/PA Independence  12/3/10  12:19AM
449: Maximal Sets and Large Cardinals I  12/4/10  6:57PM
450: Maximal Sets and Large Cardinals II  12/6/10  12:48PM
451: Rational Graphs and Large Cardinals I  12/18/10  10:56PM
452: Rational Graphs and Large Cardinals II  1/9/11  1:36AM
453: Rational Graphs and Large Cardinals III  1/20/11  2:33AM
454: Three Milestones in Incompleteness  2/7/11  12:05AM
455: The Quantifier “most”  2/22/11  4:47PM
456: The Quantifiers “majority/minority”  2/23/11  9:51AM
457: Maximal Cliques and Large Cardinals  5/3/11  3:40AM
458: Sequential Constructions for Large Cardinals  5/5/11  10:37AM
459: Greedy CLique Constructions in the Integers  5/8/11  1:18PM
460: Greedy Clique Constructions Simplified  5/8/11  7:39PM
461: Reflections on Vienna Meeting  5/12/11  10:41AM
462: Improvements/Pi01 Independence  5/14/11  11:53AM
463: Pi01 independence/comprehensive  5/21/11  11:31PM
464: Order Invariant Split Theorem  5/30/11  11:43AM
465: Patterns in Order Invariant Graphs  6/4/11  5:51PM
466: RETURN TO 463/Dominators  6/13/11  12:15AM
467: Comment on Minimal Dominators  6/14/11  11:58AM
468: Maximal Cliques/Incompleteness  7/26/11  4:11PM
469: Invariant Maximality/Incompleteness  11/13/11  11:47AM
470: Invariant Maximal Square Theorem  11/17/11  6:58PM
471: Shift Invariant Maximal Squares/Incompleteness  11/23/11  11:37PM
472. Shift Invariant Maximal Squares/Incompleteness  11/29/11  9:15PM
473: Invariant Maximal Powers/Incompleteness 1  12/7/11  5:13AMs
474: Invariant Maximal Squares  01/12/12  9:46AM
475: Invariant Functions and Incompleteness  1/16/12  5:57PM
476: Maximality, CHoice, and Incompleteness  1/23/12  11:52AM
477: TYPO  1/23/12  4:36PM
478: Maximality, Choice, and Incompleteness  2/2/12  5:45AM
479: Explicitly Pi01 Incompleteness  2/12/12  9:16AM
480: Order Equivalence and Incompleteness
481: Complementation and Incompleteness  2/15/12  8:40AM
482: Maximality, Choice, and Incompleteness 2  2/19/12 7:43AM
483: Invariance in Q[0,n]^k  2/19/12  7:34AM
484: Finite Choice and Incompleteness  2/20/12  6:37AM__
485: Large Large Cardinals  2/26/12  5:55AM
486: Naturalness Issues  3/14/12  2:07PM
487: Invariant Maximality/Naturalness  3/21/12  1:43AM
488: Invariant Maximality Program  3/24/12  12:28AM
489: Invariant Maximality Programs  3/24/12  2:31PM
490: Invariant Maximality Program 2  3/24/12  3:19PM
491: Formal Simplicity  3/25/12  11:50PM
492: Invariant Maximality/conjectures  3/31/12  7:31PM
493: Invariant Maximality/conjectures 2  3/31/12  7:32PM
494: Inv Max Templates/Z+up, upper Z+ equiv  4/5/12  4:17PM
495: Invariant Finite Choice  4/5/12  4:18PM
496: Invariant Finite Choice/restatement  4/8/12  2:18AM
497: Invariant Maximality Restated  5/2/12 2:49AM
498: Embedded Maximal Cliques 1  9/18/12  12:43AM
499. Embedded Maximal Cliques 2  9/19/12  2:50AM
500: Embedded Maximal Cliques 3  9/20/12  10:15PM
501: Embedded Maximal Cliques 4  9/23/12  2:16AM
502: Embedded Maximal Cliques 5  9/26/12  1:21AM
503: Proper Classes of Graphs  10/13/12  12:17PM
504. Embedded Maximal Cliques 6  10/14/12  12:49PM
505: Function Transfer Theory 10/21/12  2:15AM
506: Finite Embedded Weakly Maximal Cliques  10/23/12  12:53AM
507: Finite Embedded Dominators  11/6/12  6:40AM
508: Unique Undefinable Elements  12/22/12  8:08PM
509: A Divine Consistency Proof for Mathematics  12/26/12  2:15AM
510: Unique Undefinable Elements Again  1/9/13  5:07PM
511: A Supernatural Consistency Proof for Mathematics   1/10/13  9:19PM
512: Countable Elementary Extensions  1/11/13  7:31PM
513: Five Supernatural Consistency Proofs for Mathematics  1/14/13  1:13AM
514: Countable Elementary Extensions/again  1/14/13  2:19AM
515: Eight Supernatural Consistency Proofs For Mathematics  1/19/13  2:40PM
516: Embedded Maximal Cliques/restatement  5/21/13  1:31PM
517: New Concrete Mathematical Incompleteness  8/2/13  9:57PM
518: Polynomial Independence  8/7/13  6:04AM
519: New Invariant Maximality  1/8/14  10:59PM
520: Incompleteness – 4 abstracts  6/23/14  10:15PM
521: Countable Model Theory and Incompleteness  6/27/14  10:51AM
522: Order Invariant Graphs and Incompleteness  7/1/14  6:04PM
523: Order Invariant Relations and Incompleteness  7/2014  1:23AM
524: Testing Consistency of Math  7/23/14  6:49AM
525:  Explicitly Finite Pi01  8/8/14  4:22PM
526: More Perfect Pi01  8/9/14  12:09PM
527: Some Mental Pictures i  8/11/14  11:13AM
528: More Perfect Pi01  8/16/14  5:19AM
529: Yet more Perfect Pi01 8/18/14  5:50AM
530: Friendlier Perfect Pi01
531: General Theory/Perfect Pi01  8/22/14  5:16PM
532: More General Theory/Perfect Pi01  8/23/14  7:32AM
533: Progress – General Theory/Perfect Pi01 8/25/14  1:17AM
534: Perfect Explicitly Pi01  8/27/14  10:40AM
535: Updated Perfect Explicitly Pi01  8/30/14  2:39PM
536: Pi01 Progress  9/1/14 11:31AM
537: Pi01/Flat Pics/Testing  9/6/14  12:49AM
538: Progress Pi01 9/6/14  11:31PM
539: Absolute Perfect Naturalness 9/7/14  9:00PM
540: SRM/Comparability  9/8/14  12:03AM
541: Master Templates  9/9/14  12:41AM
542: Templates/LC shadow  9/10/14  12:44AM
543: New Explicitly Pi01  9/10/14  11:17PM
544: Initial Maximality/HUGE  9/12/14  8:07PM
545: Set Theoretic Consistency/SRM/SRP  9/14/14  10:06PM
546: New Pi01/solving CH  9/26/14  12:05AM
547: Conservative Growth – Triples  9/29/14  11:34PM
548: New Explicitly Pi01  10/4/14  8:45PM
549: Conservative Growth – beyond triples  10/6/14  1:31AM
550: Foundational Methodology 1/Maximality  10/17/14  5:43AM
551: Foundational Methodology 2/Maximality  10/19/14 3:06AM
552: Foundational Methodology 3/Maximality  10/21/14 9:59AM
553: Foundational Methodology 4/Maximality  10/21/14 11:57AM
554: Foundational Methodology 5/Maximality  10/26/14 3:17AM
555: Foundational Methodology 6/Maximality  10/29/14 12:32PM
556: Flat Foundations 1  10/29/14  4:07PM
557: New Pi01  10/30/14  2:05PM
558: New Pi01/more  10/31/14 10:01PM
559: Foundational Methodology 7/Maximality  11/214  10:35PM
560: New Pi01/better  11/314  7:45PM
561: New Pi01/HUGE  11/5/14  3:34PM
562: Perfectly Natural Review #1  11/19/14  7:40PM
563: Perfectly Natural Review #2  11/22/14  4:56PM
564: Perfectly Natural Review #3  11/24/14  1:19AM
565: Perfectly Natural Review #4  12/25/14  6:29PM
566: Bridge/Chess/Ultrafinitism 12/25/14  10:46AM
567: Counting Equivalence Classes  1/2/15  10:38AM
568: Counting Equivalence Classes #2  1/5/15  5:06AM
569: Finite Integer Sums and Incompleteness  1/515  8:04PM
570: Philosophy of Incompleteness 1  1/8/15 2:58AM
571: Philosophy of Incompleteness 2  1/8/15  11:30AM
572: Philosophy of Incompleteness 3  1/12/15  6:29PM
573: Philosophy of Incompleteness 4  1/17/15  1:44PM
574: Characterization Theory 1  1/17/15  1:44AM
575: Finite Games and Incompleteness  1/23/15  10:42AM
576: Game Correction/Simplicity Theory  1/27/15  10:39 AM
577: New Pi01 Incompleteness  3/7/15  2:54PM
578: Provably Falsifiable Propositions  3/7/15  2:54PM
579: Impossible Counting  5/26/15  8:58PM
580: Goedel’s Second Revisited  5/29/15  5:52 AM
581: Impossible Counting/more  6/2/15  5:55AM
582: Link+Continuation Theory  1  6/21/15  5:38PM
583: Continuation Theory 2  6/23/15  12:01PM
584: Finite Continuation Theory 3   6/26/15  7:51PM
585: Finite Continuation Theory 4  6/29/15  11:23PM
586: Finite Continuation Theory 5  6/20/15  1:32PM
587: Finite Continuation Theory 6  7/1/15  11:39PM
588: Finite Continuation Theory 7  7/2/15  2:44PM
589: Finite Continuation Theory 8  7/4/15  6:51PM
590: Finite Continuation Theory 9  7/6/15  5:20PM
591: Finite Continuation Theory 10  7/12/15  3:38PM
592: Finite Continuation Theory 11/perfect?  7/29/15  4:30PM
593: Finite Continuation Theory 12/perfect?  8/23/15  9:47PM
594: Finite Continuation Theory 13/perfect?  8/4/15  1:44PM
595: Finite Continuation Theory 14/perfect?  8/5/15  8:23PM
596: Finite Continuation Theory 15/perfect?  8/8/15 12:35AM
597: Finite Continuation Theory 16/perfect?  8/10/15  10:22PM
598: Finite Axiomatizations  8/10/15  5:05AM
599: Invariant Sequential Choice  8/15/15  4:22PM
600: Removing Deep Pathology 1  8/15/15  10:37PM
601: Finite Emulation Theory 1/perfect?  8/22/15  1:17AM
602: Removing Deep Pathology 2  8/23/15  6:35PM
603: Removing Deep Pathology 3  8/25/15  10:24AM
604: Finite Emulation Theory 2  8/26/15  2:54PM
605: Integer and Real Functions  8/27/15  1:50PM
606: Simple Theory of Types  8/29/15  6:30PM
607: Hindman’s Theorem  8/30/15  3:58PM
608: Integer and Real Functions 2  9/1/15  6:40AM
609. Finite Continuation Theory 17  9/315  1:17PM
610: Function Continuation Theory 1  9/4/15  3:40PM
611: Function Emulation/Continuation Theory 2  9/8/15  12:58AM
612: Binary Operation Emulation and Continuation 1  9/7/15  4:35PM
613: Optimal Function Theory 1  9/13/15  11:30AM
614: Adventures in Formalization 1  9/14/15  1:43PM
615: Adventures in Formalization 2  9/14/15  1:44PM
616: Adventures in Formalization 3  9/14/15  1:45PM
617: Removing Connectives 1  9/115/15  7:47AM
618: Adventures in Formalization 4  9/15/15  3:07PM
619: Nonstandardism 1  9/17/15  9:57AM
620: Nonstandardism 2  9/18/15  2:12AM
621: Adventures in Formalization  5  9/18/15  12:54PM
622: Adventures in Formalization 6  9/29/15  3:33AM
623: Optimal Function Theory 2  9/22/15  12:02AM
624: Optimal Function Theory 3  9/22/15  11:18AM
625: Optimal Function Theory 4  9/23/15  10:16PM
626: Optimal Function Theory 5  9/2515  10:26PM
627: Optimal Function Theory 6  9/29/15  2:21AM
628: Optimal Function Theory 7  10/2/15  6:23PM
629: Boolean Algebra/Simplicity  10/3/15  9:41AM
630: Optimal Function Theory 8  10/3/15  6PM
631: Order Theoretic Optimization 1  10/1215  12:16AM
632: Rigorous Formalization of Mathematics 1  10/13/15  8:12PM
633: Constrained Function Theory 1  10/18/15 1AM
634: Fixed Point Minimization 1  10/20/15  11:47PM
635: Fixed Point Minimization 2  10/21/15  11:52PM
636: Fixed Point Minimization 3  10/22/15  5:49PM
637: Progress in Pi01 Incompleteness 1  10/25/15  8:45PM
638: Rigorous Formalization of Mathematics 2  10/25/15 10:47PM
639: Progress in Pi01 Incompleteness 2  10/27/15  10:38PM
640: Progress in Pi01 Incompleteness 3  10/30/15  2:30PM
641: Progress in Pi01 Incompleteness 4  10/31/15  8:12PM
642: Rigorous Formalization of Mathematics 3
643: Constrained Subsets of N, #1  11/3/15  11:57PM
644: Fixed Point Selectors 1  11/16/15  8:38AM
645: Fixed Point Minimizers #1  11/22/15  7:46PM
646: Philosophy of Incompleteness 1  Nov 24 17:19:46 EST 2015
647: General Incompleteness almost everywhere 1  11/30/15  6:52PM
648: Necessary Irrelevance 1  12/21/15  4:01AM
649: Necessary Irrelevance 2  12/21/15  8:53PM
650: Necessary Irrelevance 3  12/24/15  2:42AM
651: Pi01 Incompleteness Update  2/2/16  7:58AM
652: Pi01 Incompleteness Update/2  2/7/16  10:06PM
653: Pi01 Incompleteness/SRP,HUGE  2/8/16  3:20PM
654: Theory Inspired by Automated Proving 1  2/11/16  2:55AM
655: Pi01 Incompleteness/SRP,HUGE/2  2/12/16  11:40PM
656: Pi01 Incompleteness/SRP,HUGE/3  2/13/16  1:21PM
657: Definitional Complexity Theory 1  2/15/16  12:39AM
658: Definitional Complexity Theory 2  2/15/16  5:28AM
659: Pi01 Incompleteness/SRP,HUGE/4  2/22/16  4:26PM
660: Pi01 Incompleteness/SRP,HUGE/5  2/22/16  11:57PM
661: Pi01 Incompleteness/SRP,HUGE/6  2/24/16  1:12PM
662: Pi01 Incompleteness/SRP,HUGE/7  2/25/16  1:04AM
663: Pi01 Incompleteness/SRP,HUGE/8  2/25/16  3:59PM
664: Unsolvability in Number Theory  3/1/16  8:04AM
665: Pi01 Incompleteness/SRP,HUGE/9  3/1/16  9:07PM
666: Pi01 Incompleteness/SRP,HUGE/10  13/18/16  10:43AM
667: Pi01 Incompleteness/SRP,HUGE/11  3/24/16  9:56PM
668: Pi01 Incompleteness/SRP,HUGE/12  4/7/16  6:33PM
669: Pi01 Incompleteness/SRP,HUGE/13  4/17/16  2:51PM
670: Pi01 Incompleteness/SRP,HUGE/14  4/28/16  1:40AM
671: Pi01 Incompleteness/SRP,HUGE/15  4/30/16  12:03AM
672: Refuting the Continuum Hypothesis?  5/1/16  1:11AM
673: Pi01 Incompleteness/SRP,HUGE/16  5/1/16  11:27PM
674: Refuting the Continuum Hypothesis?/2  5/4/16  2:36AM
675: Embedded Maximality and Pi01 Incompleteness/1  5/7/16  12:45AM
676: Refuting the Continuum Hypothesis?/3  5/10/16  3:30AM
677: Embedded Maximality and Pi01 Incompleteness/2  5/17/16  7:50PM
678: Symmetric Optimality and Pi01 Incompleteness/1  5/19/16  1:22AM
679: Symmetric Maximality and Pi01 Incompleteness/1  5/23/16  9:21PM
680: Large Cardinals and Continuations/1  5/29/16 10:58PM
681: Large Cardinals and Continuations/2  6/1/16  4:01AM
682: Large Cardinals and Continuations/3  6/2/16  8:05AM
683: Large Cardinals and Continuations/4  6/2/16  11:21PM
684: Large Cardinals and Continuations/5  6/3/16  3:56AM
685: Large Cardinals and Continuations/6  6/4/16  8:39PM
686: Refuting the Continuum Hypothesis?/4  6/616  9:29PM
687: Large Cardinals and Continuations/7  6/7/16  10:28PM
688: Large Cardinals and Continuations/8  6/9/16  11::41PM
689: Large Cardinals and Continuations/9  6/11/16  2:51PM
690: Two Brief Sketches  6/13/16  1:18AM
691: Large Cardinals and Continuations/10  6/13/16  9:09PM
692: Large Cardinals and Continuations/11  6/15/16  10:22PM
693: Refuting the Continuum Hypothesis?/5  6/21/16  10:44AM
694: Large Cardinals and Continuations/12  6/29/16  11:46PM
695: Refuting the Continuum Hypothesis?/6  7/16  2:28AM
696: Refuting the Continuum Hypothesis?/7  7/ 5/16  7:41PM
697: Refuting the Continuum Hypothesis?/8  7/6/16  6:40PM
698: Large Cardinals and Continuations/13  7/20/16  1:28AM
699: Refuting the Continuum Hypothesis?/9  7/23/16  1:01AM