TransWikia.com

Questions Tagged with "lo.logic" (Page 2)

Explore solved questions tagged with "lo.logic" or help others by answering their unsolved questions related to "lo.logic".

Invariant theory in universal algebra

0 answer

MathOverflow Asked 3 years ago

About functions primitive recursively definable using a $ Sigma _ 1 $ oracle

0 answer

MathOverflow Asked 3 years ago by Mohsen Shahriari

Is there a finite equational basis for the join of the commutative and associative equations?

0 answer

MathOverflow Asked 3 years ago

Examples of $aleph_0$-categorical nonhomogeneous structures

2 answer

MathOverflow Asked 3 years ago

Applications of Set theory vs. model theory in mathematics

0 answer

MathOverflow Asked 3 years ago by Mohammad Golshani

What subsystem of second-order arithmetic is needed for the recursion theorem?

1 answer

MathOverflow Asked 3 years ago

Is there a language of first-order logic such that every r.e. set is Turing-equivalent to some finitely axiomatizable theory in that language?

1 answer

Theoretical Computer Science Asked 3 years ago by Gary Hoppenworth

Groupoids as models of symmetric simplicial sets

1 answer

MathOverflow Asked 3 years ago by Ben MacAdam

How large is the smallest ordinal larger than any “minimal ordinal parameter” for any pair of an Ordinal Turing Machine and a real?

1 answer

MathOverflow Asked 3 years ago by lyrically wicked

Why are texture coordinates often called UVs?

2 answer

Computer Graphics Asked 3 years ago by samanthaj

  • Page 2 of 2
  • 1
  • 2

Ask a Question

Get help from others!

Recent Questions

Recent Answers

Categories

© 2024 TransWikia.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP