[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