Timeline for Is there a theory in a finite language that is computably axiomatizable but not by a finite number of axiom schemas?
Current License: CC BY-SA 4.0
1 event
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 20, 2020 at 15:06 | history | answered | Ali Enayat | CC BY-SA 4.0 |