Stack Exchange Network

Stack Exchange network consists of 181 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange
Loading…
    • Tour Start here for a quick overview of the site
    • Help Center Detailed answers to any questions you might have
    • Meta Discuss the workings and policies of this site
    • About Us Learn more about Stack Overflow the company, and our products.
  1. current community

    • MathOverflow
      help chat
    • MathOverflow Meta

    your communities

    Sign up or log in to customize your list.

    more stack exchange communities

    company blog
  2. Log in
  3. Sign up
MathOverflow
  1. Home
    1. Public
    2. Questions
    3. Tags
    4. Users
    5. Unanswered
Erfan Khaniki's user avatar
Erfan Khaniki's user avatar
Erfan Khaniki's user avatar
Erfan Khaniki
  • Member for 7 years, 3 months
  • Last seen more than a month ago
  • Tehran, Iran
  • Meta user
  • Network profile
Profile Activity
  • Summary
  • Answers
  • Questions
  • Tags
  • Badges
  • Bounties
  • Reputation
  • All actions

6 Answers

Score Activity Newest
12 votes

Is there good reference for proof complexity?

  • reference-request
  • lo.logic
  • proof-theory
  • proof-complexity
answered Sep 10, 2017 at 15:58
8 votes

Platonic Truth and 1st Order Predicate Logic

  • lo.logic
  • model-theory
answered Dec 27, 2016 at 21:47
5 votes

Finding a PA cut in a nonstandard model of PA

  • lo.logic
  • model-theory
  • theories-of-arithmetic
answered Dec 4, 2017 at 17:31
3 votes

Strength of Bishop style constructive mathematics vs $\mathsf{RCA}_0$

  • lo.logic
  • proof-theory
  • reverse-math
  • constructive-mathematics
answered Jan 20, 2016 at 21:32
2 votes

Admissibility of Harrop's rule, computationally

  • lo.logic
  • computer-science
  • proof-theory
  • constructive-mathematics
  • intuitionism
answered Dec 9, 2016 at 11:49
2 votes

Are Separation and Types the only way to avoid paradoxes?

  • lo.logic
answered Jan 2, 2017 at 23:09
MathOverflow
  • Tour
  • Help
  • Chat
  • Contact
  • Feedback
Company
  • Stack Overflow
  • Teams
  • Advertising
  • Collectives
  • Talent
  • About
  • Press
  • Legal
  • Privacy Policy
  • Terms of Service
  • Cookie Settings
  • Cookie Policy
Stack Exchange Network
  • Technology
  • Culture & recreation
  • Life & arts
  • Science
  • Professional
  • Business
  • API
  • Data
  • Blog
  • Facebook
  • Twitter
  • LinkedIn
  • Instagram

Site design / logo © 2023 Stack Exchange Inc; user contributions licensed under CC BY-SA. rev 2023.3.20.43331

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.