The FOM e-mail list is an automated e-mail list devoted to lively discussion of the foundations of mathematics.
The FOM began as a hand operated 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 on 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 until 2023. Sam Buss took over as moderator in 2023 and is the current moderator.
From the beginning, I have been the principal contributor of state of the art mathematical material, having posted over 960 detailed abstracts in foundations of mathematics – numbered and indexed for convenient retrieval. 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. Few scholars in the foundations of mathematics 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 https://mathweb.ucsd.edu/~sbuss/FOM/
An archive of recent postings since mid-February 2023 is at Current FOM Archives.
An archive of postings prior to mid-February 2023 is at Prior FOM Archives
Here is a list of all of my detailed postings on the FOM which discuss work in progress. They are consecutively numbered.
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/
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/
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
700: Large Cardinals and Continuations/14 8/1/16 11:01AM
701: Extending Functions/1 8/10/16 10:02AM
702: Large Cardinals and Continuations/15 8/22/16 9:22PM
703: Large Cardinals and Continuations/16 8/26/16 12:03AM
704: Large Cardinals and Continuations/17 8/31/16 12:55AM
705: Large Cardinals and Continuations/18 8/31/16 11:47PM
706: Second Incompleteness/1 7/5/16 2:03AM
707: Second Incompleteness/2 9/8/16 3:37PM
708: Second Incompleteness/3 9/11/16 10:33PM
709: Large Cardinals and Continuations/19 9/13/16 4:17AM
710: Large Cardinals and Continuations/20 9/14/16 1:27AM
700: Large Cardinals and Continuations/14 8/1/16 11:01AM
701: Extending Functions/1 8/10/16 10:02AM
702: Large Cardinals and Continuations/15 8/22/16 9:22PM
703: Large Cardinals and Continuations/16 8/26/16 12:03AM
704: Large Cardinals and Continuations/17 8/31/16 12:55AM
705: Large Cardinals and Continuations/18 8/31/16 11:47PM
706: Second Incompleteness/1 7/5/16 2:03AM
707: Second Incompleteness/2 9/8/16 3:37PM
708: Second Incompleteness/3 9/11/16 10:33PM
709: Large Cardinals and Continuations/19 9/13/16 4:17AM
710: Large Cardinals and Continuations/20 9/14/16 1:27AM
711: Large Cardinals and Continuations/21 9/18/16 10:42AM
712: PA Incompleteness/1 9/23/16 1:20AM
713: Foundations of Geometry/1 9/24/16 2:09PM
714: Foundations of Geometry/2 9/25/16 10:26PM
715: Foundations of Geometry/3 9/27/16 1:08AM
716: Foundations of Geometry/4 9/27/16 10:25PM
717: Foundations of Geometry/5 9/30/16 12:16AM
718: Foundations of Geometry/6 101/16 12:19PM
719: Large Cardinals and Emulations/22
720: Foundations of Geometry/7 10/2/16 1:59PM
721: Large Cardinals and Emulations//23 10/4/16 2:35AM
722: Large Cardinals and Emulations/24 10/616 1:59AM
723: Philosophical Geometry/8 10/816 1:47AM
724: Philosophical Geometry/9 10/10/16 9:36AM
725: Philosophical Geometry/10 10/14/16 10:16PM
726: Philosophical Geometry/11 Oct 17 16:04:26 EDT 2016
727: Large Cardinals and Emulations/25 10/20/16 1:37PM
728: Philosophical Geometry/12 10/24/16 3:35PM
729: Consistency of Mathematics/1 10/25/16 1:25PM
730: Consistency of Mathematics/2 11/17/16 9:50PM
731: Large Cardinals and Emulations/26 11/21/16 5:40PM
732: Large Cardinals and Emulations/27 11/28/16 1:31AM
733: Large Cardinals and Emulations/28 12/6/16 1AM
734: Large Cardinals and Emulations/29 12/8/16 2:53PM
735: Philosophical Geometry/13 12/19/16 4:24PM
736: Philosophical Geometry/14 12/20/16 12:43PM
737: Philosophical Geometry/15 12/22/16 3:24PM
738: Philosophical Geometry/16 12/27/16 6:54PM
739: Philosophical Geometry/17 1/2/17 11:50PM
740: Philosophy of Incompleteness/2 1/7/16 8:33AM
741: Philosophy of Incompleteness/3 1/7/16 1:18PM
742: Philosophy of Incompleteness/4 1/8/16 3:45AM
743: Philosophy of Incompleteness/5 1/9/16 2:32PM
744: Philosophy of Incompleteness/6 1/10/16 1/10/16 12:15AM
745: Philosophy of Incompleteness/7 1/11/16 12:40AM
746: Philosophy of Incompleteness/8 1/12/17 3:54PM
747: PA Incompleteness/2 2/3/17 12:07PM
748: Large Cardinals and Emulations/30 2/15/17 2:19AM
749: Large Cardinals and Emulations/31 2/15/17 2:19AM
750: Large Cardinals and Emulations/32 2/15/17 2:20AM
751: Large Cardinals and Emulations/33 2/17/17 12:52AM
752: Emulation Theory for Pure Math/1 3/14/17 12:57AM
753: Emulation Theory for Math Logic 3/10/17 2:17AM
754: Large Cardinals and Emulations/34 3/12/17 12:34AM
755: Large Cardinals and Emulations/35 3/12/17 12:33AM
756: Large Cardinals and Emulations/36 3/24/17 8:03AM
757: Large Cardinals and Emulations/37 3/27/17 2:39AM
758: Large Cardinals and Emulations/38 4/10/17 1:11AM
759: Large Cardinals and Emulations/39 4/10/17 1:11AM
760: Large Cardinals and Emulations/40 4/13/17 11:53PM
761: Large Cardinals and Emulations/41 4/15/17 4:54PM
762: Baby Emulation Theory/Expositional 4/17/17 1:23AM
763: Large Cardinals and Emulations/42 5/817 2:18AM
764: Large Cardinals and Emulations/43 5/11/17 12:26AM
765: Large Cardinals and Emulations/44 5/14/17 6:03PM
766: Large Cardinals and Emulations/45 7/2/17 1:22PM
767: Impossible Counting 1 9/2/17 8:28AM
768: Theory Completions 9/4/17 9:13PM
769: Complexity of Integers 1 9/7/17 12:30AM
770: Algorithmic Unsolvability 1 10/13/17 1:55PM
771: Algorithmic Unsolvability 2 10/18/17 10/15/17 10:14PM
772: Algorithmic Unsolvability 3 Oct 19 02:41:32 EDT 2017
773: Goedel’s Second: Proofs/1 Dec 18 20:31:25 EST 2017
774: Goedel’s Second: Proofs/2 Dec 18 20:36:04 EST 2017
775: Goedel’s Second: Proofs/3 Dec 19 00:48:45 EST 2017
776: Logically Natural Examples 1 12/21 01:00:40 EST 2017
777: Goedel’s Second: Proofs/4 12/28/17 8:02PM
778: Goedel’s Second: Proofs/5 12/30/17 2:40AM
779: End of Year Claims 12/31/17 8:03PM
780: One Dimensional Incompleteness/1 1/4/18 1:14AM
781: One Dimensional Incompleteness/2 1/6/18 11:25PM
782: Revolutionary Possibilities/1 1/12/18 11:26AM
783: Revolutionary Possibilities/2 1/20/18 9:43PM
784: Revolutionary Possibilities/3 1/21/18 2:59PM
785: Revolutionary Possibilities/4 1/22/18 12:38AM
786: Revolutionary Possibilities/5 1/24/18 12:15AM
787: Revolutionary Possibilities/6 1/25/18 4:09AM
788: Revolutionary Possibilities/7 2/1/18 2:18AM
789: Revolutionary Possibilities/8 2/1/18 9:02AM
790: Revolutionary Possibilities/9 2/2/18 3:07AM
791: Emulation Theory/Inductive Equations/1 2/8/18 11:52PM
792: Emulation Theory/Inductive Equations/2 2/25/18 12:58PM
793: Emulation Theory/Inductive Equations/3 2/27/18 12:11AM
794: Emulation Theory/Inductive Equations/4 3/6/18 9:22PM
795: Beyond Perfectly Natural/1 3/19/18 7:19PM
796: Beyond Perfectly Natural/2 3/24/18 11:29PM
797: Beyond Perfectly Natural/3 3/27/18 12:37AM
798: Beyond Perfectly Natural/4 3/31/18 5:30PM
799: Beyond Perfectly Natural/5 4/1/18 2:16PM
800: Beyond Perfectly Natural/6 4/3/18 8:37PM
801: Big Foundational Issues/1 4/4/18 12:15AM
802: Systematic f.o.m./1 4/4/18 1:06AM
803: Perfectly Natural/7 4/11/18 1:02AM
804: Beyond Perfectly Natural/8 4/12/18 11:23PM
805: Beyond Perfectly Natural/9 4/20/18 10:47PM
806: Beyond Perfectly Natural/10 4/22/18 9:06PM
807: Beyond Perfectly Natural/11 4/29/18 9:19PM
808: Big Foundational Issues/2 5/1/18 12:24AM
809: Goedel’s Second Reworked/1 5/20/18 3:47PM
810: Goedel’s Second Reworked/2 5/23/18 10:59AM
811: Big Foundational Issues/3 5/23/18 10:06PM
812: Goedel’s Second Reworked/3 5/24/18 9:57AM
813: Beyond Perfectly Natural/12 05/29/18 6:22AM
814: Beyond Perfectly Natural/13 6/3/18 2:05PM
815: Beyond Perfectly Natural/14 6/5/18 9:41PM
816: Beyond Perfectly Natural/15 6/8/18 1:20AM
817: Beyond Perfectly Natural/16 Jun 13 01:08:40
818: Beyond Perfectly Natural/17 6/13/18 4:16PM
819: Sugared ZFC Formalization/1 6/13/18 6:42PM
820: Sugared ZFC Formalization/2 6/14/18 6:45PM
821: Beyond Perfectly Natural/18 6/17/18 1:11AM
822: Tangible Incompleteness/1 7/14/18 10:56PM
823: Tangible Incompleteness/2 7/17/18 10:54PM
824: Tangible Incompleteness/3 7/18/18 11:13PM
825: Tangible Incompleteness/4 7/20/18 12:37AM
826: Tangible Incompleteness/5 7/26/18 11:37PM
827: Tangible Incompleteness Restarted/1 9/23/19 11:19PM
828: Tangible Incompleteness Restarted/2 9/23/19 11:19PM
829: Tangible Incompleteness Restarted/3 9/23/19 11:20PM
830: Tangible Incompleteness Restarted/4 9/26/19 1:17 PM
831: Tangible Incompleteness Restarted/5 9/29/19 2:54AM
832: Tangible Incompleteness Restarted/6 10/2/19 1:15PM
833: Tangible Incompleteness Restarted/7 10/5/19 2:34PM
834: Tangible Incompleteness Restarted/8 10/10/19 5:02PM
835: Tangible Incompleteness Restarted/9 10/13/19 4:50AM
836: Tangible Incompleteness Restarted/10 10/14/19 12:34PM
837: Tangible Incompleteness Restarted/11 10/18/20 02:58AM
838: New Tangible Incompleteness/1 1/11/20 1:04PM
839: New Tangible Incompleteness/2 1/13/20 1:10 PM
840: New Tangible Incompleteness/3 1/14/20 4:50PM
841: New Tangible Incompleteness/4 1/15/20 1:58PM
842: Gromov’s “most powerful language” and set theory 2/8/20 2:53AM
843: Brand New Tangible Incompleteness/1 3/22/20 10:50PM
844: Brand New Tangible Incompleteness/2 3/24/20 12:37AM
845: Brand New Tangible Incompleteness/3 3/28/20 7:25AM
846: Brand New Tangible Incompleteness/4 4/1/20 12:32 AM
847: Brand New Tangible Incompleteness/5 4/9/20 1 34AM
848. Set Equation Theory/1 4/15 11:45PM
849. Set Equation Theory/2 4/16/20 4:50PM
850: Set Equation Theory/3 4/26/20 12:06AM
851: Product Inequality Theory/1 4/29/20 12:08AM
852: Order Theoretic Maximality/1 4/30/20 7:17PM
853: Embedded Maximality (revisited)/1 5/3/20 10:19PM
854: Lower R Invariant Maximal Sets/1: 5/14/20 11:32PM
855: Lower Equivalent and Stable Maximal Sets/1 5/17/20 4:25PM
856: Finite Increasing reducers/1 6/18/20 4 17PM :
857: Finite Increasing reducers/2 6/16/20 6:30PM
858: Mathematical Representations of Ordinals/1 6/18/20 3:30AM
859. Incompleteness by Effectivization/1 6/19/20 1132PM :
860: Unary Regressive Growth/1 8/120 9:50PM
861: Simplified Axioms for Class Theory 9/16/20 9:17PM
862: Symmetric Semigroups 2/2/21 9:11 PM
863: Structural Mapping Theory/1 2/4/21 11:36PM
864: Structural Mapping Theory/2 2/7/21 1:07AM
865: Structural Mapping Theory/3 2/10/21 11:57PM
866: Structural Mapping Theory/4 2/13/21 12:47AM
867: Structural Mapping Theory/5 2/14/21 11:27PM
868: Structural Mapping Theory/6 2/15/21 9:45PM
869: Structural Proof Theory/1 2/24/21 12:10AM
870: Structural Proof Theory/2 2/28/21 1:18AM
871: Structural Proof Theory/3 2/28/21 9:27PM
872: Structural Proof Theory/4 2/28/21 10:38PM
873: Structural Proof Theory/5 3/1/21 12:58PM
874: Structural Proof Theory/6 3/1/21 6:52PM
875: Structural Proof Theory/7 3/2/21 4:07AM
876: Structural Proof Theory/8 3/2/21 7:27AM
877: Structural Proof Theory/9 3/3/21 7:46PM
878: Structural Proof Theory/10 3/3/21 8:53PM
879: Structural Proof Theory/11 3/4/21 4:22AM
880: Tangible Updates/1 4/15/21 1:46AM
881: Some Logical Thresholds 4/29/21 11:49PM
882: Logical Strength Comparability 5/8/21 5:49PM
883: Tangible Incompleteness Lecture Plans 5/16/21 1:29:44
884: Low Strength Zoo/1 5/16/21 1:34:
885: Effective Forms 5/16/21 1:47AM
886: Concerning Natural/1 5/16/21 2:00AM
887: Updated Adventures 9/9/21 9:47AM 2021
888: New(?) kinds of questions 9/9/21 12:32PM
889: Generating r.e. sets 9/12/21 3:38PM
890: Update on Tangible Incompleteness 9/18/21 9:50AM :
891: Remarks on Reverse Mathematics/1 9/21/21 12:50AM :
892: Remarks on Reverse Mathematics/2 9/21/21 8:37AM :
893: Remarks on Reverse Mathematics/3 9/23/21 10:04PM
894: Update on Tangible Incompleteness/2 9/25/21 2:51AM
895: Provably Recursive Functions and Sigma02 9/27/21 1:21 AM
896: (R,<,0,1,+,-,x,Z) 9/27/21 4:52AM
897: Remarks on Reverse Mathematics/4 10/1/21 1:13AM
898: Ultra Convergence/1 10/2/21 12:20AM
899: Remarks on Reverse Mathematics/5 10/3/21 12:34AM
900: Ultra Convergence/2 10/3/21 12:35AM
901: Remarks on Reverse Mathematics/6 10/4/21 5:55AM
902: Mathematical L and OD/RM 10/7/21 5:13AM
903: Foundations of Large Cardinals/1 10/12/21 12:58AM
904: Foundations of Large Cardinals/2 10/13/21 3:17PM
905: Foundations of Large Cardinals/3 10/13/21 3:17PM
906: Foundations of Large Cardinals/4 10/13/21 3:17PM
907: Base Theory Proposals for Third Order RM/1 10/13/21 10:22PM
908: Base Theory Proposals for Third Order RM/2 10/17/21 3:15PM
909: Base Theory Proposals for Third Order RM/3 10/17/21 3:25PM
910: Base Theory Proposals for Third Order RM/4 10/17/21 3:36PM
911: Ultra Convergence/3 1017/21 4:33PM
912: Base Theory Proposals for Third Order RM/5 10/18/21 7:22PM
913: Base Theory Proposals for Third Order RM/6 10/18/21 7:23PM
914: Base Theory Proposals for Third Order RM/7 10/20/21 12:39PM
915: Base Theory Proposals for Third Order RM/8 10/20/21 7:48PM
916: Tangible Incompleteness and Clique Construction/1 12/8/21 7:25PM
917: Proof Theory of Arithmetic/1 12/8/21 7:43PM
918: Tangible Incompleteness and Clique Construction/1 12/11/21 10:15PM
919: Proof Theory of Arithmetic/2 12/11/21 10:17PM
920: Polynomials and PA 1/7/22 4:35PM
921: Polynomials and PA/2 1/9/22 6:57 PM
922: WQO Games 1/10/22 5:32AM
923: Polynomials and PA/3 1/11/22 10:30 PM
924: Polynomials and PA/4 1/13/22 2:02 AM
925: Polynomials and PA/5 2/1/22 9::04PM
926: Polynomials and PA/6 2/1/22 11:20AM
927: Order Invariant Games/1 03/04/22 9:11AM
928: Order Invariant Games/2 03/7/22 4:22AM
929: Physical Infinity/randomness 3/21/22 02:14AM
930: Tangible Indiscernibles/1 05/07/22 7:46PM
931: Tangible Indiscernibles/2 5/14/22 1:34PM
932: Tangible Indiscernibles/3 5/14/22 1:34PM
933: Provable Functions of Set Theories/1 5/16/22 7/11AM
934: Provable Ordinals of Set Theories/1 5/17/22 8:35AM
935: Stable Maximality/Tangible Incompleteness/1 6/3/22 7:05PM
936: Stable Maximality/Tangible Incompleteness/2 6/4/22 11:31PM
937: Logic of Real Numbers/1 6/22/22 7:49AM
938: Logic of Real Functions/1 7/9/22 2:42AM
939: Stable Maximality/1 7/22/22 10:07AM
940: Stable Maximality/2 7/24/2 19:19:48 EDT 2022
941: New Stable Maximality/1 7/29/22 8:44PM
942: New Stable Maximality/2 7/29/22 8:47PM
943: Inductive Constructions/1 8/2/22 3:53AM
944: Inductive Constructions/2 8/2/22 9:55PM
945: Invariant Maximality Continued/1 Fri, 2 Jun 2023 15:36
946: Invariant Maximality Continued/2 Fri, 2 Jun 2023 15:44
947: Rudin and Third Order RM/1 Mon, 5 Jun 2023 23:26:57
948: Rudin and Third Order RM/2 Thu, 8 Jun 2023 14:04:59
949: Rudin and Third Order RM/3 Thu, 8 Jun 2023
950: Rudin and Third Order RM/4 Fri, 9 Jun 2023
951: Rudin and Third Order RM/5 Mon, 12 Jun 2023
952: Invariant Maximality Continued/3 Mon, 12 Jun 2023 21:02:05
953: Rudin and Third Order RM/6 Mon, 19 Jun 2023 01:59:43
954: Rudin and Third Order RM/7 Mon, 19 Jun 2023 07:46:41
955: Rudin and Third Order RM/8 Tue, 27 Jun 2023 00:41:54
956: Invariant Maximality Continued/4 Wed, 28 Jun 2023 16:45:41
957. Tangible Incompleteness Update/1 22 Nov 2023 06:15
958: Tangible Incompleteness Update/2 Fri, 24 Nov 2023 12:40
959: Tangible Incompleteness Update/3 Mon, 27 Nov 2023 11:47
960: Tangible Incompleteness:SRP,HUGE/1 23 Dec 2023 4:40