yusuke1997/dblp-id-title huggingface dataset:
On a convenient property about [gamma] aleph 0
On idealized versions of Pr1(μ +, μ +, μ +, cf(μ))
Some remarks on lengths of propositional proofs
A new correctness criterion for multiplicative non-commutative proof nets
Families of sets related to Rosenthal's lemma
Projective Hausdorff gaps
Limit spaces and transfinite types
Elementary embeddings and games in adapted probability logic
An AEC framework for fields with commuting automorphisms
Forcing Magidor iteration over a core model below 0 ¶
A universal indestructibility theorem compatible with level by level equivalence
Embedding FD ( omega ) into P s densely
An isolic generalization of Cauchy's theorem for finite groups
Preservation theorems for bounded formulas
Further applications of ultra-conservative ω-rules
Arithmetical algorithms for elementary patterns
Fuzzy logic, continuity and effectiveness
Katětov order on Borel ideals
Cofinalities of complete boolean algebras
Definable groups in dense pairs of geometric structures
Recursive Polish spaces
H -theories, fragments of HA and PA-normality
Indiscernibles and satisfaction classes in arithmetic
Herbrand complexity and the epsilon calculus with equality
Positive logics
Mad families, forcing and the Suslin Hypothesis
On the filter of computably enumerable supersets of an r-maximal set
First-order theories of bounded trees
On a weakening of Markov's Principle
Interpreting the compositional truth predicate in models of arithmetic
Proof nets of PN as graphs
Proof-theoretic analysis by iterated reflection
A variant of Mathias forcing that preserves $${\mathsf{ACA}_0}$$
Representation and extension of states on MV-algebras
Aronszajn trees and the successors of a singular cardinal
Minimal elementary end extensions
Amalgamation through quantifier elimination for varieties of commutative residuated lattices
Types in class set theory and inaccessible cardinals
On ordering and multiplication of natural numbers
Second order theories with ordinals and elementary comprehension
Analytic functions over a field of power series
Ultrapowers and boolean ultrapowers of θ and θ 1
Forcing the Mapping Reflection Principle by finite approximations
Ideals of independence
On pseudo-equality algebras
A cofinality-preserving small forcing may introduce a special Aronszajn tree
Superrosiness and dense pairs of geometric structures
An algebraic investigation of Linear Logic
Strict core fuzzy logics and quasi-witnessed models
Siblings of direct sums of chains
Glivenko sequent classes and constructive cut elimination in geometric logics
Q-measures on Q K lambda
Herbrand analyses
Reduction of database independence to dividing in atomless Boolean algebras
On stable torsion-free nilpotent groups
On two problems concerning end extensions
Type-theoretic interpretation of iterated, strictly positive inductive definitions
On relative enumerability of Turing degrees
Subgroups of SF(ω) and the relation of almost containedness
n -Contractive BL-logics
Das Fundamentale Implikationensystem Einer Implikativen Modalitätenstruktur mit Idempotenter Möglichkeit
Rank-into-rank hypotheses and the failure of GCH
Maximal cofinitary groups
Some principles weaker than Markov's principle
Independence of higher Kurepa hypotheses
A classification of an iterative hierarchy
Intersection numbers of families of ideals
Maximal trees
Vitali's Theorem and WWKL
Über den Aussagenkalkül der Experimentalaussagen
A base-matrix lemma for sets of rationals modulo nowhere dense sets
Logic and probabilistic systems
Degree structures of conjunctive reducibility
Some definable properties of sets in non-valuational weakly o-minimal structures
Ultraproducts and Chevalley groups
Les beaux automorphismes
The stable forking conjecture and generic structures
Understanding preservation theorems: chapter VI of Proper and Improper Forcing, I
A Gentzen-style axiomatization for basic predicate calculus
The tree property at successors of singular cardinals
Cofinality of normal ideals on [λ] <κ I
Complexity of admissible rules
Strongly uplifting cardinals and the boldface resurrection axioms
Consistency statements and iterations of computable functions in ISigma 1 and PRA
Hechler's theorem for the null ideal
Iterated trees and fragments of arithmetic
Notation systems for infinitary derivations
Consistency of a λ-theory with n -tuples and easy term
A logical and algebraic treatment of conditional probability
Perfect independent sets with respect to infinitely many relations
Categoricity and generalized model completeness
Analytic combinatory calculi and the elimination of transitivity
Non-homogeneity of quotients of Prikry forcings
Reducts of p-adically closed fields
Completely decomposable abelian groups -categorical over a subgroup
A term rewriting characterization of the polytime functions and related complexity classes
Conservative fragments of S 1 2 and R 1 2
A cardinal preserving extension making the set of points of countable V cofinality nonstationary
Correction to: Generalization of Shapiro's theorem to higher arities and noninjective notations
A computably enumerable vector space with the strong antibasis property
Diamond principles in Cichon's diagram
Ordinal analyses for monotone and cofinal transfinite inductions
Definable Ramsey and definable Erdös ordinals
Kriterien für die Herleitbarkeit in Modalitätenstrukturen
Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
The m\mu-measure as a tool for classifying computational complexity
Categoricity of computable infinitary theories
The algebra of ordinary discourse. On the semantics of Cooper's logic
On the quantifier complexity of bigtriangleup n+1 (T)? induction
P 1 2 {\Pi^1_2} -comprehension and the property of Ramsey
An ordinal analysis of parameter free Pi 1 2 -comprehension
Generic variations and NTP $$_1$$ 1
Continuous triangular norm based fuzzy topology
Definierbare Funktionen im λ -Kalkül mit Typen
The subcompleteness of Magidor forcing
Consistency and interpolation in linear continuous logic
Various remarks on quasi-universal model classes
Spielquantorinterpretation unstetiger Funktionale der höheren Analysis
Comparing the degrees of enumerability and the closed Medvedev degrees
The polytopologies of transfinite provability logic
Ideal generalizations of Egoroff's theorem
Unified characterizations of lowness properties via Kolmogorov complexity
Systems of iterated projective ordinal notations and combinatorial statements about binary labeled trees
Stationary sets added when forcing squares
Degrees of isomorphism types and countably categorical groups
Über das Markov-Prinzip
End extensions of models of fragments of PA
C-Quasi-Minimal enumeration degrees below c'
Interpretationen der Heyting-Arithmetik endlicher Typen
On well-splitting posets
Induction, minimization and collection for Delta n+1 (T)-formulas
On the distribution of Lachlan nonsplitting bases
Level by level inequivalence beyond measurability
La valeur d'un entier classique en lm\lambda\mu-calcul
The Tarski-Lindenbaum algebra of the class of strongly constructivizable models with ømega-stable theories
A notion of rank in set theory without choice
Embeddings into the Medvedev and Muchnik lattices of pi 0 1 classes
Isogeny in superstable groups
Strong measure zero and infinite games
Model-theory of vector-spaces over unspecified fields
A note on ordinal numbers and rings of formal power series
Fruitful and helpful ordinal functions
Enhancing induction in a contraction free logic with unrestricted abstraction: from $\mathbf {Z}$ to $\mathbf {Z}_2$
A closed subset of Baire space not Medvedev equivalent to any closed set of Cantor space
Bounds on Scott rank for various nonelementary classes
Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning
A theory of rules for enumerated classes of functions
Antibasis theorems for $${\Pi^0_1}$$ classes and the jump hierarchy
Baumgartner's isomorphism problem for $$\aleph _2$$ ℵ 2 -dense suborders of $$\mathbb {R}$$ R
Computability of measurable sets via effective topologies
On some Σ B 0 -formulae generalizing counting principles over V 0
Density results in the Delta20 e-degrees
On axiom schemes for T-provably Δ 1 formulas
Markov's Rule revisited
On the infinite-valued Lukasiewicz logic that preserves degrees of truth
Typical automorphism groups of finite nonrigid structures
The unprovability of small inconsistency - A study of local and global interpretability
Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory
On a problem of Woodin
Superstrong and other large cardinals are never Laver indestructible
Some Ramsey-type theorems for countably determined sets
A weakly definable type which is not definable
Majorizing provably recursive functions in fragments of PA
Indestructibility of Vopěnka's Principle
Quantum logic is undecidable
The modal logic of continuous functions on cantor space
Restricted analytic valued fields with partial exponentiation
A note on Spector's quantifier-free rule of extensionality
Ramsey algebras and the existence of idempotent ultrafilters
Pseudointersection numbers, ideal slaloms, topological spaces, and cardinal inequalities
Algebraic semantics for weak subintuitionistic logic WF
The small index property for homogeneous models in AEC's
Efficient elimination of Skolem functions in LK h
Infinitary stability theory
Subsystems of second-order arithmetic between RCA 0 and WKL 0
Quantifier elimination for modules
Prefix classes of krom formulae with identity
On nested simple recursion
A plus-1 theorem for sub-sections
SPFA by finite conditions
Appendix to the paper "Definable sets and expansions of models of Peano arithmetic"
Diagonal reflections on squares
Light affine lambda calculus and polynomial time strong normalization
Convergence of measures after adding a real
The limitations of cupping in the local structure of the enumeration degrees
Destructibility and axiomatizability of Kaufmann models
Countable models of 1-based theories
Dedicated to Richard Laver
Indestructibility and destructible measurable cardinals
Varieties of truth definitions
Die Unentscheidbarkeit der einstelligen unendlichwertigen Prädikatenlogik
Undecidability results on two-variable logics
Some new intuitionistic equivalents of Zorn's Lemma
Inscribing nonmeasurable sets
A version of κ-Miller forcing
Specialising Aronszajn trees by countable approximations
Ein System des Verknüpfenden Schliessens
Cutting planes, connectivity, and threshold logic
Herbrand schemes for first-order logic
Some remarks on a question of D. H. Fremlin regarding epsilon-density
Syntactic characterization of closure under connected limits
On stability in finite models
A flexible type system for the small Veblen ordinal
Monadic GMV -algebras
On the structure of linearly ordered pseudo-BCK-algebras
Weak foundation and axioms of universality
Consistency proof via pointwise induction
The n -rea enumeration degrees are dense
A note on the schemes of replacement and collection
The sharp for the Chang model is small
Monotone operators on Gödel logic
Algebraizable logics with a strong conjunction and their semi-lattice based companions
Reclassifying the antithesis of Specker's theorem
Relatively computably enumerable reals
Zur Beweistheorie Der Kripke-Platek-Mengenlehre Über Den Natürlichen Zahlen
Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume
On the continuity points of left-continuous t-norms
A well-ordering proof for Feferman's theory T 0
On VC-minimal fields and dp-smallness
Constructivity conditions on immune sets
Convexity and unique minimum points
The SB-property on metric structures
Menger's theorem in Π 1 1 -CA 0
On locally modular, weakly minimal theories
On some filters and ideals of the Medvedev lattice
Locally compact groups which are separably categorical structures
Computability in structures representing a Scott set
The classical decision problem and partial functions
Lebesgue numbers and Atsuji spaces in subsystems of second-order arithmetic
On Katětov and Katětov-Blass orders on analytic P-ideals and Borel ideals
Epsilon substitution method for theories of jump hierarchies
The classification of ℤ p -modules with partial decomposition bases in L ∞ω
Sierpinski-Zygmund functions that are Darboux, almost continuous, or have a perfect road
Epsilon substitution for ID 1 via cut-elimination
Model theory of finite and pseudofinite groups
Weak essentially undecidable theories of concatenation
Generalized Bosbach states: part I
Ultrafilter translations - I. (λ, λ)-compactness of logics with a cardinality quantifier
Comparison of fine structural mice via coarse iteration
On the Beth properties of some intuitionistic modal logics
On the r.e. predecessors of d.r.e. degrees
The theory of differentially closed fields in logics with cardinal quantifiers
Arithmetic analogues of McAloon's unique Rosser sentences
Bases of ZF 0 -models
Deciding active structural completeness
Maximal Tukey types, P-ideals and the weak Rudin-Keisler order
A remark on strict independence relations
Coverings by open cells
Axiomatizing modal inclusion logic and its variants
Happy families and completely Ramsey sets
Minimal α -hyperdegrees
Random graphs in the monadic theory of order
Uncountably categorical local tame abstract elementary classes with disjoint amalgamation
Note on extensions of Heyting's arithmetic by adding the "creative subject"
Non-dual fuzzy connections
Strong completeness of lattice-valued logic
Independence-friendly logic without Henkin quantification
Mob families and mad families
Non-forking w-good frames
Some properties of r-maximal sets and Q 1, N -reducibility
On almost precipitous ideals
Induction and foundation in the theory of hereditarily finite sets
A remark on hereditarily nonparadoxical sets
Katětov and Katětov-Blass orders on F σ -ideals
Notes on the partition property of P κλ
Freiling's axioms of symmetry in a general setting and some applications
Saturation and omitting types
On undecidability of the propositional logic of an associative binary modality
Interpreting higher computations as types with totality
Refined common knowledge logics or logics of common information
Bounded variable logics: two, three, and more
Zur Konstruktiven Differenzierbarkeit von Monotonen Berechenbaren Funktionen
Square compactness and Lindelöf trees
An order-theoretic characterization of the Howard-Bachmann-hierarchy
Short note: Least fixed points versus least closed points
Forcing with quotients
A criterion for uniform finiteness in the imaginary sorts
First-order Nilpotent minimum logics: first steps
Pseudo completions and completions in stages of o-minimal structures
A Connection Between Cut Elimination and Normalization
Dividing and chain conditions
Bounded truth table does not reduce the one-query tautologies to a random oracle
A note on sharply bounded arithmetic
On arithmetic in the Cantor- Lukasiewicz fuzzy set theory
On an axiomatic system for the logic of linearly ordered BCI-matrices
On the existence of strongly normal ideals over P κ λ
Embedding locales and formal topologies into positive topologies
Interpreting number theory in nilpotent groups
A strictly finitary non-triviality proof for a paraconsistent system of set theory deductively equivalent to classical ZFC minus foundation
Hypersimplicity and semicomputability in the weak truth table degrees
A note on admissible rules and the disjunction property in intermediate logics
Cupping and noncapping in the r.e. weak truth table and turing degrees
The density of the low 2 n -r.e. degrees
Extendible cardinals and the mantle
Compactness notions for an apartness space
Menger remainders of topological groups
P 0 1 -Presentations of Algebras
Quantifier elimination for infinite terms
The L PL\Pi and L P1/2 L Pi 1/2 logics: two complete fuzzy systems joining Lukasiewicz and Product Logics
The reverse mathematics of non-decreasing subsequences
Topological aspects of the Medvedev lattice
CM-triviality and generic structures
Equality of proofs for linear equality
Density of the Medvedev lattice of Pi01 classes
An effective proof that open sets are Ramsey
Die Amalgamierungseigenschaft und Reine Ringe
Metric Boolean algebras and constructive measure theory
Involutive symmetric Gödel spaces, their algebraic duals and logic
The covering number of the strong measure zero ideal can be above almost everything else
On Hilbert algebras generated by the order
A denotational semantics of LC 2
The undecidability of the second order predicate unification problem
Turing cones and set theory of the reals
On the weak Freese-Nation property of ?(omega)
Fields with automorphism and valuation
Scott sentences for equivalence structures
Glueing continuous functions constructively
The short extenders gap two forcing is of Prikry type
On the spectra of cardinalities of branches of Kurepa trees
Reverse mathematics of prime factorization of ordinals
An intuitionistic proof of Kruskal's theorem
24th Workshop on Logic, Language, Information and Computation - WoLLIC 2017
Induction rules in bounded arithmetic
Reverse mathematics and marriage problems with unique solutions
Weak covering and the tree property
Eine algebraische Konstruktion abzählbarer Modelle
On the existence of universal models
Orders of Indescribable Sets
A logic of abstraction related to finite constructive number classes
Stationary Cardinals
A note on propositional proof complexity of some Ramsey-type statements
Finite sets and infinite sets in weak intuitionistic arithmetic
On categoricity of scattered linear orders of constructive ranks
L i D Z lambda as a basis for PRA
Fuzzy logic and fuzzy set theory
Choice sequences and reduction processes
Forcing axiom failure for any lambda > aleph 1
A topological completeness theorem
Tree indiscernibilities, revisited
Simplified RCS iterations
Iterations of Boolean algebras with measure
The strength of some Martin-Löf type theories
The additive structure of integers with the lower Wythoff sequence
Reflection ranks via infinitary derivations
On diagonal functions for equivalence relations
Ein Wohlordnungsbeweis für das Ordinalzahlensystem T(J)
The number of lines in Frege proofs with substitution
Intuitionistic fixed point theories over set theories
Pa-Beweisbare ∀∃-Formeln
Prikry forcing and tree Prikry forcing of various filters
On orderings of the family of all logics
Preface Logic Colloqium '95, Haifa, Israel
Tame properties of sets and functions definable in weakly o-minimal structures
A note on groups definable in the p-adic field
Many different uniformity numbers of Yorioka ideals
A characterization of the S 1 \Sigma_1-definable functions of KP w+ ( uniform AC )KP\omega + (uniform\; AC)
Existential interpretation. II
The existence of states based on Glivenko semihoops
Remarks on descriptions and natural deduction
Partitions of large Rado graphs
Between constructive mathematics and PROLOG
The logic of integration
Category theory based on combinatory logic
On some configurations related to the Shelah Weak Hypothesis
Definable choice for a class of weakly o-minimal theories
Martin's conjecture and strong ergodicity
The computably enumerable degrees are locally non-cappable
Generic existence of interval P-points
Restricted versions of the Tukey-Teichmüller theorem that are equivalent to the Boolean prime ideal theorem
An approach to infinitary temporal proof theory
The subcompleteness of diagonal Prikry forcing
On a conjecture of Lempp
Forking geometry on theories with an independent predicate
Weakly Implicative (Fuzzy) Logics I: Basic Properties
On cut elimination in the presence of perice rule
A hierarchy of filters smaller than CF kappa lambda
Eine beweistheoretische Anwendung partieller stetiger Funktionale
Polynomial-time Martin-Löf type theory
Proof-theoretical analysis of order relations
Computable shuffle sums of ordinals
Automorphisms with only infinite orbits on non-algebraic elements
Diamond and antichains
Reflection and not SCH with overlapping extenders
The elementary computable functions over the real numbers: applying two new techniques
Bounded symbiosis and upwards reflection
Countable OD sets of reals belong to the ground model
Cohesive powers of structures
A completeness theorem for continuous predicate modal logic
Unbounded families and the cofinality of the infinite symmetric group
Elimination of algorithmic quantifiers for ordered differential algebra
Extending Martin-Löf Type Theory by one Mahlo-universe
Infinite time extensions of Kleene's O
On L alpha, omega complete extensions of complete theories of Boolean algebras
Combinatorics of first order structures and propositional proof systems
On successors of Jónsson cardinals
Entropy of formulas
Simply terminating rewrite systems with long derivations
How high can Baumgartner's I-ultrafilters lie in the P-hierarchy?
Strong tree properties for two successive cardinals
Relativized Galois groups of first order theories over a hyperimaginary
First-order concatenation theory with bounded quantifiers
Representing Scott sets in algebraic settings
A dedekind finite borel set
One-basedness and groups of the form G/G 00
Commutative basic algebras and non-associative fuzzy logics
The modal logic of beta(N)
Stably embedded submodels of Henselian valued fields
On forcing over $L(\mathbb {R})$
Hilbert spaces with generic groups of automorphisms
A partition relation for pairs on $$\omega ^{\omega ^\omega }$$ ω ω ω
On the decidability of p′, p″ and P″
A note on a proof of Shepherdson
L-domains as locally continuous sequent calculi
On the non-existence of mad families
Intersection of ultrafilters may have measure zero
Continuous logic and embeddings of Lebesgue spaces
An alternative proof of the Hilbert-style axiomatization for the $\{\wedge , \vee \}$-fragment of classical propositional logic
On the bounded version of Hilbert's tenth problem
Partial algebras for Lukasiewicz logics and its extensions
On a property of ω-stable solvable groups
Weak theories of concatenation and minimal essentially undecidable theories - An encounter of $${\mathsf{WTC}}$$ WTC and $${\mathsf{S2S}}$$ S 2 S
Chang's Conjecture and weak square
A proof of Hechler's theorem on embedding Aleph 1 -directed sets cofinally into (w w , < * )
Essential hereditary undecidability
Distances, diameters and verisimilitude of theories
On the axiom of union
A restricted computation model on Scott domains and its partial primitive recursive functionals
Frege und die Schaltalgebra
Partitions of trees and ACA' 0
Bemerkung zu Gurevich's Arbeit über das Entscheidungsproblem für Standardklassen
Definable valuations induced by multiplicative subgroups and NIP fields
Generalized quantifier and a bounded arithmetic theory for LOGCFL
Natural limitations of decision procedures for arithmetic with bounded quantifiers
Generalized ultrapowers
Consistency of V = HOD with the wholeness axiom
Provability in predicate product logic
Localizations of infinite subsets of w
A comparison of two systems of ordinal notations
The maximal linear extension theorem in second order arithmetic
The extent of saturation of induced ideals
Asymmetric RK -minimal types
Some remarks about the connections between Combinatory Logic and axiomatic recursion theory
Turing degrees and randomness for continuous measures
Set theory without choice: not everything on cofinality is possible
On vectorizations of unary generalized quantifiers
On Borel equivalence relations in generalized Baire space
A nonstandard set theory in the Î\displaystyle\in-language
Combinatorial characterization of P 1 1 \Pi^1_1-indescribability in P k lP_{\kappa}\lambda
Some complete ømega-powers of a one-counter language, for any Borel class of finite rank
The cardinal coefficients of the Ideal I f
Register computations on ordinals
Infima of d.r.e. degrees
Tiny models of categorical theories
A generalized Borel-reducibility counterpart of Shelah's main gap theorem
The realm of primitive recursion
Universes in metapredicative analysis
Quasimaximality and principal filters isomorphism between
The strength of countable saturation
Cofinality of the laver ideal
Count( q q) versus the pigeon-hole principle
On a problem of Foreman and Magidor
A proof of Shelah's partition theorem
Ramsey degrees of ultrafilters, pseudointersection numbers, and the tools of topological Ramsey spaces
A direct independence proof of Buchholz's Hydra Game on finite labeled trees