Talk:Phase semantics - Revision history

Olivier Laurent: /* LaTeX parsing */ server update moved to old version of texvc

2011-10-22T07:13:25Z

‎LaTeX parsing: server update moved to old version of texvc

Olivier Laurent: Undo revision 541 by Olivier Laurent (Talk) wrong comment

2011-10-22T07:12:55Z

Undo revision 541 by Olivier Laurent (Talk) wrong comment

Olivier Laurent: /* LaTeX parsing */ server update moved to old version of vnc

2011-10-22T07:09:23Z

‎LaTeX parsing: server update moved to old version of vnc

Pierre-Marie Pédrot: /* LaTeX parsing */ new section

2011-10-21T15:02:41Z

‎LaTeX parsing: new section

Pierre Hyvernat: /* Phase semantics */ new section

2009-02-08T21:13:50Z

‎Phase semantics: new section

Pierre Hyvernat: /* Preliminaries: relations and closures */

2009-02-08T11:27:56Z

‎Preliminaries: relations and closures

Pierre Hyvernat: Preliminaries: relations and closures

2009-02-08T11:22:57Z

Preliminaries: relations and closures

New page

== Preliminaries: relations and closures ==

I think everything I write in the preliminaries can be found in Birkhoff, "Lattice theory". Can anyone check? (I don't think I have easy access to a copy.

In particular, I think <math>x^R</math> was written <math>x^{\leftarrow}</math>, with the relation <math>R</math> being implicit.

If so, we should add a reference to that.

-- [[User:Pierre Hyvernat|Pierre Hyvernat]] 11:22, 8 February 2009 (UTC)

← Older revision		Revision as of 07:13, 22 October 2011
Line 33:		Line 33:

	-- [[User:Pierre Hyvernat\|Pierre Hyvernat]] 21:13, 8 February 2009 (UTC)		-- [[User:Pierre Hyvernat\|Pierre Hyvernat]] 21:13, 8 February 2009 (UTC)
−
−	== LaTeX parsing ==
−
−	LaTeX is doing strange things and refuses to parse correct sentences. Any clues, someone? [[User:Pierre-Marie Pédrot\|Pierre-Marie Pédrot]] 15:02, 21 October 2011 (UTC)

← Older revision		Revision as of 07:12, 22 October 2011
Line 33:		Line 33:

	-- [[User:Pierre Hyvernat\|Pierre Hyvernat]] 21:13, 8 February 2009 (UTC)		-- [[User:Pierre Hyvernat\|Pierre Hyvernat]] 21:13, 8 February 2009 (UTC)
		+
		+	== LaTeX parsing ==
		+
		+	LaTeX is doing strange things and refuses to parse correct sentences. Any clues, someone? [[User:Pierre-Marie Pédrot\|Pierre-Marie Pédrot]] 15:02, 21 October 2011 (UTC)

← Older revision		Revision as of 07:09, 22 October 2011
Line 33:		Line 33:

	-- [[User:Pierre Hyvernat\|Pierre Hyvernat]] 21:13, 8 February 2009 (UTC)		-- [[User:Pierre Hyvernat\|Pierre Hyvernat]] 21:13, 8 February 2009 (UTC)
−
−	== LaTeX parsing ==
−
−	LaTeX is doing strange things and refuses to parse correct sentences. Any clues, someone? [[User:Pierre-Marie Pédrot\|Pierre-Marie Pédrot]] 15:02, 21 October 2011 (UTC)

← Older revision		Revision as of 15:02, 21 October 2011
Line 33:		Line 33:

	-- [[User:Pierre Hyvernat\|Pierre Hyvernat]] 21:13, 8 February 2009 (UTC)		-- [[User:Pierre Hyvernat\|Pierre Hyvernat]] 21:13, 8 February 2009 (UTC)
		+
		+	== LaTeX parsing ==
		+
		+	LaTeX is doing strange things and refuses to parse correct sentences. Any clues, someone? [[User:Pierre-Marie Pédrot\|Pierre-Marie Pédrot]] 15:02, 21 October 2011 (UTC)

← Older revision		Revision as of 21:13, 8 February 2009
Line 18:		Line 18:

	-- [[User:Pierre Hyvernat\|Pierre Hyvernat]] 11:27, 8 February 2009 (UTC)		-- [[User:Pierre Hyvernat\|Pierre Hyvernat]] 11:27, 8 February 2009 (UTC)
		+
		+	== Phase semantics ==
		+
		+	===Realisability===
		+
		+	I put the remark
		+
		+	:{{Remark\|
		+	:Some people say that this idea of orthogonality was implicitly present in Tait's proof of strong normalisation. More recently, Jean-Louis Krivine and Alexandre Miquel have used the idea explicitly to do realisability...}}
		+
		+	at the end of the subsection "multiplicative connectives".
		+
		+	Has anybody heard the same about Tait proof and biorthogonal?
		+
		+	-- [[User:Pierre Hyvernat\|Pierre Hyvernat]] 21:13, 8 February 2009 (UTC)

@@ Line 1: / Line 1: @@
 == Preliminaries: relations and closures ==
 I think everything I write in the preliminaries can be found in Birkhoff, "Lattice theory". Can anyone check? (I don't think I have easy access to a copy.
@@ Line 8: / Line 10: @@
 -- [[User:Pierre Hyvernat|Pierre Hyvernat]] 11:22, 8 February 2009 (UTC)