User talk:Qedetc

Welcome
Welcome to ProofWiki! Since you're new, you may want to check out the general help page. It's the best first stop to see how things are done (next to reading proofs, of course!). Please feel free to contribute to whichever area of mathematics interests you, either by adding new proofs, or fixing up existing ones. If you have any questions please feel free to contact me, or post your question on the questions page.

Here are some useful pages to help get you started:
 * Community Portal - To see what needs to be done, and keep up to date with the community.
 * Recent Changes - To keep up with what's new, and what's being added.
 * Check out our house style if you are keen on contributing.
 * Main Page talk - This is where most of the main discussions regarding the direction of the site take place. If you have any ideas, please share them!

Cheers, prime.mover (talk)

Links and Categories
Please try and add a) links to definitions and any other proofs that a page depends on, and b) the category that you consider your proof to belong. That's the whole point of this site - being able to link each concept in a proof back to its source. As it is, I'm going through and adding a MissingLinks template and a category that a proof seems to belong to, but I'd rather be getting on with doing other stuff.

If the concepts and proofs required for an exposition do not exist yet (or you just can't find them) add a link anyway (it will appear red) rather than just ignore it. Please pretty please with a cherry on top. --prime mover 15:38, 2 June 2011 (CDT)


 * Thank you for your response. Please be aware that your work is valued, (particularly by me because it's areas of mathematics with which I am unfamiliar - all my postgraduate education has been strictly self-driven) but I for one am not confident that any cross-linking I do is going to be at all accurate. I understand your reluctance to get bogged down in the fiddly detail of all this when all you want to do is lay the results down - but be aware that if we do it, we may get some of the tying-together wrong!


 * I notice that there is significant crossover of terminology between this area of formal language theory / model theory which you're in the process of working on, and the point-set topology that I'm also working on (educating myself as I go). So significant is this, that I'm now wondering about the best way of establishing that linkage. No immediate urgency for that, it's something to put on the back-burner unless you have something solid in this area to document. --prime mover 16:18, 2 June 2011 (CDT)

To jump in -- I have no great aspirations to write new stuff at the moment so I'm quite happy to follow up and add in links where I can (though, as you know, they ought to be checked). So long as you're not too unhappy with my alterations, I'll go on linking stuff in with the results I'm aware of --Linus44 18:09, 2 June 2011 (CDT)


 * ... and one more thing: note that links should not contain any LaTeX. If you want its presentation style to do so, fair enough - but think of a pithy way to interpret that link into English. Again, if it's too much trouble then do what you wanna do, but be aware that any link with LaTeX in it will be impossible to search on so we'd have to change it. --prime mover 00:15, 3 June 2011 (CDT)


 * Picking a page name is an art. My personal taste is for short names, the pithier the better, a bit like a newspaper headline. The trouble with that is that their intent can be confused. Not completely necessary to completely define the result in the page name, just enough to identify it. No matter, if the page name is crap it can always be moved to a new one. Variable names in page names - if you can't think of a better way, no worries. --prime mover 15:09, 3 June 2011 (CDT)

Crossover between formal language theory and topology
Well for one, there's ultraproduct which uses the concept of ultrafilter. Then there's the Compactness Theorem which may (or may not) have a topological isomorphism going on.

It sounds plausible, because point-set topology is concerned with the nature of sets which are or are not an element of a subset of the power set of a given set, and model theory does the same thing, by assigning a "true / false" or "satisfiable / unsatisfiable" label against a set which could be considered as being "open / closed" in the topological context. BUT ... do these topological concepts continue to hold in model theory?

Specifically, if it can be shown that the union of any collection of "satisfiable" models is also satisfiable, and the intersection of two satisfiable models is also satisfiable, then there's your isomorphism.

I haven't investigated any of this, I'm just rattling my fingers under the effect of late-Saturday-night chemicalisation, if you get my drift. --prime mover 17:06, 4 June 2011 (CDT)