Researchain
Decentralized Journals
A
Archives
Welcome to Researchain!
Feedback Center
Decentralized Journals
A
Archives
Updated
Mathematics
Logic
On cofinality of the smallest covering of the real line by meager sets II
Tomek Bartoszynski
,
Haim Judah
Abstract
We study the ideal of meager sets and related ideals.
Full PDF
Related Researches
Negotiation sets: a general framework
by
Tomasz Witczak
A note on Woodin's HOD dichotomy
by
Gabriel Goldberg
The Baire closure and its logic
by
Guram Bezhanishvili
Full normalization for transfinite stacks
by
Farmer Schlutzenberg
Combinatorial and number-theoretic properties of generic reals
by
Will Brian
A Formal Proof of the Independence of the Continuum Hypothesis
by
Jesse Michael Han
Topological semantics of conservativity and interpretability logics
by
Sohei Iwata
Reconstruction of non- ??0 -categorical theories
by
Itaï Ben Yaacov
Lower bounds on β(α) and other properties of α -ITRMs
by
Merlin Carl
An Escape from Vardanyan's Theorem
by
Ana de Almeida Borges
Mathematical Incompleteness Results in First-Order Peano Arithmetic: A Revisionist View of the Early History
by
Saul A. Kripke
Extending the extensional level of the Minimalist Foundation to axiomatic set theories
by
Samuele Maschio
Torsion-Free Abelian Groups are Borel Complete
by
Gianluca Paolini
Commutative Action Logic
by
Stepan L. Kuznetsov
The Slicing Axioms
by
Ziemowit Kostana
Stashing And Parallelization Pentagons
by
Vasco Brattka
Incompatibility of generic hugeness principles
by
Monroe Eskew
Model completions for universal classes of algebras: necessary and sufficient conditions
by
George Metcalfe
Intuitionism: an inspiration?
by
Wim Veldman
Formalizing groups in type theory
by
Farida Kachapova
Higher indescribability and derived topologies
by
Brent Cody
Large cardinal ideals
by
Brent Cody
Formalizing relations in type theory
by
Farida Kachapova
Predicative Aspects of Order Theory in Univalent Foundations
by
Tom de Jong
The Collapse of the Hilbert Program: A Variation on the Gödelian Theme
by
Saul A. Kripke
«
1
2
3
4
»
Submitted on 19 May 1999
Updated
arXiv.org
Original Source
NASA ADS
Google Scholar
Semantic Scholar