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 19075
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
Applications of logic to group theory?
See the followings:
Malcev, A. I.
On a general method for obtaining local theorems in group theory, Notices
of the Pedagogical Institute of Ivanovo, Physical-Mathematical Sciences, 1,
3-9 (in R …
- 3,738
5
votes
Non-trivial problems about the trivial group
Problem 1.12 of [Unsolved Problems in Group Theory, The Kourovka Notebook, Novosibirsk, 2010]:
(W. Magnus) The problem of the isomorphism to the trivial group for all groups with $n$ generators and …
- 3,738