Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with lo.logic
Search options not deleted
user 6342
first-order and higher-order logic, model theory, set theory, proof theory, computability theory, formal languages, definability, interplay of syntax and semantics, constructive logic, intuitionism, philosophical logic, modal logic, completeness, Gödel incompleteness, decidability, undecidability, theories of truth, truth revision, consistency.
1
vote
Complete mathematics
This answer is possibly unhelpful and definitely under-informed, but a good source to look into might be the book Complete Theories by Abraham Robinson. I haven't read it, I just happened to see it a …
- 1,052
12
votes
1
answer
3k
views
Up-to-date version of Principia Mathematica?
Background: I found this interesting translation of Godel's On formally undecidable propositions of Principia Mathematica and related systems I that, along with translating it into English, uses more …
- 1,052
1
vote
Borel / Wadge hierarchies on subsets closed under prepending a finite prefix
I am not sure of a specific, good source for you, but it looks like you are interested in sets that are closed under the 'inverse' of the shift map.
The shift $S:A^\omega\to A^\omega$ is $S(x_1,x_2, …
- 1,052
2
votes
Textbook recommendations for undergraduate proof-writing class
The book I used in my 'proofs' class was "Doing Mathematics: An Introduction to Proofs and Problem Solving" by Steven Galovich, here on Amazon.
The class was called "Mathematical Structures", which …