Open AccessOn two classical results in the first order logic
Author(s) -
Miodrag Kapetanović
Publication year - 2004
Publication title -
publications de l institut mathematique
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.246
H-Index - 17
eISSN - 1820-7405
pISSN - 0350-1302
DOI - 10.2298/pim0476021k
Subject(s) - order (exchange) , computer science , mathematics , calculus (dental) , economics , medicine , dentistry , finance
A common core of proofs of the classical consistency theorem of Hilbert and Ackermann and Herbrand's theorem concerning validity of exis- tential formulas is extracted.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom