[FOM] FOM POSTINGS #1-599

Harvey Friedman hmflogic at gmail.com
Sat Aug 15 20:04:42 EDT 2015


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

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

Harvey Friedman


More information about the FOM mailing list