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 62695
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.
0
votes
Elementary equivalence of ordinals
As far as I can see the problems are fully discussed in "The elementary theory of well orderings" by Doner, Mostowski and Tarski mentioned already by Andreas Blass. Lemma 44 covers as Andreas Blass e …
5
votes
Is there a modern account of Veblen functions of *several* variables?
I think the following paper by Buchholz should provide very useful information. http://www.mathematik.uni-muenchen.de/~buchholz/articles/jaegerfestschr_buchholz3.pdf
2
votes
Where can I read about Veblen functions / klammersymbols beyond the large Veblen ordinal?
Here is some relevant information by a grandmaster on the subject:
http://www.mathematik.uni-muenchen.de/~buchholz/articles/jaegerfestschr_buchholz3.pdf
15
votes
Accepted
Application of the Riemann hypothesis and the ABC conjecture to independence results
Presumably this is my task:
Question 1. can someone give a short description of the stated work(s)?
The work centers around the "phase transition for
Gödel incompleteness" program. The basis idea i …