Oliver Kennedy
|
62975da833
|
moving 1.6 and poly(*) to appendix
|
2022-05-19 14:45:58 -04:00 |
Oliver Kennedy
|
212b915809
|
Trimming. Down by ~1 column so far.
|
2022-05-18 17:51:12 -04:00 |
Aaron Huber
|
ef0bc79ec8
|
Fixes based on 042822 discussion.
|
2022-05-02 11:17:01 -04:00 |
Aaron Huber
|
813a7f73c0
|
Changes to Conjecture 3.2.
|
2022-05-02 08:10:58 -04:00 |
Aaron Huber
|
78c73d91d9
|
Revision of Prop 2.4 and proof, Lemma 2.6 proof, etc.
|
2022-04-28 10:58:27 -04:00 |
Aaron Huber
|
cac0a7921b
|
Finished cleaning pass on Appendix A.
|
2022-04-20 09:45:11 -04:00 |
Aaron Huber
|
d290904845
|
Cleaning Appendix A up to Lem 1.4.
|
2022-04-19 15:20:55 -04:00 |
Aaron Huber
|
614ef89b4d
|
Cleaning Appendix A.
|
2022-04-19 10:38:52 -04:00 |
Aaron Huber
|
aabae13b75
|
Added proof to Prop 2.4; added text speaking of Grohe's work; started cleaning the appendix.
|
2022-04-19 07:53:10 -04:00 |
Aaron Huber
|
580e6876fb
|
Fixed lemma 4.8 proof per @atri 030722 comments.
|
2022-03-08 20:26:18 -05:00 |
Aaron Huber
|
867a297fc5
|
Changes to S2 @atri 021822 comments.
|
2022-02-21 17:13:01 -05:00 |
Aaron Huber
|
344cb72646
|
Some notation changes and clarifications; changes to prose of S3
|
2022-02-10 13:03:25 -05:00 |
Aaron Huber
|
8262bc137f
|
Finished implementing @atri 012722 suggestions.
|
2022-02-03 12:27:04 -05:00 |
Aaron Huber
|
f08e94482d
|
More changes to Intro changing def 1.4 and example.
|
2022-02-02 10:42:44 -05:00 |
Aaron Huber
|
bc1066e7dd
|
Changed lemma 1.5 and added note to proof regarding using the expanded variables.
|
2022-02-01 17:44:29 -05:00 |
Aaron Huber
|
2dfd9c7452
|
Finished subsection 3.1 and started subsection 3.2 of Intro.
|
2022-01-27 10:58:33 -05:00 |
Aaron Huber
|
f5567e5e94
|
Just about finished 1st subsubsection of subsection 3.
|
2022-01-26 18:11:14 -05:00 |
Oliver Kennedy
|
5ee5943863
|
Rebuttal-oriented fixes
|
2021-09-19 12:17:00 -04:00 |
Aaron Huber
|
9ff4564b3c
|
Finished with pass on Appendix A.
|
2021-09-18 13:48:00 -04:00 |
Aaron Huber
|
0e45d9685a
|
Fixed typo.
|
2021-09-18 12:20:50 -04:00 |
Aaron Huber
|
344d02e50b
|
Rewrote S2.
|
2021-09-18 12:16:56 -04:00 |
Boris Glavic
|
38b25df1f5
|
fix bug
|
2021-09-17 22:41:09 -05:00 |
Boris Glavic
|
c46580baee
|
Merge branch 'master' of gitlab.odin.cse.buffalo.edu:ahuber/SketchingWorlds
|
2021-09-17 22:32:10 -05:00 |
Boris Glavic
|
0e07dca173
|
NX comment
|
2021-09-17 22:30:51 -05:00 |
Oliver Kennedy
|
f08a03c990
|
clarifying an N[X]-BIDB
|
2021-09-17 23:21:37 -04:00 |
Oliver Kennedy
|
c379f14af6
|
a few fixes
|
2021-09-17 22:17:30 -04:00 |
Aaron Huber
|
ea8cb76bcd
|
Moved commented out material into the appendix.
|
2021-09-17 18:10:41 -04:00 |
Aaron Huber
|
6f593b3627
|
Small changes and notes.
|
2021-09-01 11:27:11 -04:00 |
Aaron Huber
|
1535b692cf
|
Fixed Lemma 2.8 proof.
|
2021-08-31 15:06:12 -04:00 |
Aaron Huber
|
c384d5f21b
|
Changes addressing reviewer comments.
|
2021-08-30 22:50:21 -04:00 |
Aaron Huber
|
598687320e
|
More changes based on @atri's 072021 suggestions.
|
2021-07-27 12:23:06 -04:00 |
Aaron Huber
|
95a311565b
|
More changes to notation, etc.
|
2021-06-11 11:22:58 -04:00 |
Aaron Huber
|
742108ef26
|
Fixed ~\ref in appendix.
|
2021-04-10 16:18:04 -04:00 |
Oliver Kennedy
|
c75bd94c0d
|
Minor tweaks
|
2021-04-10 13:21:10 -04:00 |
Boris Glavic
|
dd62648583
|
cref
|
2021-04-10 08:48:26 -05:00 |
Oliver Kennedy
|
6d2a684189
|
Minor adjustments
|
2021-04-10 00:19:16 -04:00 |
Oliver Kennedy
|
58b70f0fcf
|
Cleaning up appendix
|
2021-04-09 22:00:34 -04:00 |
Aaron Huber
|
75b9e6a020
|
Restructured file system for appendix.
|
2021-04-06 11:43:34 -04:00 |