logic

Documents about logic

• Free algebras and coproducts in varieties of Gödel algebras#128289arXiv (OAI)
• On Chaitin's Heuristic Principle and Halting Probability#131199arXiv (OAI)
• Weak, strong and mixed extensions of relations to spaces of ultrafilters#131335arXiv (OAI)
• A meta-modal logic for bisimulations#139214arXiv (OAI)
• Forcing the $Π^1_3$-Reduction Property and a Failure of $Π^1_3$-Uniformization#141597arXiv (OAI)
• A Failure of $Π^1_{n+3}$-Reduction in the Presence of $Σ^1_{n+3}$-Separation#141631arXiv (OAI)
• Moser-Tardos Algorithm with small number of random bits#163962arXiv (OAI Expanded)
• Generalized Von Neumann Universe and Non-Well-Founded Sets#173433arXiv (OAI Expanded)
• Some derivations among Logarithmic Space Bounded Counting Classes#173441arXiv (OAI Expanded)
• Normalizing Asymptotic Differential Equations#173449arXiv (OAI Expanded)
• Universally defining subrings in function fields#183096arXiv (OAI Expanded)
• Embeddings, ultrapowers and direct powers#608967arXiv (OAI Expanded)
• Hyperfiniteness of boundary actions via tree decompositions#609178arXiv (OAI Expanded)
• Strongly relativizing reals#609649arXiv (All)
• Classical Set Theory: Theory of Sets and Classes#609713arXiv (All)
• Amalgamation in classes of involutive commutative residuated lattices#609717arXiv (All)
• The number of countable models of first-order theories#609810arXiv (All)
• Embeddings, ultrapowers and direct powers#610029arXiv (All)
• $ω_1$-anchored labels in minimal counterexamples to Vaught's conjecture: a per-witness trichotomy and an unconditional stationary dichotomy#612475arXiv (All)
• Quotients-comprehensions duality in relational doctrines#612622arXiv (All)
• Failure of Esakia's theorem in the monadic setting#612736arXiv (All)
• Cofinal types of topological groups#664279arXiv (OAI Expanded)
• Forcing the $Π^1_n$-Uniformization Property#668182arXiv (OAI Expanded)
• On f-generic types in NIP groups#668191arXiv (OAI Expanded)
• A note on valued fields with finite group actions#668286arXiv (OAI Expanded)
• Cantor's Non-Equinumerosity Theorems, Inductively#668340arXiv (OAI Expanded)
• A Comment on Modal Collapse and Ultrafilters in Gödel's Ontological Argument#677722arXiv (All)
• Nonamenable subforests of multi-ended quasi-pmp graphs#684143arXiv (All)
• Classifying group actions on hyperbolic spaces#684226arXiv (All)
• Applications of Borel-definable homological algebra to locally compact groups#684274arXiv (All)
• Proof-Theoretic Relations between Higman's and Kruskal's theorem, and Independence Results for Tree-like Structures#684299arXiv (All)
• Haar decompression and amenability of Ellis flows#684553arXiv (All)
• On the Cauchy-Hamel Continuity of Real Functions#684589arXiv (All)
• Euthydemus#26721Project Gutenberg
• Sophist#26838Project Gutenberg
• The Categories#27933Project Gutenberg
• The Game of Logic#32756Project Gutenberg
• The Advancement of Learning#33289Project Gutenberg
• Deductive Logic#34064Project Gutenberg
• The Essays of Arthur Schopenhauer; the Art of Controversy#36164Project Gutenberg
• Logic: Deductive and Inductive#39487Project Gutenberg
• Pour un changement véritable : une approche philosophique du temps inspirée d’Arthur Prior#288049HAL (France)
• Higher-categorical models of linear logic#294649HAL (France)
• Tractatus logico-philosophicus#621484Internet Archive

Related topics