The Tarski-Sher Thesis
Logical constants as the isomorphism-invariant operations, McGee's theorem, and Feferman's objections
Planned, not yet written
This rung already has its place in the Metalogic ladder and a fixed job in the order. The prose is what is missing. Writing it out of sequence would break the guarantee that nothing here uses a term before an earlier article defines it.
Will defineTarski-Sher thesisisomorphism invarianceMcGee's theorem
Assumespermutation invariancelogical constantformality of logic
Related
- Where Validity Comes Fromplanned