On a Diophantine representation of the predicate of provability

Carl, Merlin; Moroz, Boris Z.

Local TagsRelease HistoryDetailsSummary

On a Diophantine representation of the predicate of provability

Carl, M., & Moroz, B. Z. (2012). On a Diophantine representation of the predicate of provability. Zapiski Nauchnykh Seminarov POMI, 407, 77-104. Retrieved from http://www.mathnet.ru/links/fb2a07e6288810a65367bb1c24b91146/znsl5486.pdf.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/21.11116/0000-0004-1E89-1 Version Permalink: https://hdl.handle.net/21.11116/0000-0004-1E8A-0

Genre: Journal Article

Files

show Files

hide Files

:

carl_on a diophantine_2012.pdf (Any fulltext), 333KB

View Save

File Permalink:
https://hdl.handle.net/21.11116/0000-0004-1E8B-F

Name:
carl_on a diophantine_2012.pdf

Description:
-

OA-Status:

Visibility:
Public

MIME-Type / Checksum:
application/pdf / [MD5]

Technical Metadata:

View

Copyright Date:
-

Copyright Info:
eDoc_access: PUBLIC

License:
-

Locators

show

Creators

show

hide

Creators:
Carl, Merlin, Author
Moroz, Boris Z.¹, Author

Affiliations:
1Max Planck Institute for Mathematics, Max Planck Society, ou_3029201

Content

show

Details

show

hide

Language(s): eng - English

Dates: Date issued: 2012

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: Peer

Identifiers: eDoc: 635058
URI: http://www.mathnet.ru/links/fb2a07e6288810a65367bb1c24b91146/znsl5486.pdf

Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show

hide

Title: Zapiski Nauchnykh Seminarov POMI

Alternative Title : Zap. Nauchn. Sem. POMI

Source Genre: Journal

Creator(s):

Affiliations:

Publ. Info: -

Pages: - Volume / Issue: 407 Sequence Number: - Start / End Page: 77 - 104 Identifier: -