Stack Exchange
sign up | log in |

Mathematics
  • Questions
  • Tags
  • Tour
  • Users
  • Ask Question

user52534

less info
meta site favicon meta user | stack exchange network profile network profile
84 reputation
6
bio website
location
age
visits member for 5 months
seen May 22 at 2:25
stats profile views 18

84 reputation
 bio website visits member for 5 months
6 badges
 location seen May 22 at 2:25
summary answers questions tags badges favorites bounties reputation activity

9 Questions

votes activity newest
4
 $\Sigma^0_1$-soundness of $T\supset PA$
4
 $\Sigma^0_n$ complete sets
3
 Formally Developing Model Theory Within ZFC
2
 A question about consistent axiomatizable extensions of PA
2
 Interpreting one theory into another
view more

84 Reputation

+10 A question about consistent axiomatizable extensions of PA
+10 Interpreting one theory into another
+20 $\Sigma^0_1$-soundness of $T\supset PA$
+5 How to show Simp. and Creat. are $\Sigma^0_2$-Hard
view more

1 Answer

votes activity newest
1
 For a one-to-one function is the pullback of a recursively enumerable set $f^{-1}[W_e] = W_{g(e)}$ where $g$ is one-to-one?

5 Tags

1
computability × 4
0
set-theory × 2
0
logic × 7
0
ordinals
0
model-theory × 2

1 Account

Mathematics Stack Exchange Mathematics 84 rep 6

6 Badges

recent class name
 Promoter  Teacher
 Supporter  Editor
 Scholar  Student

0 Active bounties

active offered earned
This user has no active bounties

4 Votes Cast

all time   by type  
4 up 0 question
0 down 4 answer
user feed
about faq badges blog chat data legal privacy policy jobs advertising info mobile contact us feedback
Technology Life / Arts Culture / Recreation Science Other
  1. Stack Overflow
  2. Server Fault
  3. Super User
  4. Web Applications
  5. Ask Ubuntu
  6. Webmasters
  7. Game Development
  8. TeX - LaTeX
  1. Programmers
  2. Unix & Linux
  3. Ask Different (Apple)
  4. WordPress Answers
  5. Geographic Information Systems
  6. Electrical Engineering
  7. Android Enthusiasts
  8. IT Security
  1. Database Administrators
  2. Drupal Answers
  3. SharePoint
  4. User Experience
  5. Mathematica
  6. more (14)
  1. Photography
  2. Science Fiction & Fantasy
  3. Seasoned Advice (cooking)
  4. Home Improvement
  5. more (13)
  1. English Language & Usage
  2. Skeptics
  3. Mi Yodeya (Judaism)
  4. Travel
  5. Arqade (gaming)
  6. Bicycles
  7. Role-playing Games
  8. more (22)
  1. Mathematics
  2. Cross Validated (stats)
  3. Theoretical Computer Science
  4. Physics
  5. more (7)
  1. Stack Apps
  2. Meta Stack Overflow
  3. Area 51
  4. Stack Overflow Careers
site design / logo © 2013 stack exchange inc; user contributions licensed under cc-wiki with attribution required
rev 2013.5.24.702