Talk:Branching quantifier

PlanetMath

The article at PM is much more advanced than this one, explaining what Henking qfiers are, giving the simplest such, explaining its Skolemisation and showing how it may be used to define the Recsher and Haertig qfiers. We should incorporate the content. --- Charles Stewart^(talk) 02:51, 22 February 2006 (UTC)

You're right, PlanetMath is much more hardcore than us. I will update this one slightly. Nortexoid 03:02, 22 February 2006 (UTC)

I added to the article but more could be done, especially in terms of organization. Hopefully you have a chance to tidy it up. Nortexoid 04:27, 22 February 2006 (UTC)

I've put this on my task list, and I will, eventually, work on this article; I'm a bit distracted with things right now, and am mostly reacting on talk pages and doing little real editing right now. I guess you guessed, but I pointed to PM following your weblog story. You can just lift material from PM: its content is licensed to allow that. --- Charles Stewart(talk) 17:25, 25 February 2006 (UTC)

We could integrate PM's material except that the stuff on game-theoretical semantics is too loosely explained, and it isn't even required since a compositional semantics can be given for logics with the Henkin quantifier. I suppose we could mention that one "natural" semantics for these logics is game-theoretical. Nortexoid 00:12, 26 February 2006 (UTC)

Some Remarks on Infinitely Long Formulas

for example here: http://citeseer.ist.psu.edu/context/408123/0 and in other sources the date of henkins first text about H (Q) is 1961

The Symposium in Warsaw where the talk was given was held in 1959 and published by New York, Pergamon Press in 1961. The reference in the article is to the symposium, not the book, Infinitistic Methods, in which the article was published in 1961. Any bibliographic reference to Henkin's article would cite 1961 as the date of publication. Nortexoid 16:39, 30 August 2006 (UTC)

Second-order translation

In this article it is said that formulas with branching quantifiers are "equivalent" with their second-order translation. Maybe it should be clarified in what context or semantics this "equivalence" has a meaning. I suppose that equivalence may be simply intended as a _definition_ of the Henkin quantifier, yet it would be better to explicitly state this matter of fact. (151.28.253.59 (talk) 19:08, 26 January 2008 (UTC))

External links modified

Hello fellow Wikipedians,

I have just modified one external link on Branching quantifier. Please take a moment to review my edit. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit this simple FaQ for additional information. I made the following changes:

• Added archive https://web.archive.org/web/20070930235518/http://planetmath.org/encyclopedia/Branching.html to http://planetmath.org/encyclopedia/Branching.html

When you have finished reviewing my changes, please set the checked parameter below to true or failed to let others know (documentation at {{Sourcecheck}}).

This message was posted before February 2018. After February 2018, "External links modified" talk page sections are no longer generated or monitored by InternetArchiveBot. No special action is required regarding these talk page notices, other than regular verification using the archive tool instructions below. Editors have permission to delete these "External links modified" talk page sections if they want to de-clutter talk pages, but see the RfC before doing mass systematic removals. This message is updated dynamically through the template {{source check}} (last update: 5 June 2024).

• If you have discovered URLs which were erroneously considered dead by the bot, you can report them with this tool.
• If you found an error with any archives or the URLs themselves, you can fix them with this tool.

Cheers.—InternetArchiveBot (Report bug) 09:00, 7 November 2016 (UTC)