Информационная система "Конференции"

The 9^th Asian Logic Conference

16-19 August, 2005
Novosibirsk, Russia

Abstracts

Model theory and set theory

One metamathematical paradox.

Nudelman A.S.

Sobolev Institute of Mathematics RAS (Novosibirsk)

It is shown that Peano arithmetic is complete if it has natural model.

Mail to Webmaster
alc9@math.nsc.ru

|Home Page| |English Part|

[SBRAS]

© 1996-2000, Siberian Branch of Russian Academy of Sciences, Novosibirsk
Last update: 06-Jul-2012 (11:44:52)