TransWikia.com

Questions Tagged with "lo.logic"

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

Appearance of proof relevance in "ordinary mathematics?"

2 answer

MathOverflow Asked 2 years ago by mcncm

Is there an abstract logic that defines the mantle?

1 answer

MathOverflow Asked 2 years ago

The strength of "There are no $Pi^1_1$-pseudofinite sets"

1 answer

MathOverflow Asked 2 years ago

Proof of second incompleteness theorem for Set theory without Arithmetization of Syntax

0 answer

MathOverflow Asked 2 years ago

The inconsistency of Graham Arithmetics plus $ forall n, n < g_{64}$

2 answer

MathOverflow Asked 2 years ago by Mirco A. Mannucci

Reference request on Gentzen's proof of the consistency of PA

1 answer

MathOverflow Asked 2 years ago

A new cardinality living in every forcing extension?

1 answer

MathOverflow Asked 2 years ago

Algebraization of arithmetic and stronger theories?

0 answer

MathOverflow Asked 2 years ago by Frode Alfson Bjørdal

What subsystem of third order arithmetic proves the real numbers are Dedekind complete?

1 answer

MathOverflow Asked 2 years ago

Data abstraction in set theory via Urelements

1 answer

MathOverflow Asked 3 years ago by Steven Obua

  • Page 1 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